The use of anna specification technology in ada software development.
Sriram SankarDavid C. LuckhamWalter MannPublished in: TRI-Ada Tutorial (1991)
Keyphrases
- software development
- case study
- software engineering
- code generation
- development methodologies
- rapid development
- development process
- technological advances
- formal specification
- software developers
- software architecture
- cost effective
- software systems
- neural network
- database
- model driven architecture
- pair programming
- systems development
- software design
- data processing
- open source
- database systems
- databases