A Rewriting Semantics for a Software Architecture Description Language.
Alexandre RademakerChristiano de O. BragaAlexandre SztajnbergPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- description language
- software architecture
- specification language
- action language
- software engineering
- software systems
- description languages
- embedded software
- architectural design
- functional requirements
- distributed systems
- concurrent actions
- active databases
- software development
- mobile robot
- artificial intelligence
- logic programming
- general purpose
- database systems
- commercial off the shelf