FXplorer: Exploration of Computed Software Behavior - A New Approach to Understanding and Verification.
Luanne BurnsTimothy DalyPublished in: HICSS (2009)
Keyphrases
- software development
- computer systems
- software systems
- formal methods
- source code
- behavior patterns
- software tools
- software design
- user interface
- software architecture
- formal verification
- development process
- technical systems
- commercial software
- deeper understanding
- personal computer
- software projects
- database
- model checking
- information systems
- data sets