Synthesis of C++ software for automated teller from CSPm specifications.
Stephen DoxseeWilliam B. GardnerPublished in: SAC (2005)
Keyphrases
- written in natural language
- software development
- control flow
- high level
- automated tools
- software systems
- software tools
- program synthesis
- case study
- commercial software
- software architecture
- software package
- semi automated
- embedded systems
- hardware design
- automated analysis
- software developers
- data mining
- logic programs
- distributed systems
- source code
- user interface
- search engine
- learning algorithm