Auflistung Nach Schlagwort "Decomposition" - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Anzeige der Dokumente 1-4 von 4

«
»

Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components

Beyer, Dirk; Haltermann, Jan; Lemberger, Thomas; Wehrheim, Heike
37-38
Criteria and Heuristics for Business Process Model Decomposition

Milani, Fredrik; Dumas, Marlon; Matulevičius, Raimundas; Ahmed, Naved; Kasela, Silva
7-17
Das Dekompositionsmodell nach Wand und Weber im Kontext der Prozessmodellierung

Johannsen, Florian; Leist, Susanne
263-280
The Cyber Weapon: Decomposing Puzzles in Unplugged Computational Thinking Practices with Computational Objects

Hachmann, Roland
59-68

Anzeige der Dokumente 1-4 von 4

«
»