Towards a Rewriting Semantics for a Software Architecture Description Language.
Christiano BragaAlexandre SztajnbergPublished in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
- description language
- software architecture
- specification language
- action language
- software engineering
- software systems
- architectural design
- description languages
- distributed systems
- functional requirements
- software development
- embedded software
- logic programming
- commercial off the shelf
- learning algorithm
- quality attributes
- mobile robot
- cooperative
- decision making