Login / Signup
Experiences using statecharts for a system requirements specification.
Nancy G. Leveson
Mats P. E. Heimdahl
Holly Hildreth
Jon Damon Reese
R. Ortega
Published in:
IWSSD (1991)
Keyphrases
</>
relational databases
requirements specification
requirements engineering
software engineering
development process
software requirements
specification language
databases
software systems
case study
agent oriented
software development
artificial intelligence
multi agent
life cycle
reactive systems