Structured Object-Z Software Specification Language.
Xiaolei GaoHuaikou MiaoYihai ChenPublished in: GCC (1) (2003)
Keyphrases
- specification language
- requirements specification
- software environment
- description language
- software architecture
- formal specification
- programming language
- computer systems
- object model
- d objects
- software development
- symbolic execution
- source code
- software systems
- software components
- moving objects
- real world
- databases
- domain specific
- software engineering
- web services
- information retrieval