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

Anzeige der Dokumente 1-15 von 15

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

Hilbrich, Robert; van Kampenhout, J. Reinier
Towards Fault-based Generation of Test Cases for Dependable Embedded Software

Herzner, Wolfgang; Schlick, Rupert; Brandl, Harald; Wiessalla, Johannes
Orthogonalisierte Softwaremaße in der Fehlerprognose

Neumann, Roland
DWARF-driven Equivalence Checking of UML Statecharts and Software Components

Heckeler, Patrick; Behrend, Jörg; Ruf, Jürgen; Kropf, Thomas; Rosenstiel, Wolfgang; Weiss, Roland
Aufruf zur Teilnahme an der MetriKon 2011

MetriKon 2011
Model-Based Debugging of Embedded Software Systems

Iyenghar, Padma; Pulvermueller, Elke; Westerkamp, Clemens; Uelschen, Michael; Wuebbelmann, Juergen
Migration von AUTOSAR-basierten Echtzeitanwendungen auf Multicore-Systeme

Bohn, Michael; Schneider, Jorn; Eltges, Christian; Rößger, Robert
Softwarezuverlässigkeitsbewertung auf Basis von Betriebsprofiltreue und Schnittstellenüberdeckung

Meitner, Matthias; Saglietti, Francesca
Verifikation von UML-Statecharts unter besonderer Berücksichtigung von Speicherverbrauch und Laufzeit des Model Checkers

Ammann, Christian
Hi-Lite - Verification by Contract

Kanig, Johannes; Guitton, Jérôme; Moy, Yannick
An Approach for Requirements Engineering for Software Library-Components and Patterns to be Reused in and across Product Lines

Herrmann, Dirk; Liebehenschel, Jens
ISO 26262 – Exemplary Tool Classification of Model-Based Design Tools

Conrad, Mirko; Fey, Ines
4. Workshop Entwicklung zuverlässiger Software-Systeme 2011

Keller, Hubert B.; Klenk, Herbert
Call for Participation: IWSM/MENSURA 2011

IWSM/MENSURA 2011
Tools and Methods for Validation and Verification as requested by ISO26262

Gebhardt, Markus; Kaske, Axel

Anzeige der Dokumente 1-15 von 15

Gesamter Bestand

Diese Sammlung

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