Add to ORKGIn this paper we explore how formal models are interpreted and to what degree meaning is captured in the formal semantics and to what degree it remains in the informal interpretation of the semantics. By applying a robust approach to the definition of refinement and semantics, favoured by the event-based community, to state-based theory we are able to move some aspects from the informal interpretation into the formal semantics
This paper compares several models of formalization. It articulates criteria of correct formalizatio...
Refactoring, successfully used in the field of programming, can be used in maintenance and restructu...
Computer systems are so complex and crucial to our lives that we need to verify that they are correc...
In this paper we explore how formal models are interpreted and to what degree meaning is captured in...
A family of formal semantics is given for the Essential Model of the Transformation Schema of Ward &...
The continuous growth of complex systems makes the development of correct software increasingly cha...
Refinement is a technique used to model systems at different abstraction levels to handle the comple...
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is al...
Development by formal stepwise refinement offers a guarantee that an implementation satisfies a spec...
The thesis presents different techniques that can be used to build formal behavioral models. If moda...
Abstract. Systems ’ requirements are usually written in a natural language since it generally means ...
Formal methods focus on a posteriori analysis and a modeller gets little assistance in constructing ...
One of the main reasons for providing formal semantics for languages is that the mathematical precis...
Model Driven Engineering proposes the use of models at different levels of abstraction. Step by step...
When designing a model for formal verification, we want to\ud be certain that what we proved about t...
This paper compares several models of formalization. It articulates criteria of correct formalizatio...
Refactoring, successfully used in the field of programming, can be used in maintenance and restructu...
Computer systems are so complex and crucial to our lives that we need to verify that they are correc...
In this paper we explore how formal models are interpreted and to what degree meaning is captured in...
A family of formal semantics is given for the Essential Model of the Transformation Schema of Ward &...
The continuous growth of complex systems makes the development of correct software increasingly cha...
Refinement is a technique used to model systems at different abstraction levels to handle the comple...
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is al...
Development by formal stepwise refinement offers a guarantee that an implementation satisfies a spec...
The thesis presents different techniques that can be used to build formal behavioral models. If moda...
Abstract. Systems ’ requirements are usually written in a natural language since it generally means ...
Formal methods focus on a posteriori analysis and a modeller gets little assistance in constructing ...
One of the main reasons for providing formal semantics for languages is that the mathematical precis...
Model Driven Engineering proposes the use of models at different levels of abstraction. Step by step...
When designing a model for formal verification, we want to\ud be certain that what we proved about t...
This paper compares several models of formalization. It articulates criteria of correct formalizatio...
Refactoring, successfully used in the field of programming, can be used in maintenance and restructu...
Computer systems are so complex and crucial to our lives that we need to verify that they are correc...