On the feasibility of synthesizing CAD software from specifications: generating maze router tools in ELF.
Dorothy E. SetliffRob A. RutenbarPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1991)
Keyphrases
- software tools
- software developers
- written in natural language
- software packages
- software components
- software development
- commercial software
- software environment
- software requirements
- software engineers
- hardware platforms
- software maintenance
- code generation
- technical issues
- analysis tool
- software systems
- computer systems
- program understanding
- software suite
- computer networking
- embedded real time systems
- free software
- computational tools
- control flow
- software design
- software architecture
- educational software
- source code
- companion web site
- end users
- graphical user interfaces
- embedded systems
- user friendly
- programming tool
- computer aided software engineering
- object oriented
- user interface