CSL: A class specification language for object-oriented design.
Giacomo BucciRoberto CecchiniAlberto Del BimboPublished in: Microprocessing and Microprogramming (1990)
Keyphrases
- formal specification
- specification language
- object oriented design
- model checking
- object oriented systems
- software environment
- formal methods
- description language
- programming language
- software design
- reverse engineering
- requirements specification
- multi agent
- software components
- object oriented
- production system
- fine grained
- evolutionary algorithm
- knowledge base
- artificial intelligence