Formal Specification of Evolving Distributed Software Architectures.
George R. Ribeiro-JustoVirginia C. Carneiro de PaulaPaulo R. F. CunhaPublished in: DEXA Workshop (1998)
Keyphrases
- formal specification
- software architecture
- distributed systems
- model checking
- specification languages
- object oriented design
- process algebra
- specification language
- concurrent systems
- description language
- formal methods
- software engineering
- software development
- software systems
- reverse engineering
- embedded software
- software components
- distributed environment
- functional requirements
- knowledge base
- product line
- grid workflow
- databases
- formal specification language
- fine grained
- knowledge representation
- cooperative
- multi agent
- machine learning