Logo des Repositoriums
 
Zeitschriftenartikel

Architecture: Requirements + Decomposition + Refinement

Vorschaubild nicht verfügbar

Volltext URI

Dokumententyp

Text/Journal Article

Zusatzinformation

Datum

2011

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Geselllschaft für Informatik e.V.

Zusammenfassung

This paper focuses on the system requirements and architecture w.r.t. their decomposition and refinement: how the refinement-based verification can be used to optimize verification process, and which influences it has on the specification process. We introduce here specification decomposition methods, applying which ones can not only to keep the specification readable and manageable, but also find out a number of inconsistencies and underspecifications during specification phase as well, without starting a formal verification process.

Beschreibung

Spichkova, Maria (2011): Architecture: Requirements + Decomposition + Refinement. Softwaretechnik-Trends Band 34, Heft 2. Bonn: Geselllschaft für Informatik e.V.. PISSN: 0720-8928. Sonderteil

Schlagwörter

Zitierform

DOI

Tags