Three-Valued Predicates for Software Specification and Validation.
Andrzej BliklePublished in: VDM Europe (1988)
Keyphrases
- source code
- computer systems
- software systems
- software architecture
- high level
- software development
- development process
- highly modular
- user defined
- neural network
- tool suite
- test case generation
- formal methods
- software design
- software projects
- software testing
- embedded systems
- software package
- specification language
- software packages
- formal verification
- logic programs
- software engineering
- database