Visualization of Specification Coverage: A Case Study of a Web Application Development in Industry.
Hiroyuki NakagawaToshinobu HasegawaShori MatsuiTatsuhiro TsuchiyaPublished in: ISSRE Workshops (2017)
Keyphrases
- web application development
- web applications
- case study
- open source
- specification language
- oracle database
- high level
- data analysis
- formal specification
- data visualization
- real time
- information visualization
- knowledge discovery
- interactive visualization
- visual exploration
- self organizing maps
- programming language
- test bed
- sensor networks
- world wide
- formal methods
- formal verification
- economic development
- fastest growing
- target audience
- neural network