Search
Now showing items 1-10 of 25
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
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
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
A Formal OO Method Inspired by Fusion and Object-Z
Achatz, Klaus; Schulte, Wolfram; Bowen, J. P.; Hinchey, M. G.; Till, D. (1997)
Beitrag zu einer Konferenz
Kommunikationsorientierte Analyse und Gestaltung von Arbeitskontexten (KOALA)
Schwarz, Michael; Sinz, E. J. (1999)
Beitrag zu einer Konferenz