An Improvement of Software Architecture Verification.

Zuohua Ding Jing Liu

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

software architecture
description language
reference model
software systems
software engineering
distributed systems
functional requirements
embedded software
architectural design
software development
model checking
design patterns
reference architecture
object oriented software
decision making
e learning