The Impact of Aspect-Oriented Programming on Formal Methods.
Lynne BlairGordon S. BlairPublished in: ECOOP Workshops (1998)
Keyphrases
- formal methods
- aspect oriented programming
- formal analysis
- aspect oriented
- model checking
- cross cutting concerns
- safety critical
- provably correct
- model checker
- process algebra
- software engineering
- formal specification
- software product line
- knowledge based systems
- artificial intelligence
- reactive systems
- information systems
- development lifecycle
- security properties
- temporal logic
- management system
- real world