Loading...
conference paper
Behavioral Specification Techniques
1993
OOPSLA'93 Workshop on Specification of Behavioral Semantics in Object-Oriented Information Modeling, Washington (USA), 1993
This position paper provides a quick overview of the various behavioral specification techniques, from decision tables, finite state machines, Petri nets, and program design languages, to formal specification languages. It contrasts property based behavioral models (and languages) with model-based ones.
Loading...
Name
eckert-behavioral_specification_techniques.ps
Access type
openaccess
Size
60.47 KB
Format
Postscript
Checksum (MD5)
be53fa15574317cab971cb8deac3535b