Helmuth Partsch

  • University of Ulm, Institute of Software Engineering and Compiler Construction

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

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


Online presence:

On csauthors.net:


From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development.
Int. J. Softw. Informatics, 2011


Tool Support for the Interactive Derivation of Formally Correct Functional Programs.
J. Univers. Comput. Sci., 2003

Requirements-Engineering systematisch - Modellbildung für softwaregestützte Systeme.
Springer, ISBN: 978-3-540-64391-3, 1998

A powerful transformation rule, its applications and variants.
Proceedings of the Algorithmic Languages and Calculi, 1997

Formal Problem Specification on an Algebraic Basis.
Proceedings of the Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report, 1993

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

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

Another Case Study on Reusability of Transformational Developments Pattern Matching According to Knuth, Morris, and Pratt.
Proceedings of the Method of Programming, Selected Papers on the CIP-Project, 1991

Specification and Transformation of Programs - A Formal Approach to Software Development
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.
Formal Aspects Comput., 1990

Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming.
IEEE Trans. Software Eng., 1989

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

Formalizing Informal Reuqirments. Some Aspects.
Proceedings of the Algebraic Methods II: Theory, 1989

Konstruktion korrekter Programme durch Transformation.
Inform. Spektrum, 1987

Requirements Engineering - Das aktuelle Schlagwort.
Inform. Spektrum, 1987

Algebraic Specification: A Step Towards Future Software Engineering.
Proceedings of the Algebraic Methods: Theory, 1987

The Munich Project CIP, Volume II: The Program Transformation System CIP-S
Lecture Notes in Computer Science 292, Springer, ISBN: 3-540-18779-0, 1987

Transformational Program Development in a Particular Program Domain.
Sci. Comput. Program., 1986


Structuring Transformational Developments: A Case Study Based on Earley's Recognizer.
Sci. Comput. Program., 1984

Transformational Derivation of Parsing Algorithms Executable on Parallel Architectures.
Proceedings of the Programmiersprachen und Programmentwicklung, 1984

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

Program Transformation Systems.
ACM Comput. Surv., 1983

On Hierarchies of Abstract Data Types.
Acta Informatica, 1983

Abstract Data Types as a Tool for Requirement Engineering.
Proceedings of the Requirements Engineering, 1983

On the Use of Algebraic Methods for Formal Requirements Definitions.
Proceedings of the Requirements Engineering, 1983

Algebraic Specification of a Text Editor.
Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen.
Inform. Spektrum, 1982

From Requirements to their Formalization - A Case Study on the Stepwise Development of Algebraic Specifications.
Proceedings of the Programmiersprachen und Programmentwicklung, 1982

Tuning algebraic specifications by type merging.
Proceedings of the International Symposium on Programming, 1982

Comments on I. Dimitrov.
Proceedings of the Adequate Modeling of Systems, 1982

Programming in a Wide Spectrum Language: A Collection of Examples.
Sci. Comput. Program., 1981

Programmtransformationen - Das aktuelle Schlagwort.
Inform. Spektrum, 1980

Semantic Relations in Programming Languages.
Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

Existential Quantifiers in Abstract Data Types.
Proceedings of the Automata, 1979

Towards a wide spectrum language to support program specification and program development.
ACM SIGPLAN Notices, 1978

Special Transformation Techniques.
Proceedings of the Program Construction, International Summer School, July 26, 1978

Examples for Change of Types and Object Structures.
Proceedings of the Program Construction, International Summer School, July 26, 1978

Systematics of Transformation Rules.
Proceedings of the Program Construction, International Summer School, July 26, 1978

A Family of Rules for Recursion Removal.
Inf. Process. Lett., 1976