dblp.uni-trier.dewww.uni-trier.de

Helmuth Partsch Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2003
38EEWalter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs: Tool Support for the Interactive Derivation of Formally Correct Functional Programs. J. UCS 9(2): 173- (2003)
1997
37 Klaus Achatz, Helmuth Partsch: A powerful transformation rule, its applications and variants. Algorithmic Languages and Calculi 1997: 265-295
1993
36 Bernhard Möller, Helmuth Partsch, Stephen A. Schuman: Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report Springer 1993
35 Bernhard Möller, Helmuth Partsch, Stephen A. Schuman: Introduction. Formal Program Development 1993: 1-6
34 Helmuth Partsch: Formal Problem Specification on an Algebraic Basis. Formal Program Development 1993: 183-224
1992
33 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): 547-554 (1992)
1991
32 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: 35-48
1990
31 Helmuth Partsch, Frank A. Stomp: A Fast Pattern Matching Algorithm Derived by Transformational and Assertional Reasoning. Formal Asp. Comput. 2(2): 109-122 (1990)
1989
30EEN. W. P. van Diepen, Helmuth Partsch: Formalizing Informal Reuqirments. Some Aspects. Algebraic Methods 1989: 7-27
29EEFriedrich 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): 165-180 (1989)
28 Helmuth Partsch: From Informal Requirements to a Running Program: A Case Study in Algebraic Specification and Transformational Programming. Sci. Comput. Program. 11(3): 263-297 (1989)
1987
27 Friedrich L. Bauer, Herbert Ehler, A. Horsch, Bernhard Möller, Helmuth Partsch, O. Paukner, Peter Pepper: The Munich Project CIP, Volume II: The Program Transformation System CIP-S Springer 1987
26EEHelmuth Partsch: Algebraic Specification: A Step Towards Future Software Engineering. Algebraic Methods 1987: 7-30
25 Helmuth Partsch, Bernhard Möller: Konstruktion korrekter Programme durch Transformation. Informatik Spektrum 10(6): 309-323 (1987)
24 Bernd Kühnel, Helmuth Partsch, K.-P. Reinshagen: Requirements Engineering - Das aktuelle Schlagwort. Informatik Spektrum 10(6): 334-335 (1987)
1986
23 Helmuth Partsch: Transformational Program Development in a Particular Program Domain. Sci. Comput. Program. 7(2): 99-241 (1986)
1985
22 Friedrich 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: The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L Springer 1985
1984
21 Helmuth Partsch: Transformational Derivation of Parsing Algorithms Executable on Parallel Architectures. Fachtagung über Programmiersprachen 1984: 41-57
20 Helmuth Partsch: Structuring Transformational Developments: A Case Study Based on Earley's Recognizer. Sci. Comput. Program. 4(1): 17-44 (1984)
1983
19 Helmuth Partsch: Algebraic Specification of a Text Editor. ADT 1983
18 Helmuth Partsch: On the Use of Algebraic Methods for Formal Requirements Definitions. Requirements Engineering 1983: 138-158
17 Helmuth Partsch, Peter Pepper: Abstract Data Types as a Tool for Requirement Engineering. Requirements Engineering 1983: 42-55
16 Helmuth Partsch, Ralf Steinbrüggen: Program Transformation Systems. ACM Comput. Surv. 15(3): 199-236 (1983)
15 Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch: On Hierarchies of Abstract Data Types. Acta Inf. 20: 1-33 (1983)
14 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): 1-35 (1983)
1982
13 Helmuth Partsch, Alfred Laut: From Requirements to their Formalization - A Case Study on the Stepwise Development of Algebraic Specifications. Fachtagung über Programmiersprachen 1982: 117-132
12 Helmuth Partsch: Comments on I. Dimitrov. International Working Conference on Model Realism 1982: 78-80
11 Alfred Laut, Helmuth Partsch: Tuning algebraic specifications by type merging. Symposium on Programming 1982: 283-304
10 Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing: Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. Informatik Spektrum 5(2): 107-119 (1982)
1981
9 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): 73-114 (1981)
1980
8 Manfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing: Semantic Relations in Programming Languages. IFIP Congress 1980: 101-106
7 Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper: Programmtransformationen - Das aktuelle Schlagwort. Informatik Spektrum 3(3): 192-193 (1980)
1979
6EEManfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing: Existential Quantifiers in Abstract Data Types. ICALP 1979: 73-87
1978
5 Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper, Hans Wössner: Systematics of Transformation Rules. Program Construction 1978: 273-289
4 Hans Wössner, Peter Pepper, Helmuth Partsch, Friedrich L. Bauer: Special Transformation Techniques. Program Construction 1978: 290-321
3 Helmuth Partsch, Manfred Broy: Examples for Change of Types and Object Structures. Program Construction 1978: 421-463
2 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: 543-552
1976
1 Helmuth Partsch, Peter Pepper: A Family of Rules for Recursion Removal. Inf. Process. Lett. 5(6): 174-177 (1976)

Coauthor Index

1Klaus Achatz [37]
2Friedrich L. Bauer [2] [4] [5] [7] [9] [10] [22] [27] [29]
3Rudolf Berghammer [22]
4Eerke A. Boiten [33]
5Manfred Broy [2] [3] [5] [6] [7] [8] [9] [10] [22]
6N. W. P. van Diepen [30]
7Walter Dosch [6] [9] [10] [15] [22]
8Herbert Ehler [27]
9Franz Geiselbrechtinger [22]
10Rupert Gnatz [2] [9] [22]
11Walter Guttmann [38]
12E. Hangel [22]
13Wolfgang Hesse [2] [22]
14A. Horsch [27]
15Bernd Krieg-Brückner [2] [9] [22]
16Bernd Kühnel [24]
17Alfred Laut [9] [11] [13] [22]
18M. Luckmann [9]
19Thomas Matzner [9] [22]
20Bernhard Möller [9] [22] [25] [27] [29] [35] [36]
21Friederike Nickl [22]
22O. Paukner [27]
23Peter Pepper [1] [2] [4] [5] [6] [7] [8] [9] [10] [15] [17] [22] [27] [29]
24K.-P. Reinshagen [24]
25Klaus Samelson [9] [22]
26Wolfram Schulte [38]
27Stephen A. Schuman [35] [36]
28Ralf Steinbrüggen [9] [16]
29Frank A. Stomp [31]
30Daniel Tuijnman [33]
31Norbert Völker [32] [33]
32Ton Vullinghs [38]
33Martin Wirsing [6] [8] [9] [10] [15] [22]
34Hans Wössner [2] [4] [5] [9] [22]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)