Comparative study of formal specifications through a case study


Numerous formal specification methods have been proposed in the literature, i.e., the Z language, the unified modeling language (UML), the B method, Petri nets, action systems, the language of temporal ordering specification (LOTOS), and the specification and description language (SDL). Comparing the different specification methods is not an easy task but… (More)


2 Figures and Tables