Program Transformation for Development, Verification, and Synthesis of Software.
Alberto PettorossiMaurizio ProiettiValerio SenniPublished in: Il Milione (2008)
Keyphrases
- programming environments
- development process
- hardware designs
- test cases
- software developers
- computer hardware
- development cycle
- software testing
- software development
- development environments
- software design
- quality assurance
- functional programs
- hardware platforms
- systems development
- program synthesis
- technical issues
- software engineering
- software systems
- development environment
- object oriented
- financial investment
- knowledge based systems
- symbolic execution
- model checking
- software projects
- product line
- control flow
- formal methods
- texture synthesis
- software tools
- fault localization
- program understanding
- transformation rules
- software evolution
- computer systems
- programming environment