An Algebraic Data Type Specification Language and Its Rapid Prototyping Environment.
Luc JadoulLuc DuponcheelWilly Van PuymbroeckPublished in: ICSE (1989)
Keyphrases
- data types
- specification language
- rapid prototyping
- software environment
- requirements specification
- data model
- formal specification
- data structure
- description language
- programming language
- database management systems
- database systems
- abstract data types
- agent oriented programming
- development environment
- database server
- general purpose
- user interface
- association rules
- multi agent
- real world