Software Specification and Automatic Code Generation to Realize Homeostatic Adaptation in Unmanned Spacecraft.
Carlos C. InsaurraldeEmil VassevPublished in: C3S2E (2014)
Keyphrases
- code generation
- software development
- software reuse
- modeling language
- application development
- model driven
- mission planning
- formal specification
- design patterns
- code generator
- software systems
- software developers
- software design
- software components
- software engineering
- web applications
- rapid prototyping
- architectural models
- case study
- databases
- development process
- data driven
- user interface
- data mining
- software maintenance
- design tools