Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability.
Eduard KamburjanJonas StrombergPublished in: F-IDE@FM (2019)
Keyphrases
- tool support
- interactive visualization
- software development
- information visualization
- software engineering
- software tools
- design decisions
- data visualization
- real world
- interactive visual
- requirements engineering
- life cycle
- knowledge discovery
- social networks
- software projects
- open source
- test suite
- data structure
- case study
- scientific visualization
- databases