1995

13.
default
Reif, Wolfgang
The KIV-approach to Software Verification
In Broy, M. and Jähnichen, S., Editor, KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report Band 1009 aus Lecture Notes in Computer Science
Herausgeber: Springer-Verlag,
1995
12.
default
Reif, Wolfgang; Schellhorn, Gerhard und Stenzel, Kurt
Interactive Correctness Proofs for Software Modules Using KIV
COMPASS'95 - Tenth Annual Conference on Computer Assurance (Gaithersburg, MD, USA)
Herausgeber: IEEE press,
1995
11.
default
Reif, Wolfgang und 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)
1995
10.
default
Vullinghs, Ton; Tuijnman, Daniël und Schulte, Wolfram
Lightweight GUIs for functional programming
In Hermenegildo, M. and Swierstra, S. D., Editor, Proceedings of the 7th International Symposium PLILP95 Band 982 aus Lecture Notes in Computer Science
Herausgeber: Springer-Verlag,
1995
9.
default
Achatz, Klaus und Schulte, Wolfram
Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms
Dokument Nummer: 95-05
Universität Ulm,
1995
8.
default
Achatz, Klaus und Schulte, Wolfram
Massive Parallelization of Divide-and-Conquer-Algorithms over Powerlists
Dokument Nummer: 95-12
Universität Ulm,
1995

1994

7.
default
Achatz, Klaus und Schulte, Wolfram
Eine Einführung in die transformationelle Entwicklung von SIMD Programmen
39. internationales wissenschaftliches Kolloquium, Technische Universität Ilmenau
1994
6.
default
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
1994
5.
default
Schulte, Wolfram und Vullinghs, Ton
Linking Reactive Software to the X-Window System
Dokument Nummer: 94-14
Universität Ulm,
1994

1993

4.
default
Boiten, E. A.; Geerling, A. M. und 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

Bemerkung: Auch in: Proceedings of Computing Science in the Netherlands

3.
default
Formal Program Development: IFIP TC2 State-of-the-Art Report
In Möller, B. and Partsch, H. and Schuman, S., Editor, Band 755 aus Lecture Notes in Computer Science
Herausgeber: Springer-Verlag,
1993
2.
default
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
Herausgeber: Kluwer Academic Publishers,
1993
1.
default
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 Band 755 aus Lecture Notes in Computer Science
Seite 183-224.
Herausgeber: Springer-Verlag,
1993