Helmuth Partsch

42 papers A* 1A 2Journal 18Unranked 16
YearRankTypeTitle / Venue / Authors
2011 J jnl
From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development.
Int. J. Softw. Informatics
Helmuth Partsch, Marcel Dausend, Dominik Gessenharter, Jens Kohlmeyer, Alexander Raschke
2003 J jnl
Tool Support for the Interactive Derivation of Formally Correct Functional Programs.
J. Univers. Comput. Sci.
Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs
1998 — book
Requirements-Engineering systematisch - Modellbildung für softwaregestützte Systeme.
Helmuth Partsch
1997 — conf
A powerful transformation rule, its applications and variants.
Algorithmic Languages and Calculi
Klaus Achatz, Helmuth Partsch
1993 — conf
Formal Problem Specification on an Algebraic Basis.
Formal Program Development
Helmuth Partsch
1993 — ed.
Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report
Formal Program Development
Bernhard Möller, Helmuth Partsch, Stephen A. Schuman
1993 — conf
Introduction.
Formal Program Development
Bernhard Möller, Helmuth Partsch, Stephen A. Schuman
1992 J jnl
How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations.
Comput. J.
Eerke A. Boiten, Helmuth Partsch, Daniel Tuijnman, Norbert Völker
1991 — conf
Another Case Study on Reusability of Transformational Developments Pattern Matching According to Knuth, Morris, and Pratt.
Methods of Programming
Helmuth Partsch, Norbert Völker
1990 J jnl
A Fast Pattern Matching Algorithm Derived by Transformational and Assertional Reasoning.
Formal Aspects Comput.
Helmuth Partsch, Frank A. Stomp
1990 — book
Specification and Transformation of Programs - A Formal Approach to Software Development
Helmuth Partsch
1989 J jnl
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming.
IEEE Trans. Software Eng.
Friedrich L. Bauer, Bernhard Möller, Helmuth Partsch, Peter Pepper
1989 — conf
Formalizing Informal Reuqirments. Some Aspects.
Algebraic Methods
N. W. P. van Diepen, Helmuth Partsch
1989 J jnl
From Informal Requirements to a Running Program: A Case Study in Algebraic Specification and Transformational Programming.
Sci. Comput. Program.
Helmuth Partsch
1987 — conf
Algebraic Specification: A Step Towards Future Software Engineering.
Algebraic Methods
Helmuth Partsch
1987 J jnl
Konstruktion korrekter Programme durch Transformation.
Inform. Spektrum
Helmuth Partsch, Bernhard Möller
1987 J jnl
Requirements Engineering - Das aktuelle Schlagwort.
Inform. Spektrum
Bernd Kühnel, Helmuth Partsch, K.-P. Reinshagen
1987 — book
The Munich Project CIP, Volume II: The Program Transformation System CIP-S
Friedrich L. Bauer, Herbert Ehler, A. Horsch, Bernhard Möller, Helmuth Partsch, O. Paukner, Peter Pepper
1986 J jnl
Transformational Program Development in a Particular Program Domain.
Sci. Comput. Program.
Helmuth Partsch
1985 — book
The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L
Friedrich L. Bauer, Rudolf Berghammer, Manfred Broy, Walter Dosch, Franz Geiselbrechtinger, Rupert Gnatz, E. Hangel, Wolfgang Hesse, Bernd Krieg-Brückner, Alfred Laut, Thomas Matzner, Bernhard Möller, Friederike Nickl, Helmuth Partsch, Peter Pepper, Klaus Samelson, Martin Wirsing, Hans Wössner
1984 J jnl
Structuring Transformational Developments: A Case Study Based on Earley's Recognizer.
Sci. Comput. Program.
Helmuth Partsch
1984 — conf
Transformational Derivation of Parsing Algorithms Executable on Parallel Architectures.
Fachtagung über Programmiersprachen
Helmuth Partsch
1983 A conf
Abstract Data Types as a Tool for Requirement Engineering.
Requirements Engineering
Helmuth Partsch, Peter Pepper
1983 — conf
Algebraic Specification of a Text Editor.
ADT
Helmuth Partsch
1983 J jnl
An Exercise in the Transformational Derivation of an Efficient Program by Joing Development of Control and Data Structure.
Sci. Comput. Program.
Helmuth Partsch
1983 J jnl
On Hierarchies of Abstract Data Types.
Acta Informatica
Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch
1983 A conf
On the Use of Algebraic Methods for Formal Requirements Definitions.
Requirements Engineering
Helmuth Partsch
1983 J jnl
Program Transformation Systems.
ACM Comput. Surv.
Helmuth Partsch, Ralf Steinbrüggen
1982 J jnl
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen.
Inform. Spektrum
Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing
1982 — conf
Comments on I. Dimitrov.
International Working Conference on Model Realism
Helmuth Partsch
1982 — conf
From Requirements to their Formalization - A Case Study on the Stepwise Development of Algebraic Specifications.
Fachtagung über Programmiersprachen
Helmuth Partsch, Alfred Laut
1982 — conf
Tuning algebraic specifications by type merging.
Symposium on Programming
Alfred Laut, Helmuth Partsch
1981 J jnl
Programming in a Wide Spectrum Language: A Collection of Examples.
Sci. Comput. Program.
Friedrich L. Bauer, Manfred Broy, Walter Dosch, Rupert Gnatz, Bernd Krieg-Brückner, Alfred Laut, M. Luckmann, Thomas Matzner, Bernhard Möller, Helmuth Partsch, Peter Pepper, Klaus Samelson, Ralf Steinbrüggen, Martin Wirsing, Hans Wössner
1980 J jnl
Programmtransformationen - Das aktuelle Schlagwort.
Inform. Spektrum
Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper
1980 — conf
Semantic Relations in Programming Languages.
IFIP Congress
Manfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing
1979 A* conf
Existential Quantifiers in Abstract Data Types.
ICALP
Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing
1978 — conf
Examples for Change of Types and Object Structures.
Program Construction
Helmuth Partsch, Manfred Broy
1978 — conf
Special Transformation Techniques.
Program Construction
Hans Wössner, Peter Pepper, Helmuth Partsch, Friedrich L. Bauer
1978 — conf
Systematics of Transformation Rules.
Program Construction
Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper, Hans Wössner
1978 — conf
Towards a Wide Spectrum Language to Support Program Specification and Program Development.
Program Construction
Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner
1978 J jnl
Towards a wide spectrum language to support program specification and program development.
ACM SIGPLAN Notices
Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner
1976 J jnl
A Family of Rules for Recursion Removal.
Inf. Process. Lett.
Helmuth Partsch, Peter Pepper