Benutzer: Gast  Login
Titel:

Architecture: Methodology of Decomposition

Dokumenttyp:
Technical Report
Autor(en):
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.
Stichworte:
Formal Specification; Decomposition; Architecture
Jahr:
2010
Jahr / Monat:
2010-10-22 00:00:00
Seiten/Umfang:
65
 BibTeX