Refinement of Z specifications using reusable software components in Ada.
John HaywardStephen BalePublished in: TRI-Ada (1995)
Keyphrases
- software components
- formal specification
- software systems
- software development
- software reuse
- building blocks
- web services
- reusable components
- functional requirements
- high level
- development environments
- commercial off the shelf
- multi agent systems
- machine learning
- software engineering
- cooperative
- metamodel
- java programs
- component based architecture