Architecture: Requirements + Decomposition + Refinement

dc.contributor.author	Spichkova, Maria
dc.date.accessioned	2023-03-20T10:06:58Z
dc.date.available	2023-03-20T10:06:58Z
dc.date.issued	2011
dc.description.abstract	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.	en
dc.identifier.pissn	0720-8928
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/40952
dc.language.iso	en
dc.publisher	Geselllschaft für Informatik e.V.
dc.relation.ispartof	Softwaretechnik-Trends Band 34, Heft 2
dc.title	Architecture: Requirements + Decomposition + Refinement	en
dc.type	Text/Journal Article
gi.citation.publisherPlace	Bonn
gi.conference.sessiontitle	Sonderteil

Dateien

1 - 1 von 1