Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces.
Mehdi BagherzadehHridesh RajanGary T. LeavensSean L. MooneyPublished in: AOSD (2011)
Keyphrases
- aspect oriented
- formal verification
- asynchronous circuits
- protocol specification
- crosscutting concerns
- object oriented
- development process
- formal methods
- model checking
- software development
- aspect oriented programming
- colored petri nets
- verification method
- specification language
- supply chain
- highly modular
- business applications
- user interface
- high level
- software product line
- formal specification
- conceptual model
- modular structure
- case study
- knowledge representation languages
- information systems
- database