Three-valued predicates for software specification and validation.
Andrzej BliklePublished in: Fundam. Informaticae (1991)
Keyphrases
- software development
- formal methods
- software package
- software systems
- software tools
- high level
- software design
- user defined
- data flow
- control flow
- software packages
- reactive systems
- software maintenance
- test cases
- test case generation
- software engineers
- databases
- test suite
- formal specification
- development process
- source code
- user interface
- artificial intelligence