A Software Development Environment Integrating Specification and Programming Languages.
Christoph BeierleWalter G. OlthoffAngi VoßPublished in: Software-Architektur (1986)
Keyphrases
- programming language
- software development environment
- specification language
- high level
- software engineering
- development environment
- software development
- object oriented
- software engineers
- general purpose
- strongly typed
- denotational semantics
- programming environment
- object oriented programming
- high level programming language
- lambda calculus
- artificial intelligence
- formal specification
- abstract data types
- database languages
- knowledge base
- description language
- building blocks
- computer systems
- data processing
- concurrent programming
- information systems
- databases