Helmuth Partsch

According to our database1, Helmuth Partsch
  • authored at least 41 papers between 1976 and 2011.
  • has a "Dijkstra number"2 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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

2005

2003
Tool Support for the Interactive Derivation of Formally Correct Functional Programs.
J. UCS, 2003

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

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

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

Introduction.
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.
Comput. J., 1992

1991
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

1990
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 Asp. Comput., 1990

1989
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

1987
Konstruktion korrekter Programme durch Transformation.
Informatik Spektrum, 1987

Requirements Engineering - Das aktuelle Schlagwort.
Informatik 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

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

1985
The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L
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.
Sci. Comput. Program., 1984

Transformational Derivation of Parsing Algorithms Executable on Parallel Architectures.
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.
Sci. Comput. Program., 1983

Program Transformation Systems.
ACM Comput. Surv., 1983

On Hierarchies of Abstract Data Types.
Acta Inf., 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.
ADT, 1983

1982
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen.
Informatik 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.
International Working Conference on Model Realism, 1982

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

1980
Programmtransformationen - Das aktuelle Schlagwort.
Informatik Spektrum, 1980

Semantic Relations in Programming Languages.
IFIP Congress, 1980

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

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

Towards a Wide Spectrum Language to Support Program Specification and Program Development.
Proceedings of the Program Construction, International Summer School, July 26, 1978

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


  Loading...