Formal Specification of Dynamic Architectural Styles.

Virginia C. Carneiro de Paula George R. Ribeiro-Justo Paulo R. F. Cunha

Published in: PDPTA (1999)

Keyphrases

formal specification
model checking
specification languages
specification language
reverse engineering
object oriented design
formal methods
data abstraction
concurrent systems
expert systems
process algebra
database systems
fine grained
software architecture
software components
dynamically changing