Search
Now showing items 1-10 of 53
The Design of a Functional GUI Library Using Constructor Classes
Vullinghs, Ton; Schulte, Wolfram; Schwinn, Thilo; Bjørner, D.; Broy, M.; Pottosin, I. (1996)
Beitrag zu einer Konferenz
Lightweight GUIs for functional programming
Vullinghs, Ton; Tuijnman, Daniël; Schulte, Wolfram; Hermenegildo, M.; Swierstra, S. D. (1995)
Beitrag zu einer Konferenz
Transformational Program Development Using CIPS
Vullinghs, Ton; Buth, B.; Berghammer, R. (1994)
Beitrag zu einer Konferenz
Interactive Correctness Proofs for Software Modules Using KIV
Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt (1995)
Beitrag zu einer Konferenz
LEX: a case study in development and validation of formal specifications
Heckler, A. et al. (1996)
Bericht
Proving System Correctness with KIV
Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt; Bidoit, M.; Dauchet, M. (1997)
Beitrag zu einer Konferenz
Eine Einführung in die transformationelle Entwicklung von SIMD Programmen
Achatz, Klaus; Schulte, Wolfram (1994)
Beitrag zu einer Konferenz
Software-Sicherheit mit formalen Methoden
Reif, Wolfgang (1998)
Wissenschaftlicher Artikel
Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms
Achatz, Klaus; Schulte, Wolfram; Möller, B. (1995)
Beitrag zu einer Konferenz
Proving System Correctness with KIV 3.0
Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt (1997)
Beitrag zu einer Konferenz