Supporting the Formal Analysis of Software Designs.
Ann E. Kelley SobelSherrie CampbellPublished in: CSEE&T (2007)
Keyphrases
- formal analysis
- formal methods
- software development
- source code
- software tools
- software systems
- agent model
- computer systems
- test cases
- software engineering
- user interface
- software design
- building blocks
- machine learning
- software architecture
- software components
- decision support
- modeling language
- design tools
- expert systems