Cited By
View all- Sannella DTarlecki A(1997)Essential concepts of algebraic specification and program developmentFormal Aspects of Computing10.1007/BF012110849:3(229-269)Online publication date: 1-May-1997
Structure Object-oriented Formal Language SOFL is not just a formal language for writing formal specification. It is also an approach and a methodology. SOFL provides a three-step approach for modelling a software system using formal specification. ...
This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of ...
Situated Multi-Agents Systems (MAS), and other Agent-based systems, are often complex. Formal reasoning is needed to ensure their correctness and structure their development. Event-B is a formal method with tool support allowing a stepwise development ...
Springer-Verlag
Berlin, Heidelberg
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in