Integrating Model-based Formal Timing Analysis in the Industrial Development Process of Satellite On-Board Software.
Rafik HeniaLaurent RiouxNicolas SordonGerald-Emmanuel GarciaMarco PanunzioPublished in: MODELSWARD (2014)
Keyphrases
- development process
- software development
- requirements specification
- software engineering
- software application
- software quality
- application development
- software projects
- case study
- systems development
- development cycle
- development processes
- metamodel
- functional requirements
- development projects
- development environment
- agent oriented
- software requirements
- requirements engineering
- design rationale
- software systems
- development effort
- artificial intelligence
- process management
- software testing
- object oriented
- software reuse
- information systems
- requirements elicitation
- software development processes
- data sets
- development team