Denotational Engineering or from Denotations to Syntax.
Andrzej BliklePublished in: VDM Europe (1987)
Keyphrases
- operational semantics
- engineering design
- software engineering
- natural language
- computer aided design
- high level
- mechanical engineering
- search engine
- predicate calculus
- engineering students
- engineering problems
- systems engineering
- engineering education
- computer science
- website
- electrical engineering
- e learning
- type checking
- decision making