http://dl.gi.de/handle/20.500.12116/40945 2026-07-21T14:24:33Z http://dl.gi.de/handle/20.500.12116/40954 Konferenzbericht zur IWSM/MENSURA 2011 Dumke, Reiner 2011-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/40956 Konferenzankündigung: SOFTWARE ENGINEERING 2012 TU Berlin 2011-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/40955 Konferenzbericht zur MetriKon 2011 Dumke, Reiner 2011-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/40952 Architecture: Requirements + Decomposition + Refinement Spichkova, Maria 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. 2011-01-01T00:00:00Z