Helmuth Partsch - researchr alias

researchr

You are not signed in
Sign in
Sign up

2003

Tool Support for the Interactive Derivation of Formally Correct Functional ProgramsWalter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs. jucs, 9(2):173, 2003. [doi]

1998

Requirements-Engineering systematisch - Modellbildung für softwaregestützte SystemeHelmuth Partsch. Springer, 1998.

1997

A powerful transformation rule, its applications and variantsKlaus Achatz, Helmuth Partsch. alc 1997: 265-295

1993

Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art ReportBernhard Möller, Helmuth Partsch, Stephen A. Schuman, editors, Volume 755 of Lecture Notes in Computer Science, Springer, 1993.

IntroductionBernhard Möller, Helmuth Partsch, Stephen A. Schuman. ifip2-1 1993: 1-6

Formal Problem Specification on an Algebraic BasisHelmuth Partsch. ifip2-1 1993: 183-224

1992

How to Produce Correct Software - An Introduction to Formal Specification and Program Development by TransformationsEerke Boiten, Helmuth Partsch, Daniel Tuijnman, Norbert Völker. cj, 35(6):547-554, 1992.

1991

Another Case Study on Reusability of Transformational Developments Pattern Matching According to Knuth, Morris, and PrattHelmuth Partsch, Norbert Völker. cip 1991: 35-48

1990

A Fast Pattern Matching Algorithm Derived by Transformational and Assertional ReasoningHelmuth Partsch, Frank A. Stomp. fac, 2(2):109-122, 1990.

1989

Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided ProgrammingFriedrich L. Bauer, Bernhard Möller, Helmuth Partsch, Peter Pepper. TSE, 15(2):165-180, 1989. [doi]

From Informal Requirements to a Running Program: A Case Study in Algebraic Specification and Transformational ProgrammingHelmuth Partsch. SCP, 11(3):263-297, 1989.

Formalizing Informal Reuqirments. Some AspectsN. W. P. van Diepen, Helmuth Partsch. am 1991: 7-27

1987

The Munich Project CIP, Volume II: The Program Transformation System CIP-SFriedrich L. Bauer, Herbert Ehler, A. Horsch, Bernhard Möller, Helmuth Partsch, O. Paukner, Peter Pepper. Volume 292 of Lecture Notes in Computer Science, Springer, 1987.

Requirements Engineering - Das aktuelle SchlagwortBernd Kühnel, Helmuth Partsch, K.-P. Reinshagen. insk, 10(6):334-335, 1987.

Konstruktion korrekter Programme durch TransformationHelmuth Partsch, Bernhard Möller. insk, 10(6):309-323, 1987.

Algebraic Specification: A Step Towards Future Software EngineeringHelmuth Partsch. am 1989: 7-30

1986

Transformational Program Development in a Particular Program DomainHelmuth Partsch. SCP, 7(2):99-241, 1986.

1985

The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-LFriedrich 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. Volume 183 of Lecture Notes in Computer Science, Springer, 1985.

1984

Structuring Transformational Developments: A Case Study Based on Earley s RecognizerHelmuth Partsch. SCP, 4(1):17-44, 1984.

Transformational Derivation of Parsing Algorithms Executable on Parallel ArchitecturesHelmuth Partsch. programmier 1984: 41-57

1983

1982

Tuning algebraic specifications by type mergingAlfred Laut, Helmuth Partsch. programm 1982: 283-304

Comments on I. DimitrovHelmuth Partsch. moreal 1982: 78-80

From Requirements to their Formalization - A Case Study on the Stepwise Development of Algebraic SpecificationsHelmuth Partsch, Alfred Laut. programmier 1982: 117-132

Abstrakte Datentypen: Die algebraische Spezifikation von RechenstrukturenPeter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing. insk, 5(2):107-119, 1982.

1981

Programming in a Wide Spectrum Language: A Collection of ExamplesFriedrich 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. SCP, 1(1-2):73-114, 1981.

1980

Programmtransformationen - Das aktuelle SchlagwortFriedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper. insk, 3(3):192-193, 1980.

Semantic Relations in Programming LanguagesManfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing. ifip 1980: 101-106

1979

Existential Quantifiers in Abstract Data TypesManfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing. icalp 1979: 73-87

1978

1976

A Family of Rules for Recursion RemovalHelmuth Partsch, Peter Pepper. ipl, 5(6):174-177, 1976.