Supporting the Formal Analysis of Software Systems.
Sherrie CampbellAnn E. Kelley SobelPublished in: CSSE (2) (2008)
Keyphrases
- software systems
- formal analysis
- software engineering
- source code
- software development
- software architecture
- software components
- software maintenance
- formal methods
- software design
- software quality
- software projects
- agent model
- multi agent systems
- linux kernel
- design patterns
- ban logic
- metamodel
- formal specification
- machine learning
- complex software systems
- software intensive systems