http://dl.gi.de/handle/20.500.12116/40945 Tue, 21 Jul 2026 14:24:51 GMT 2026-07-21T14:24:51Z http://dl.gi.de/handle/20.500.12116/40954 Konferenzbericht zur IWSM/MENSURA 2011 Dumke, Reiner Sat, 01 Jan 2011 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/40954 2011-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/40956 Konferenzankündigung: SOFTWARE ENGINEERING 2012 TU Berlin Sat, 01 Jan 2011 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/40956 2011-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/40955 Konferenzbericht zur MetriKon 2011 Dumke, Reiner Sat, 01 Jan 2011 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/40955 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. Sat, 01 Jan 2011 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/40952 2011-01-01T00:00:00Z