User: Guest  Login
Document type:
Technical Report
Author(s):
Maria Spichkova
Title:
Architecture: Methodology of Decomposition
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