1995

14.
Reif, Wolfgang; Stenzel, Kurt
Reuse of Proofs in Software Verification
In Köhler, J., Editor, Workshop on Formal Approaches to the Reuse of Plans, Proofs, and Programs (Montreal, Quebec)
In Köhler, J., Editor
1995
13.
Achatz, Klaus; Schulte, Wolfram
Massive Parallelization of Divide-and-Conquer-Algorithms over Powerlists
Document Number: 95-12
Universität Ulm
1995
12.
Vullinghs, Ton; Tuijnman, Daniël; Schulte, Wolfram
Lightweight GUIs for functional programming
In Hermenegildo, M. and Swierstra, S. D., Editor, Proceedings of the 7th International Symposium PLILP95Volume982fromLecture Notes in Computer Science
In Hermenegildo, M. and Swierstra, S. D., Editor
Publisher: Springer-Verlag
1995
11.
Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt
Interactive Correctness Proofs for Software Modules Using KIV
COMPASS'95 - Tenth Annual Conference on Computer Assurance (Gaithersburg, MD, USA)
Publisher: IEEE press
1995
10.
Achatz, Klaus; Schulte, Wolfram
Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms
Document Number: 95-05
Universität Ulm
1995
9.
Achatz, Klaus; Schulte, Wolfram
Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms
In Möller, B., Editor, Mathematics of Program ConstructionVolume947fromLecture Notes in Computer Science
In Möller, B., Editor
Publisher: Springer-Verlag
1995
8.
Pepper, Peter; Wirsing, M.; Betschko, R.; Broy, Manfred; Dick, S.; Didrich, K.; Faulhaber, J.; Grieskamp, W.; Hußmann, H.; Mehlich, M.; Reif, Wolfgang
A Method for the Development of Correct Software
In Broy, M. and Jähnichen, S., Editor, KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final ReportVolume1009fromLecture Notes in Computer Science
In Broy, M. and Jähnichen, S., Editor
Publisher: Springer-Verlag
1995

1994

7.
Achatz, Klaus; Schulte, Wolfram
Eine Einführung in die transformationelle Entwicklung von SIMD Programmen
39. internationales wissenschaftliches Kolloquium, Technische Universität Ilmenau
1994
6.
Schulte, Wolfram; Vullinghs, Ton
Linking Reactive Software to the X-Window System
Document Number: 94-14
Universität Ulm
1994
5.
Vullinghs, Ton
Transformational Program Development Using CIPS
In Buth, B. and Berghammer, R., Editor, Systems for Computer-Aided Specification, Development and Verification
Christian-Albrechts-Universität Kiel
In Buth, B. and Berghammer, R., Editor
1994

1993

4.
Boiten, E. A.; Geerling, A. M.; Partsch, H. A.
Transformational derivation of (parallel) programs using skeletons
Proceedings of the ERCIM Workshop on Development and Transformation of Programs, INRIA, Nancy
November 1993
3.
Partsch, Helmuth
Formal Problem Specification on an Algebraic Basis
In Möller, B. and Partsch, H. and Schuman, S., Editor, Formal Program Development: IFIP TC2 State-of-the-Art Report Volume 755 from Lecture Notes in Computer Science
Page 183-224
Publisher: Springer-Verlag
1993
183-224
2.

Formal Program Development: IFIP TC2 State-of-the-Art Report
In Möller, B. and Partsch, H. and Schuman, S., Editor, Volume 755 from Lecture Notes in Computer Science
Publisher: Springer-Verlag
1993
1.
Partsch, Helmuth
Some Experiments in Transformaing Towards Parallel Executability
In Paige, R. and Reif, J. and Wachters, R., Editor, Parallel Algorithm Derviation and Program Transformation
Publisher: Kluwer Academic Publishers
1993