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.
Use this identifier to reference this record
Loading...
Name
eckert-behavioral_specification_techniques.ps
Access type
openaccess
Size
60.47 KB
Format
Postscript
Checksum (MD5)
be53fa15574317cab971cb8deac3535b