An integrated formal model of scenarios based on statecharts

Publisher Website

1 January 1995

book chapter
Published by Springer Nature

p. 254-271
https://doi.org/10.1007/3-540-60406-5_19

Abstract

No abstract available

Keywords

This publication has 7 references indexed in Scilit:

Formal approach to scenario analysis
IEEE Software, 1994
Requirements specification for process-control systems
IEEE Transactions on Software Engineering, 1994
Hierarchische Verhaltensbeschreibung in objekt-orientierten Systemmodellen — eine Grundlage für modellbasiertes Prototyping
Published by Springer Nature ,1993
Trading MIPS and memory for knowledge engineering
Communications of the ACM, 1992
Introducing Objectcharts or how to use Statecharts in object-oriented design
IEEE Transactions on Software Engineering, 1992
On visual formalisms
Communications of the ACM, 1988
Statecharts: a visual formalism for complex systems
Science of Computer Programming, 1987