The Development of an Interpreter by Means of Abstract Algebraic Software Specifications.
Herbert KlaerenHeiko PetzschPublished in: ICFPC (1981)
Keyphrases
- software developers
- high level
- development process
- software design
- software tools
- development cycle
- computer systems
- commercial off the shelf
- formal descriptions
- software industry
- hardware platforms
- configuration management
- systems development
- product line
- development environment
- programming environments
- intelligent software
- embedded real time systems
- software application
- control flow
- formal specification
- embedded systems
- production system
- software architecture
- knowledge based systems
- source code
- software engineering