Add to ORKGThe HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are characterized by high demand on trustworthiness. Existing modeling formalisms leave gap between highly abstract, largely structural models and executable code on the implementation level. HATS aims to close this gap with an object-oriented, executable modeling language for adaptable, concurrent software components. It comes with tool suite based on analysis methods developed hand in hand with the language
Abstract. Formal knowledge modelling languages have a number of advantages over informal languages, ...
A model is built when the complexity of something we are building exceeds our ability to internalize...
International audienceModel-based technology has evolved rapidly in the last decade, bringing immedi...
The HATS project develops a formal method for the design, analysis, and implementation of highly ada...
Trust in software is typically achieved via stabilization efforts over long periods of use. Adaptati...
Trust in software is typically achieved via stabilization efforts over long periods of use. Adaptati...
Associated research group: Critical Systems Research GroupIn model-based development, the software d...
In model-based development, the software development effort is centered around a formal description ...
Transformations that are based on syntax directed rewriting systems can have a significant impact on...
The HATS project aims at developing a model-centric methodology for the design, implementation and v...
Methods for formal specification have been studied and evaluated in the academic environments alread...
A well known trade-off effect with modelling is that when it is user friendly it becomes ambiguous a...
The research presented in this thesis is aimed at developing reliable information systems through th...
Abstract. Developing models of software is becoming more important as the size and complexity of sof...
The increasing complexity of software systems makes their development complicated and error prone. A...
Abstract. Formal knowledge modelling languages have a number of advantages over informal languages, ...
A model is built when the complexity of something we are building exceeds our ability to internalize...
International audienceModel-based technology has evolved rapidly in the last decade, bringing immedi...
The HATS project develops a formal method for the design, analysis, and implementation of highly ada...
Trust in software is typically achieved via stabilization efforts over long periods of use. Adaptati...
Trust in software is typically achieved via stabilization efforts over long periods of use. Adaptati...
Associated research group: Critical Systems Research GroupIn model-based development, the software d...
In model-based development, the software development effort is centered around a formal description ...
Transformations that are based on syntax directed rewriting systems can have a significant impact on...
The HATS project aims at developing a model-centric methodology for the design, implementation and v...
Methods for formal specification have been studied and evaluated in the academic environments alread...
A well known trade-off effect with modelling is that when it is user friendly it becomes ambiguous a...
The research presented in this thesis is aimed at developing reliable information systems through th...
Abstract. Developing models of software is becoming more important as the size and complexity of sof...
The increasing complexity of software systems makes their development complicated and error prone. A...
Abstract. Formal knowledge modelling languages have a number of advantages over informal languages, ...
A model is built when the complexity of something we are building exceeds our ability to internalize...
International audienceModel-based technology has evolved rapidly in the last decade, bringing immedi...