Contrasting translation, verification and synthesis in software and firmware engineering.
Robert A. MuellerGearold R. JohnsonPublished in: MICRO (1981)
Keyphrases
- computer systems
- software tools
- highly modular
- source code
- software systems
- software engineering
- formal methods
- software development
- software projects
- artificial intelligence
- machine translation
- engineering problems
- power consumption
- operating system
- model checking
- software process
- software maintenance
- engineering design
- software architecture
- software testing
- software quality
- natural language processing
- software package
- requirements engineering
- neural network
- program synthesis
- software requirements
- engineering courses
- test cases