Helmuth Partsch - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 41 from 41

2011

From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven DevelopmentHelmuth Partsch, Marcel Dausend, Dominik Gessenharter, Jens Kohlmeyer, Alexander Raschke. ijsi, 5(1-2):291-312, 2011. [doi]

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

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.

Specification and Transformation of Programs - A Formal Approach to Software DevelopmentHelmuth Partsch. Texts and Monographs in Computer Science, Springer, 1990. [doi]

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

Systematics of Transformation RulesFriedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper, Hans Wössner. pc 1979: 273-289

Towards a Wide Spectrum Language to Support Program Specification and Program DevelopmentFriedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner. pc 1979: 543-552

Towards a wide spectrum language to support program specification and program developmentFriedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner. SIGPLAN, 13(12):15-24, 1978. [doi]

Examples for Change of Types and Object StructuresHelmuth Partsch, Manfred Broy. pc 1979: 421-463

Special Transformation TechniquesHans Wössner, Peter Pepper, Helmuth Partsch, Friedrich L. Bauer. pc 1979: 290-321

1976

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

Sign in or sign up to see more results.

runs on WebDSL