Helmuth Partsch

Publication Activity (10 Years)

Years Active: 1976-2011
Publications (10 Years): 0

Publications

Helmuth Partsch, Marcel Dausend, Dominik Gessenharter, Jens Kohlmeyer, Alexander Raschke
From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development. Int. J. Softw. Informatics 5 (1-2) (2011)
Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs
Tool Support for the Interactive Derivation of Formally Correct Functional Programs. J. Univers. Comput. Sci. 9 (2) (2003)
Klaus Achatz, Helmuth Partsch
A powerful transformation rule, its applications and variants. Algorithmic Languages and Calculi (1997)
Bernhard Möller, Helmuth Partsch, Stephen A. Schuman
Introduction. Formal Program Development (1993)
Helmuth Partsch
Formal Problem Specification on an Algebraic Basis. Formal Program Development (1993)
Eerke A. Boiten, Helmuth Partsch, Daniel Tuijnman, Norbert Völker
How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations. Comput. J. 35 (6) (1992)
Helmuth Partsch, Norbert Völker
Another Case Study on Reusability of Transformational Developments Pattern Matching According to Knuth, Morris, and Pratt. Methods of Programming (1991)
Helmuth Partsch, Frank A. Stomp
A Fast Pattern Matching Algorithm Derived by Transformational and Assertional Reasoning. Formal Aspects Comput. 2 (2) (1990)
Helmuth Partsch
From Informal Requirements to a Running Program: A Case Study in Algebraic Specification and Transformational Programming. Sci. Comput. Program. 11 (3) (1989)
Friedrich L. Bauer, Bernhard Möller, Helmuth Partsch, Peter Pepper
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming. IEEE Trans. Software Eng. 15 (2) (1989)
N. W. P. van Diepen, Helmuth Partsch
Formalizing Informal Reuqirments. Some Aspects. Algebraic Methods (1989)
Helmuth Partsch, Bernhard Möller
Konstruktion korrekter Programme durch Transformation. Inform. Spektrum 10 (6) (1987)
Helmuth Partsch
Algebraic Specification: A Step Towards Future Software Engineering. Algebraic Methods (1987)
Bernd Kühnel, Helmuth Partsch, K.-P. Reinshagen
Requirements Engineering - Das aktuelle Schlagwort. Inform. Spektrum 10 (6) (1987)
Helmuth Partsch
Transformational Program Development in a Particular Program Domain. Sci. Comput. Program. 7 (2) (1986)
Helmuth Partsch
Transformational Derivation of Parsing Algorithms Executable on Parallel Architectures. Fachtagung über Programmiersprachen (1984)
Helmuth Partsch
Structuring Transformational Developments: A Case Study Based on Earley's Recognizer. Sci. Comput. Program. 4 (1) (1984)
Helmuth Partsch, Peter Pepper
Abstract Data Types as a Tool for Requirement Engineering. Requirements Engineering (1983)
Helmuth Partsch
On the Use of Algebraic Methods for Formal Requirements Definitions. Requirements Engineering (1983)
Helmuth Partsch
Algebraic Specification of a Text Editor. ADT (1983)
Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch
On Hierarchies of Abstract Data Types. Acta Informatica 20 (1983)
Helmuth Partsch, Ralf Steinbrüggen
Program Transformation Systems. ACM Comput. Surv. 15 (3) (1983)
Helmuth Partsch
An Exercise in the Transformational Derivation of an Efficient Program by Joing Development of Control and Data Structure. Sci. Comput. Program. 3 (1) (1983)
Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. Inform. Spektrum 5 (2) (1982)
Alfred Laut, Helmuth Partsch
Tuning algebraic specifications by type merging. Symposium on Programming (1982)
Helmuth Partsch, Alfred Laut
From Requirements to their Formalization - A Case Study on the Stepwise Development of Algebraic Specifications. Fachtagung über Programmiersprachen (1982)
Helmuth Partsch
Comments on I. Dimitrov. International Working Conference on Model Realism (1982)
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
Programming in a Wide Spectrum Language: A Collection of Examples. Sci. Comput. Program. 1 (1-2) (1981)
Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper
Programmtransformationen - Das aktuelle Schlagwort. Inform. Spektrum 3 (3) (1980)
Manfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing
Semantic Relations in Programming Languages. IFIP Congress (1980)
Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing
Existential Quantifiers in Abstract Data Types. ICALP (1979)
Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner
Towards a wide spectrum language to support program specification and program development. ACM SIGPLAN Notices 13 (12) (1978)
Helmuth Partsch, Manfred Broy
Examples for Change of Types and Object Structures. Program Construction (1978)
Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner
Towards a Wide Spectrum Language to Support Program Specification and Program Development. Program Construction (1978)
Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper, Hans Wössner
Systematics of Transformation Rules. Program Construction (1978)
Hans Wössner, Peter Pepper, Helmuth Partsch, Friedrich L. Bauer
Special Transformation Techniques. Program Construction (1978)
Helmuth Partsch, Peter Pepper
A Family of Rules for Recursion Removal. Inf. Process. Lett. 5 (6) (1976)