A Graphic Notation for Formal Specifications of Dynamic Systems

Given an already fully developed formal specification method for reactive systems, we also develop an alternative graphic notation for its specifications to improve writing and understanding of such specifications and, hopefully, the acceptance of the method by industrial users.

[1]  Gianna Reggio,et al.  Specification of Abstract Dynamic-Data Types: A Temporal Logic Approach , 1997, Theor. Comput. Sci..

[2]  Gianna Reggio,et al.  A Dynamic Specification of the RPC-Memory Problem , 1994, Formal Systems Specification.

[3]  Edward Yourdon,et al.  Object-oriented design , 1991, Yourdon Press Computing Series.

[4]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[5]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[6]  Martin Wirsing,et al.  Algebraic Specification , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[7]  Fiona A. C. Polack,et al.  The SAZ Project: Integrating SSADM and Z , 1993, FME.

[8]  Edward Yourdon,et al.  Object-oriented analysis , 2012 .

[9]  Gianna Reggio,et al.  The SMoLCS ToolSet , 1995, TAPSOFT.

[10]  Gianna Reggio,et al.  Formalism and method , 1997, Theor. Comput. Sci..

[11]  Marian Petre,et al.  Why looking isn't always seeing: readership skills and graphical programming , 1995, CACM.