Predictive Software Measures based on Z Specifications - A Case Study
Andreas BollinAbdollah TabarehPublished in: WS-FMDS (2012)
Keyphrases
- written in natural language
- software systems
- control flow
- case study
- software development
- software platform
- test bed
- reactive systems
- commercial software
- software design
- evaluation measures
- real world
- high level
- user interface
- website
- information retrieval
- learning algorithm
- artificial intelligence
- hardware design
- software packages
- information systems
- specification language
- formal specification
- software maintenance
- reverse engineering
- software projects
- decision trees
- databases
- cloud computing