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