Suchergebnisse - Wehrheim, Heike

Action refinement: an application of process theory on object-oriented specification

von Huhn, Michaela, Wehrheim, Heike, Denker, Grit

Parametric action refinement

von Wehrheim, Heike

Causal testing

von Goltz, Ursula, Wehrheim, Heike

Parametric action refinement

von Wehrheim, Heike

Specifying reactive systems with action dependencies

von Wehrheim, Heike

Inhaltsverzeichnis

Tests and proofs: 14th international conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22–23, 2020, proceedings

Weitere beteiligte Personen: “… Wehrheim, Heike …”
Online lesen

Fundamental approaches to software engineering: 23rd International Conference, FASE 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings

Weitere beteiligte Personen: “… Wehrheim, Heike …”
Online lesen (frei zugänglich)

Fundamental approaches to software engineering: 23rd international conference, FASE 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings

Weitere beteiligte Personen: “… Wehrheim, Heike …”