Formal Engineering Methods, International Conference on (1997)
Nov. 12, 1997 to Nov. 14, 1997
On the one hand we consider in industry widely used Structured Analysis and Real-Time Methods (SA/RT). Their specifications are intuitively readable but often semi-formal. On the other hand we consider the formal specification language Z. Using Z for the specification of data and data processing leads already to an improvement of SA/RT methods. In this paper, we extend this integration by new features. Moreover, we give the main ideas for a formal semantics which models the dynamic behavior the system. This semantics adopts main principles of synchronous languages. This is illustrated by a simplified version of the game PacMan.
D. Scholz and C. Petersohn, "Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language," Formal Engineering Methods, International Conference on(ICFEM), Hiroshima, JAPAN, 1997, pp. 28.