Helmuth Partsch

According to our database, Helmuth Partsch authored at least 41 papers between 1976 and 2011.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2011

From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development.

Helmuth Partsch, Marcel Dausend, Dominik Gessenharter, Jens Kohlmeyer, Alexander Raschke

Int. J. Softw. Informatics, 2011

2005

Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland.

Manfred Broy, Matthias Jarke, Manfred Nagl, Hans Dieter Rombach, Armin B. Cremers, Jürgen Ebert, Sabine Glesner, Martin Glinz, Michael Goedicke, Gerhard Goos, Volker Gruhn, Wilhelm Hasselbring, Stefan Jähnichen, Stefan Kowalewski, Bernd J. Krämer, Stefan Leue, Claus Lewerentz, Peter Liggesmeyer, Christoph Lüth, Barbara Paech, Helmuth Arthur Partsch, Ilka Philippow, Lutz Prechelt, Andreas Rausch, Willem-Paul de Roever, Bernhard Rumpe, Gudula Rünger, Wilhelm Schäfer, Kurt Schneider, Andy Schürr, Walter F. Tichy, Bernhard Westfechtel, Wolf Zimmermann, Albert Zündorf

Proceedings of the Perspectives Workshop, 05.10. - 08.10.2005, 2005

2003

Tool Support for the Interactive Derivation of Formally Correct Functional Programs.

Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs

J. Univers. Comput. Sci., 2003

1998

Requirements-Engineering systematisch - Modellbildung für softwaregestützte Systeme.

Helmuth Partsch

Springer, ISBN: 978-3-540-64391-3, 1998

1997

A powerful transformation rule, its applications and variants.

Klaus Achatz, Helmuth Partsch

Proceedings of the Algorithmic Languages and Calculi, 1997

1993

Formal Problem Specification on an Algebraic Basis.

Helmuth Partsch

Proceedings of the Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report, 1993

Introduction.

Bernhard Möller, Helmuth Partsch, Stephen A. Schuman

Proceedings of the Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report, 1993

1992

How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations.

Eerke A. Boiten, Helmuth Partsch, Daniel Tuijnman, Norbert Völker

Comput. J., 1992

1991

Another Case Study on Reusability of Transformational Developments Pattern Matching According to Knuth, Morris, and Pratt.

Helmuth Partsch, Norbert Völker

Proceedings of the Method of Programming, Selected Papers on the CIP-Project, 1991

1990

Specification and Transformation of Programs - A Formal Approach to Software Development

Helmuth Partsch

Texts and Monographs in Computer Science, Springer, ISBN: 978-3-642-61512-2, 1990

A Fast Pattern Matching Algorithm Derived by Transformational and Assertional Reasoning.

Helmuth Partsch, Frank A. Stomp

Formal Aspects Comput., 1990

1989

Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming.

Friedrich L. Bauer, Bernhard Möller, Helmuth Partsch, Peter Pepper

IEEE Trans. Software Eng., 1989

From Informal Requirements to a Running Program: A Case Study in Algebraic Specification and Transformational Programming.

Helmuth Partsch

Sci. Comput. Program., 1989

Formalizing Informal Reuqirments. Some Aspects.

N. W. P. van Diepen, Helmuth Partsch

Proceedings of the Algebraic Methods II: Theory, 1989

1987

Konstruktion korrekter Programme durch Transformation.

Helmuth Partsch, Bernhard Möller

Inform. Spektrum, 1987

Requirements Engineering - Das aktuelle Schlagwort.

Bernd Kühnel, Helmuth Partsch, K.-P. Reinshagen

Inform. Spektrum, 1987

Algebraic Specification: A Step Towards Future Software Engineering.

Helmuth Partsch

Proceedings of the Algebraic Methods: Theory, 1987

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

Lecture Notes in Computer Science 292, Springer, ISBN: 3-540-18779-0, 1987

1986

Transformational Program Development in a Particular Program Domain.

Helmuth Partsch

Sci. Comput. Program., 1986

1985

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

Lecture Notes in Computer Science 183, Springer, ISBN: 3-540-15187-7, 1985

1984

Structuring Transformational Developments: A Case Study Based on Earley's Recognizer.

Helmuth Partsch

Sci. Comput. Program., 1984

Transformational Derivation of Parsing Algorithms Executable on Parallel Architectures.

Helmuth Partsch

Proceedings of the Programmiersprachen und Programmentwicklung, 1984

1983

An Exercise in the Transformational Derivation of an Efficient Program by Joing Development of Control and Data Structure.

Helmuth Partsch

Sci. Comput. Program., 1983

Program Transformation Systems.

Helmuth Partsch, Ralf Steinbrüggen

ACM Comput. Surv., 1983

On Hierarchies of Abstract Data Types.

Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch

Acta Informatica, 1983

Abstract Data Types as a Tool for Requirement Engineering.

Helmuth Partsch, Peter Pepper

Proceedings of the Requirements Engineering, 1983

On the Use of Algebraic Methods for Formal Requirements Definitions.

Helmuth Partsch

Proceedings of the Requirements Engineering, 1983

Algebraic Specification of a Text Editor.

Helmuth Partsch

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

1982

Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen.

Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing

Inform. Spektrum, 1982

From Requirements to their Formalization - A Case Study on the Stepwise Development of Algebraic Specifications.

Helmuth Partsch, Alfred Laut

Proceedings of the Programmiersprachen und Programmentwicklung, 1982

Tuning algebraic specifications by type merging.

Alfred Laut, Helmuth Partsch

Proceedings of the International Symposium on Programming, 1982

Comments on I. Dimitrov.

Helmuth Partsch

Proceedings of the Adequate Modeling of Systems, 1982

1981

Programming in a Wide Spectrum Language: A Collection of Examples.

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

Sci. Comput. Program., 1981

1980

Programmtransformationen - Das aktuelle Schlagwort.

Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper

Inform. Spektrum, 1980

Semantic Relations in Programming Languages.

Manfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

1979

Existential Quantifiers in Abstract Data Types.

Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing

Proceedings of the Automata, 1979

1978

Towards a wide spectrum language to support program specification and program development.

Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner

ACM SIGPLAN Notices, 1978

Special Transformation Techniques.

Hans Wössner, Peter Pepper, Helmuth Partsch, Friedrich L. Bauer

Proceedings of the Program Construction, International Summer School, July 26, 1978

Examples for Change of Types and Object Structures.

Helmuth Partsch, Manfred Broy

Proceedings of the Program Construction, International Summer School, July 26, 1978

Systematics of Transformation Rules.

Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper, Hans Wössner

Proceedings of the Program Construction, International Summer School, July 26, 1978

1976

A Family of Rules for Recursion Removal.

Helmuth Partsch, Peter Pepper

Inf. Process. Lett., 1976