Visualization of Formal Specifications for Understanding and Debugging an Industrial DSL.
Ulyana TikhonovaMaarten MandersRimco BoudewijnsPublished in: STAF Workshops (2016)
Keyphrases
- formal specification
- visual representation
- software testing
- concurrent systems
- model checking
- specification languages
- object oriented design
- reverse engineering
- formal methods
- design methodology
- data analysis
- real world
- industrial applications
- database
- software components
- integrity constraints
- distributed systems
- user interface
- databases