A formal approach to software synthesis for architectural platforms.
Hamid BagheriPublished in: ICSE (2011)
Keyphrases
- software architecture
- software platform
- software systems
- software development
- high level
- hardware platforms
- formal methods
- source code
- commercial off the shelf
- design solutions
- software tools
- user interface
- database
- computer systems
- requirements specification
- software packages
- computing platform
- software engineering
- software projects
- software testing
- formal representation
- heterogeneous systems
- graphical user interfaces
- software design
- program synthesis
- embedded systems
- formal model
- architectural models
- design patterns