Tool Support for Algebraic Specifications of Dat in SDL-92.
Nikolai MansurovAlexei S. RagozinAndrew V. ChernovI. V. MansurovPublished in: FORTE (1996)
Keyphrases
- tool support
- software development
- software tools
- design decisions
- software projects
- software engineering
- test suite
- requirements engineering
- high level
- formal specification
- specification language
- linear algebra
- delay insensitive
- database systems
- reactive systems
- database
- written in natural language
- goal oriented
- case study
- decision trees
- artificial intelligence
- real world