Mapping Software Architecture Specification to Rewriting Logic (Short Paper).
Yujian FuZhijiang DongJunhua DingXudong HePublished in: QSIC (2008)
Keyphrases
- software architecture
- asynchronous circuits
- description language
- multi valued
- software engineering
- software systems
- linear temporal logic
- functional requirements
- reference model
- distributed systems
- embedded software
- architectural design
- software development
- design patterns
- software requirements
- high level
- active rules
- modal logic
- object oriented software
- dynamic reconfiguration
- software evolution
- formal language
- software design
- quality attributes
- databases
- reinforcement learning
- decision making
- artificial intelligence