Login / Signup
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