Flow analysis for verifying properties of concurrent software systems.
Matthew B. DwyerLori A. ClarkeJamieson M. CobleighGleb NaumovichPublished in: ACM Trans. Softw. Eng. Methodol. (2004)
Keyphrases
- software systems
- flow analysis
- software engineering
- source code
- software design
- software development
- software components
- software maintenance
- software quality
- software architecture
- information flow
- multi agent systems
- metamodel
- software engineers
- complex software systems
- software testing
- maintenance activities
- component based software
- software projects
- data mining
- software developers
- software evolution
- artificial intelligence
- dynamic reconfiguration
- real world