Scenario-Based Elicitation, Specification, and Comprehension of Transient Software Behavior (Poster).
Sebastian FrankM. Alireza HakamianAndré van HoornSamuel BeckChristoph ZornPublished in: SSP (2021)
Keyphrases
- requirements engineering
- requirements specification
- software development
- computer systems
- program comprehension
- software architecture
- steady state
- behavior patterns
- software maintenance
- formal methods
- high level
- hardware design
- software systems
- formal verification
- qualitative simulation
- requirements elicitation
- test case generation
- formal specification
- software tools
- human behavior
- information systems
- tool suite