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