The DDC Ada Compiler Development Project.

Dines Bjørner Ole N. Oest

Published in: Towards a Formal Description of Ada (1980)

Keyphrases

case study
information system development
software engineering
decision support
project management
pilot project
nsf funded
programming language
knowledge management
knowledge based systems
operating system
systems development
formative evaluation
subject matter experts
learning microsoft office
united nations