Formal specification of CSCW applications with concurrent abstract data types.
Maximilian FreyMarjeta PuckoPublished in: J. Syst. Archit. (1998)
Keyphrases
- formal specification
- abstract data types
- data abstraction
- data types
- model checking
- object oriented databases
- relational database systems
- programming language
- process algebra
- object oriented design
- data model
- formal methods
- reverse engineering
- concurrent systems
- software components
- relational databases
- data structure
- database
- behavioral models
- data storage
- normal form
- open source
- general purpose
- database systems