http://dl.gi.de/handle/20.500.12116/40945 2026-07-21T14:25:18Z 2026-07-21T14:25:18Z Dumke, Reiner http://dl.gi.de/handle/20.500.12116/40954 2023-03-20T10:06:59Z 2011-01-01T00:00:00Z

Konferenzbericht zur IWSM/MENSURA 2011 Dumke, Reiner

2011-01-01T00:00:00Z TU Berlin http://dl.gi.de/handle/20.500.12116/40956 2023-03-20T10:06:59Z 2011-01-01T00:00:00Z

Konferenzankündigung: SOFTWARE ENGINEERING 2012 TU Berlin

2011-01-01T00:00:00Z Dumke, Reiner http://dl.gi.de/handle/20.500.12116/40955 2023-03-20T10:06:59Z 2011-01-01T00:00:00Z

Konferenzbericht zur MetriKon 2011 Dumke, Reiner

2011-01-01T00:00:00Z Spichkova, Maria http://dl.gi.de/handle/20.500.12116/40952 2023-03-20T10:06:58Z 2011-01-01T00:00:00Z

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