Model-Based Design, Development and Validation for UAS Critical Software.
Daniel SantamaríaFrancisco AlarcónAntonio JiménezAntidio ViguriaManuel BéjarAníbal OlleroPublished in: J. Intell. Robotic Syst. (2012)
Keyphrases
- software design
- design tools
- case study
- user interface
- product line
- design principles
- knowledge based systems
- software developers
- design processes
- design process
- software architecture
- design concepts
- hardware design
- embedded software
- development process
- domain specific languages
- software suite
- software engineering
- safety critical
- development effort
- software development life cycle
- support systems
- software development
- software systems
- formal methods
- embedded systems
- software maintenance
- knowledge base
- programming environments
- design patterns
- formative evaluation
- development cycle
- product design
- future development
- information systems
- technical issues
- requirements engineering
- rapid prototyping
- product development