A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems.
Larissa MeinickeGraeme SmithPublished in: IFM (2007)
Keyphrases
- development process
- real time systems
- software engineering
- real time
- metamodel
- quality attributes
- distributed systems
- application development
- systems development
- software development
- development environment
- case study
- embedded systems
- development processes
- real time database systems
- functional requirements
- timing constraints
- process management
- software quality
- object oriented programming language
- software projects
- software application
- requirements elicitation
- design process
- architectural model
- real time embedded
- information technology
- high level
- decision making
- data sets