Auflistung Softwaretechnik-Trends 31(3) - 2011 nach Titel - Digitale Bibliothek

Anzeige der Dokumente 1-15 von 15

4. Workshop Entwicklung zuverlässiger Software-Systeme 2011

Keller, Hubert B.; Klenk, Herbert
An Approach for Requirements Engineering for Software Library-Components and Patterns to be Reused in and across Product Lines

Herrmann, Dirk; Liebehenschel, Jens
Aufruf zur Teilnahme an der MetriKon 2011

MetriKon 2011
Call for Participation: IWSM/MENSURA 2011

IWSM/MENSURA 2011
DWARF-driven Equivalence Checking of UML Statecharts and Software Components

Heckeler, Patrick; Behrend, Jörg; Ruf, Jürgen; Kropf, Thomas; Rosenstiel, Wolfgang; Weiss, Roland
Hi-Lite - Verification by Contract

Kanig, Johannes; Guitton, Jérôme; Moy, Yannick
ISO 26262 – Exemplary Tool Classification of Model-Based Design Tools

Conrad, Mirko; Fey, Ines
Migration von AUTOSAR-basierten Echtzeitanwendungen auf Multicore-Systeme

Bohn, Michael; Schneider, Jorn; Eltges, Christian; Rößger, Robert
Model-Based Debugging of Embedded Software Systems

Iyenghar, Padma; Pulvermueller, Elke; Westerkamp, Clemens; Uelschen, Michael; Wuebbelmann, Juergen
Orthogonalisierte Softwaremaße in der Fehlerprognose

Neumann, Roland
Partitioning and Task Transfer on NoC-based Many-Core Processors in the Avionics Domain

Hilbrich, Robert; van Kampenhout, J. Reinier
Softwarezuverlässigkeitsbewertung auf Basis von Betriebsprofiltreue und Schnittstellenüberdeckung

Meitner, Matthias; Saglietti, Francesca
Tools and Methods for Validation and Verification as requested by ISO26262

Gebhardt, Markus; Kaske, Axel
Towards Fault-based Generation of Test Cases for Dependable Embedded Software

Herzner, Wolfgang; Schlick, Rupert; Brandl, Harald; Wiessalla, Johannes
Verifikation von UML-Statecharts unter besonderer Berücksichtigung von Speicherverbrauch und Laufzeit des Model Checkers

Ammann, Christian

Anzeige der Dokumente 1-15 von 15

Gesamter Bestand

Diese Sammlung

Auflistung Softwaretechnik-Trends 31(3) - 2011 nach Titel