An MDE Based Approach for Generating Software Architecture Models from Formal Specifications.

Yi Zhu Zhiqiu Huang Zining Cao Hang Zhou Min Yuan

Published in: QSIC (2010)

Keyphrases

software architecture
formal specification
information systems
database systems
software engineering
distributed systems
software development
description language
databases
architectural design
web services
model checking
reverse engineering
functional requirements