The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.07 - July (1996 vol.22)
pp: 508-528
ABSTRACT
<p><b>Abstract</b>—We propose a technique to help people organize and write complex specifications, exploiting the best features of several different specification languages. Z is supplemented, primarily with automata and grammars, to provide a rigorous and systematic mapping from input stimuli to convenient operations and arguments for the Z specification. Consistency analysis of the resulting specificaiton is based on the structural rules. The technique is illustrated by two examples, a graphical human-computer interface and a telecommunications system.</p>
INDEX TERMS
Formal methods, multiparadigm specification, consistency analysis, telecommunications, graphical human-computer interfaces, Z.
CITATION
Pamela Zave, Michael Jackson, "Where Do Operations Come From? A Multiparadigm Specification Technique", IEEE Transactions on Software Engineering, vol.22, no. 7, pp. 508-528, July 1996, doi:10.1109/32.538607
16 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool