Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph.
Zhiming ChangXinJun MaoZhichang QiPublished in: ICYCS (2008)
Keyphrases
- formal analysis
- software architecture
- formal methods
- computer systems
- software systems
- optimal policy
- architectural models
- commercial off the shelf
- source code
- software development
- databases
- software design
- agent model
- design patterns
- software maintenance
- software projects
- software components
- wireless sensor networks
- high level