User: Guest  Login
Title:

Architecture: Methodology of Decomposition

Document type:
Technical Report
Author(s):
Maria Spichkova
Abstract:
This paper presents a methodology of formal specification decomposition. We show which development steps are necessary on this phases and how the system architecture can be decomposed schematically.
Keywords:
Formal Specification; Decomposition; Architecture
Year:
2010
Year / month:
2010-10-22 00:00:00
Pages:
65
 BibTeX