Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra

Authors:
P. C. Fencott;A. J. Galloway;M. A. Lockyer;S. J. O'Brien;S. Pearson
Affiliations:
-;-;-;-;-
Venue:
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
Year:
1994

Toward formalizing structured analysis

ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling statecharts and activitycharts as signal equations

ACM Transactions on Software Engineering and Methodology (TOSEM)
A Formal Definition of Stuctured Analysis with Programmable Graph Grammars

AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
An operational semantics for ZCCS

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Formal interpreters for diagram notations

ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal analysis of concurrent real-time requirements models

1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Generating formal specifications from CASE repositories

2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
CASE support for methods integration: implementation of a translation from a structured to a formal notation

Methods'96 Proceedings of the 1996 international conference on Methods Integration

Hi-index	0.00