Creation and evaluation of formal specifications for system-of-systems development.
Doron DrusinskyMan-tak ShingPublished in: SMC (2005)
Keyphrases
- systems development
- formal specification
- information systems development
- information systems
- development process
- model checking
- project management
- systems engineering
- specification languages
- concurrent systems
- object oriented design
- total quality management
- databases
- quality management
- specification language
- fine grained
- temporal logic
- software development
- software engineering
- knowledge representation
- real world