An experimental Study using ACSL and Frama-C to formulate and verify Low-Level Requirements from a DO-178C compliant Avionics Project.
Frank DordowskyPublished in: F-IDE (2015)
Keyphrases
- low level
- high level
- higher level
- requirements elicitation
- requirements engineering
- software development
- database
- development projects
- grid infrastructure
- middle level
- data collection
- visual cues
- visual features
- design requirements
- mid level
- functional requirements
- project management
- open source
- software engineering
- case study
- real time