|
571 |
Methoden- und Werkzeugunterstützung für Ontologie-basierte Software-Entwicklung Bachmann, Andrej, 2010
|
|
|
572 |
Methodik zur Dokumentation und Analyse von Kommunikationsschwachstellen in sicherheitskritischen Systemen anhand von hierarchischen Aufgabenmodellen Mistrzyk, Tomasz, 2010
|
|
|
573 |
Metrik-basierte Auswertung von Software-Entwicklungsarchiven zur Prozessbewertung Schackmann, Holger, 2010
|
|
|
574 |
Metrik-basierte Auswertung von Software-Entwicklungsarchiven zur Prozessbewertung Schackmann, Holger. - Aachen : Shaker, 2010, 1. Auflage
|
|
|
575 |
Model checking nondeterministic and randomly timed systems Neuhäußer, Martin R., 2010
|
|
|
576 |
Modeling and model-based testing of service choreographies Wieczorek, Sebastian, 2010
|
|
|
577 |
Modeling linearly and non-linearly dependent simulation input data Nassaj, Feras, 2010
|
|
|
578 |
Modeling Petri net-based multi-agent applications Cabac, Lawrence, 2010
|
|
|
579 |
Modellextraktion aus natürlichen Sprachen Gelhausen, Tom. - Karlsruhe : KIT Scientific Publishing, 2010
|
|
|
580 |
MontiCore: Agile Entwicklung von domänenspezifischen Sprachen im Software-Engineering Krahn, Holger. - Aachen : Shaker, 2010, 1. Auflage
|
|