Formal description techniques - how formal and descriptive are they?

Publisher Website

1 January 1996

book chapter
Published by Springer Nature

p. 95-110
https://doi.org/10.1007/978-0-387-35079-0_6

Abstract

No abstract available

Keywords

FORMAL DESCRIPTION TECHNIQUES

This publication has 4 references indexed in Scilit:

Mathematics of software engineering
Published by Springer Nature ,1995
Mathematical system models as a basis of software engineering
Published by Springer Nature ,1995
A comparison of Statecharts variants
Published by Springer Nature ,1994
Towards a formal foundation of the specification and description language SDL
Formal Aspects of Computing, 1991