TY - GEN
T1 - Graphical development of consistent system specifications
AU - Schätz, Bernhard
AU - Hußmann, Heinrich
AU - Broy, Manfred
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1996.
PY - 1996
Y1 - 1996
N2 - While formal methods have promised essential benefits for the software development process, industrial development reality nevertheless relies mainly on informal and especially graphical description techniques. This article argues that formal techniques are indeed useful for practical application, but they should be put to indirect use. To demonstrate this approach, two pragmatic graphical description techniques, taken from the field of telecommunication, are analyzed regarding their information content and their application in the process of specification development; as a result these techniques are formally defined. Based on the formal definition, “safe” development steps and their graphical counterparts are introduced. This yields a graphical development method which relies on precise formal foundations.
AB - While formal methods have promised essential benefits for the software development process, industrial development reality nevertheless relies mainly on informal and especially graphical description techniques. This article argues that formal techniques are indeed useful for practical application, but they should be put to indirect use. To demonstrate this approach, two pragmatic graphical description techniques, taken from the field of telecommunication, are analyzed regarding their information content and their application in the process of specification development; as a result these techniques are formally defined. Based on the formal definition, “safe” development steps and their graphical counterparts are introduced. This yields a graphical development method which relies on precise formal foundations.
UR - http://www.scopus.com/inward/record.url?scp=21344460396&partnerID=8YFLogxK
U2 - 10.1007/3-540-60973-3_91
DO - 10.1007/3-540-60973-3_91
M3 - Conference contribution
AN - SCOPUS:21344460396
SN - 9783540609735
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 248
EP - 267
BT - FME 1996
A2 - Gaudel, Marie-Claude
A2 - Woodcock, James
PB - Springer Verlag
T2 - 3rd International Symposium of Formal Methods Europe, FME 1996
Y2 - 18 March 1996 through 22 March 1996
ER -