Reuse and Adaptation of Z Specifications.
Kevin LanoHoward P. HaughtonPublished in: Z User Workshop (1992)
Keyphrases
- delay insensitive
- formal specification
- learning objects
- adaptive learning
- concurrent systems
- artificial intelligence
- software engineering
- case based reasoning
- development process
- machine learning
- high level
- specification language
- adaptive systems
- adaptation process
- design requirements
- dynamic adaptation
- genetic algorithm