Formal Specification of a Safe ALGEBRA - "A".
Lejla RovcaninJohn MurphyPublished in: ADBIS (Short Papers) (1999)
Keyphrases
- formal specification
- specification languages
- object oriented design
- model checking
- specification language
- reverse engineering
- data abstraction
- process algebra
- concurrent systems
- formal methods
- query language
- data model
- software components
- relational algebra
- model checker
- databases
- formal specification language
- fine grained
- open source
- cooperative
- high level