On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP.
Chadlia JeradKamel BarkaouiPublished in: IEEE International Workshop on Rapid System Prototyping (2005)
Keyphrases
- software architecture
- distributed systems
- description language
- asynchronous circuits
- architectural design
- verification method
- software engineering
- embedded software
- software development
- functional requirements
- software systems
- cooperative
- model checking
- multi agent
- modal logic
- design patterns
- reference model
- logic programming
- reference architecture
- machine learning
- high level
- decision making
- databases
- quality attributes
- object oriented software