Keyphrases
- formal specification
- floating point
- specification languages
- model checking
- specification language
- object oriented design
- fixed point
- concurrent systems
- process algebra
- formal methods
- floating point arithmetic
- instruction set
- reverse engineering
- sparse matrices
- software components
- information systems
- databases
- business rules
- sufficient conditions
- general purpose
- knowledge representation
- interval arithmetic
- database systems