|
[66]
|
Partsch, H., M. Dausend, D. Gessenharter, J. Kohlmeyer
und A. Raschke: From Formal Semantics to Executable
Models: A Pragmatic Approach to Model-Driven Development.
International Journal of Software and Informatics, 5(1-2, Part
II):291-312, 2011.
|
|
[65]
|
Partsch, H.: Requirements-Engineering systematisch - Modellbildung
für softwaregestützte Systeme.
Springer-Verlag, zweite, überarbeitete und erweiterte
Auflage, 2010.
|
|
[64]
|
Raschke, A., J. Kohlmeyer, H. Partsch, H. Wolf
und W. Mader: Virtueller Biobaukasten: Einsatz von
Modellierungswerkzeugen aus der Informatik zur Simulation komplexer
biologischer Prozesse.
In: Haasis, K., A. Heinzl und
D. Klumpp (Herausgeber): Aktuelle Trends in der
Softwareforschung: Tagungsband zum doIT Software-Forschungstag 2006,
Seiten 101-116. dpunkt.verlag, Juli 2006.
|
|
[63]
|
Guttmann, W., H. Partsch, W. Schulte und
T. Vullinghs: Tool Support for the Interactive Derivation of Formally
Correct Functional Programs.
Journal of Universal Computer Science, 9(2):173-188,
März 2003.
[ http ]
|
|
[62]
|
Guttmann, W., H. Partsch, W. Schulte und
T. Vullinghs: Tool Support for the Interactive Derivation of Formally
Correct Functional Programs (Extended Abstract).
In: Haneberg, D., G. Schellhorn und W. Reif (Herausgeber): FM-TOOLS 2002: The Fifth Workshop
on Tools for System Design and Verification, Seiten 15-20.
Institut für Informatik, Universität Augsburg, Juni 2002.
Report 2002-11.
|
|
[61]
|
Partsch, H., W. Schulte und T. Vullinghs:
Ultra: A Learn System for the Interactive Manipulation of Functional
Programs.
In: Cengarle, V. (Herausgeber):
Requirements, Design, Correct Construction and Verification,
Band 11 der Reihe Softwaretechnik. Uni-Druck,
2000.
|
|
[60]
|
Vullinghs, T., W. Schulte und H. Partsch:
System Support for the Interactive Transformation of Functional Programs.
In: Proceedings of the Software Transformation Systems
1999 (STS'99) Workshop, Los Angeles, 1999.
|
|
[59]
|
Partsch, H.: Requirements-Engineering systematisch - Modellbildung
für softwaregestützte Systeme.
Springer-Verlag, 1998.
|
|
[58]
|
Achatz, K. und H. Partsch: A Powerful
Transformation Rule, its Applications and Variants.
In: Proceedings of the 50th meeting of the IFIP
Working Conference on Algorithmic Language and Calculi and IFIP Working Group
2.1, Le Bischenberg, France, 1997.
|
|
[57]
|
Achatz, K. und H. Partsch: From Descriptive
Specifications to Operational ones: A Powerful Transformation Rule, its
Applications and Variants.
Technischer Bericht 96-13, Universität Ulm, 1996.
|
|
[56]
|
Boiten, E. A., A. M. Geerling und H. A. Partsch:
Transformational derivation of (parallel) programs using skeletons.
In: Proceedings of the ERCIM Workshop on Development
and Transformation of Programs, INRIA, Nancy, November 1993.
Auch in: Proceedings of Computing Science in the Netherlands.
|
|
[55]
|
Möller, B., H. Partsch und S. Schuman (Herausgeber): Formal Program Development: IFIP TC2
State-of-the-Art Report, Band 755 der Reihe
Lecture Notes in Computer Science.
Springer-Verlag, 1993.
|
|
[54]
|
Partsch, H.: Some Experiments in Transformaing Towards Parallel
Executability.
In: Paige, R., J. Reif und
R. Wachters (Herausgeber): Parallel Algorithm Derviation and
Program Transformation. Kluwer Academic Publishers, 1993.
|
|
[53]
|
Partsch, H.: Formal Problem Specification on an Algebraic Basis.
In: Möller, B., H. Partsch und
S. Schuman (Herausgeber): Formal Program Development: IFIP TC2
State-of-the-Art Report, Band 755 der Reihe
Lecture Notes in Computer Science, Seiten 183-224.
Springer-Verlag, 1993.
|
|
[52]
|
Boiten, E. A., M. G. J. van den Brand, N. W. P. van Diepen,
C. H. A. Koster, H. A. Partsch und N. Völker:
USTOPIA Requirements: Thoughts on a User-friendly System for
Transformation Of Programs In Abstracto.
In: Periodoca Polytechnica Ser. El. Eng.,
Band 35, Seiten 101-123. TU Budapest, 1992.
|
|
[51]
|
Boiten, E. A., H. A. Partsch, D. Tuijnman und
N. Völker: How to Produce Correct Software: An Introduction to Formal
Specification and Program Development by Transformations.
The Computer Journal, 35(6):547-554, 1992.
|
|
[50]
|
Partsch, H.: Reusability of Transformational Developments.
In: Broy, M. (Herausgeber): Informatik und
Mathematik. Springer-Verlag, 1992.
|
|
[49]
|
Diepen, N. W. P. van und H. Partsch: Formalizing
Informal Requirements: Some Aspects.
In: Bergstra, J. A. und L. M. G.
Feijs (Herausgeber): Algebraic Methods II: Theory, Tools and
Applications, Band 490 der Reihe Lecture Notes
in Computer Science, Seiten 7-28. Springer-Verlag, 1991.
|
|
[48]
|
Partsch, H.: Requirements Engineering.
Oldenbourg, 1991.
|
|
[47]
|
Partsch, H.: Mehrere Beiträge.
In: Schneider, H. J. (Herausgeber):
Lexikon der Informatik und Datenverarbeitung. Oldenbourg, 1991.
Dritte Auflage 1991, vierte Auflage 1995.
|
|
[46]
|
Partsch, H. und E. A. Boiten: A Note on Similarity
of Specifications and Reusability of Transformational Developments.
In: Möller, B. (Herausgeber): Constructing
Programs from Specifications, Seiten 71-89. North-Holland, 1991.
|
|
[45]
|
Partsch, H. und N. Völker: Another Case Study on
Reusability of Transformational Developments Pattern Matching According to
Knuth, Morris, and Pratt.
In: Broy, M. und M. Wirding (Herausgeber): Methods of Programming, Band 541
der Reihe Lecture Notes in Computer Science,
Seiten 35-48. Springer-Verlag, 1991.
|
|
[44]
|
Partsch, H.: Specification and Transformation of Programs: A Formal
Approach to Software Development.
Springer-Verlag, 1990.
|
|
[43]
|
Partsch, H. und F. A. Stomp: A Fast Pattern
Matching Algorithm Derived by Transformational and Assertional Reasoning.
Formal Aspects of Computing, 2(2):109-122, 1990.
|
|
[42]
|
Bauer, F. L., B. Möller, H. Partsch und
P. Pepper: Formal Program Construction by Transformations:
Computer-Aided Intuition-Guided Programming.
IEEE Transactions on Software Engineering, 15(2):165-180, 1989.
|
|
[41]
|
Partsch, H.: From Informal Requirements to a Running Program: a Case
Study in Algebraic Specification and Transformational Programming.
Science of Computer Programming, 11(3):263-297, 1989.
|
|
[40]
|
Partsch, H.: Algebraic Specification: a Step Towards Future Software
Engineering.
In: Wirsing, M. und J. A. Bergstra (Herausgeber): Algebraic Methods: Theory, Tools and Applications,
Band 394 der Reihe Lecture Notes in Computer
Science, Seiten 7-30. Springer-Verlag, 1989.
|
|
[39]
|
Bauer, F. L., H. Ehler, A. Horsch, B. Möller,
H. Partsch, O. Paukner und P. Pepper: The Munich
Project CIP: Volume II: The transformation System CIP-S, Band 292 der Reihe Lecture Notes in Computer Science.
Springer-Verlag, 1987.
|
|
[38]
|
Kühnel, B., H. Partsch und K.-P. Reinshagen:
Requirements Engineering: Versuch einer Begriffsklärung.
Informatik-Spektrum, 10(6):334-335, 1987.
Auch in: Schmitz, P. and Timm, M. and Windfuhr, M.: Requirements
Engineering '87, GMD-Studien 121, 1987.
|
|
[37]
|
Möller, B. und H. Partsch: Formal Specification of
Large-Scale Software: Objectives, Design Decisions, and Experiences in a
Concrete Software Project.
In: Meertens, L. G. L. T. (Herausgeber):
Program Specification and Transformation. North-Holland, 1987.
|
|
[36]
|
Partsch, H.: Requirements Engineering und Formalisierung:
Problematik, Ansatz und erste Erfahrungen.
In: Schmitz, P., M. Timm und
M. Windfuhr (Herausgeber): Requirements Engineering '87,
Nummer 121 in GMD-Studien, 1987.
|
|
[35]
|
Partsch, H.: Formale Anforderungsdefinition: Algebraische
Spezifikation funktionaler Anforderungen.
In: Software-Entwurfsmethoden. VDI-Bildungswerk,
1987.
|
|
[34]
|
Partsch, H. und B. Möller: Konstruktion korrekter
Programme durch Transformation.
Informatik-Spektrum, 10(6):209-323, 1987.
|
|
[33]
|
Partsch, H.: Transformational Program Development in a Particular
Problem Domain.
Science of Computer Programming, 7(2):99-241, 1986.
|
|
[32]
|
Partsch, H.: Algebraic Requirements Definition: a Case Study.
Technology and Science of Informatics, 5(1):21-36, 1986.
|
|
[31]
|
Partsch, H. und P. Pepper: Program Transformations
Expressed by Algebraic Type Manipulations.
Technology and Science of Informatics, 5(3):197-212, 1986.
|
|
[30]
|
Bauer, F. L., R. Berghammer, M. Broy, W. Dosch,
F. Geiselbrechtinger, R. Gnatz, E. Hangel, W. Hesse,
B. Krieg-Brückner, A. Laut, T. A. Matzner, B. Möller,
F. Nickl, H. Partsch, P. Pepper, K. Samelson,
M. Wirsing und H. Wössner: The Munich Project CIP:
Volume I: The Wide Spectrum Language CIP-L, Band 183
der Reihe Lecture Notes in Computer Science.
Springer-Verlag, 1985.
|
|
[29]
|
Partsch, H.: Anforderungsdefinition.
LOGIN, 5(3):38-39, 1985.
|
|
[28]
|
Partsch, H.: The CIP Transformation System.
In: Pepper, P. (Herausgeber): Program
Transformations and Programming Environments, Seiten 305-322.
Springer-Verlag, 1984.
|
|
[27]
|
Partsch, H.: Transformational Derivation of Parsing Algorithms
Executable on Parallel Architectures.
In: Ammann, U. (Herausgeber):
Programmiersprachen und Programmentwicklung: Achte GI-Fachtagung, Zürich,
Nummer 77 in Informatik-Fachberichte.
Springer-Verlag, 1984.
|
|
[26]
|
Partsch, H.: Structuring Transformational Developments: a Case Study
Based on Earley's Recognizer.
Science of Computer Programming, 4(1):17-44, 1984.
|
|
[25]
|
Partsch, H.: Algebraische Anforderungsdefinition.
In: Software-Entwurfsmethoden. VDI-Bildungswerk,
1984.
|
|
[24]
|
Partsch, H.: An Exercise in the Transformational Derivation of an
Efficient Program by Joint Development of Control and Data Structure.
Science of Computer Programming, 3(1):1-35, 1983.
|
|
[23]
|
Partsch, H.: Comments on Dimitrov.
In: Wedde, H. (Herausgeber): Adequate
Modelling of Systems, Seiten 78-80. Springer-Verlag, 1983.
|
|
[22]
|
Partsch, H.: On the Use of Algebraic Methods for Formal Requirements
Definitions.
In: Krönig, D. und G. Hommel (Herausgeber): Requirements Engineering, Nummer 74
in Informatik-Fachberichte, Seiten 138-158.
Springer-Verlag, 1983.
|
|
[21]
|
Partsch, H. und P. Pepper: Abstract Data Types as a
Tool for Requirements Engineering.
In: Krönig, D. und G. Hommel (Herausgeber): Requirements Engineering, Nummer 74
in Informatik-Fachberichte, Seiten 42-55.
Springer-Verlag, 1983.
|
|
[20]
|
Partsch, H. und R. Steinbrüggen: Program
Transformation Systems.
Computing Surveys, 15(3):199-236, September 1983.
Auch in: Agresti, W.: New Paradigms for Software Development, pp.
189-226, IEEE, 1986. Auch in: Arnold, R. S.: Software Restructuring, pp.
324-361, IEEE, 1986. Japanische Übersetzung in: bit, pp. 73-106, 1985.
|
|
[19]
|
Wirsing, M., P. Pepper, H. Partsch, W. Dosch
und M. Broy: On Hierarchies of Abstract Data Types.
Acta Informatica, 20:1-33, 1983.
|
|
[18]
|
Bauer, F. L. und H. Wössner: Algorithmic Language
and Program Development.
Springer-Verlag, 1982.
In collaboration with H. Partsch and P. Pepper.
|
|
[17]
|
Laut, A. und H. Partsch: Tuning Algebraic
Specifications by Type Merging.
In: 5th International Symposium on Programming, Turin,
Italy, Band 137 der Reihe Lecture Notes in
Computer Science, Seiten 283-304. Springer-Verlag, 1982.
|
|
[16]
|
Partsch, H. und A. Laut: From Requirements to Their
Formalization: a Case Study on the Stepwise Development of Algebraic
Specifications.
In: Wössner, H. (Herausgeber):
Programmiersprachen und Programmentwicklung: Siebte Fachtagung, München,
Nummer 53 in Informatik-Fachberichte,
Seiten 117-132. Springer-Verlag, 1982.
|
|
[15]
|
Pepper, P., M. Broy, F. L. Bauer, H. Partsch,
W. Dosch und M. Wirsing: Abstrakte Datentypen: die
algebraische Definition von Rechenstrukturen.
Informatik-Spektrum, 5(2):107-119, 1982.
|
|
[14]
|
Bauer, F. L., M. Broy, W. Dosch, R. Gnatz,
B. Krieg-Brückner, A. Laut, M. Luckmann, T. A. Matzner,
B. Möller, H. Partsch, P. Pepper, K. Samelson,
R. Steinbrüggen, M. Wirsing und H. Wössner:
Programming in a Wide Spectrum Language: a Collection of Examples.
Science of Computer Programming, 1(1-2):73-114, 1981.
|
|
[13]
|
Bauer, F. L. und H. Wössner: Algorithmische Sprache
und Programmentwicklung.
Springer-Verlag, 1981.
Unter Mitarbeit von H. Partsch und P. Pepper.
|
|
[12]
|
Bauer, F. L., M. Broy, H. Partsch und
P. Pepper: Das aktuelle Schlagwort: Programmtransformationen.
Informatik-Spektrum, 3(3):192-193, 1980.
|
|
[11]
|
Broy, M., H. Partsch, P. Pepper und
M. Wirsing: Semantic Relations in Programming Languages.
In: Lavington, S. H. (Herausgeber):
Information Processing 80: Proceedings of the IFIP Congress 1980, Melbourne,
Australia, Seiten 101-106. North-Holland, 1980.
|
|
[10]
|
Bauer, F. L., M. Broy, R. Gnatz, W. Hesse,
B. Krieg-Brückner, H. Partsch, P. Pepper und
H. Wössner: Towards a Wide Spectrum Language to Support Program
Specification and Program Development.
In: Bauer, F. L. und M. Broy (Herausgeber): Program Construction, Band 69
der Reihe Lecture Notes in Computer Science,
Seiten 543-552. Springer-Verlag, 1979.
|
|
[9]
|
Bauer, F. L., M. Broy, H. Partsch, P. Pepper
und H. Wössner: Systematics of Transformation Rules.
In: Bauer, F. L. und M. Broy (Herausgeber): Program Construction, Band 69
der Reihe Lecture Notes in Computer Science,
Seiten 273-289. Springer-Verlag, 1979.
|
|
[8]
|
Bauer, F. L. und H. Partsch: Wegweiser für den
Informatikunterricht: Funktionale Programmierung.
In: Weinhart, K. (Herausgeber): Informatik
im Unterricht: eine Handreichung, Band 2 der Reihe Mathematik: Didaktik und Unterrichtspraxis, Seiten 115-178.
Oldenbourg, 1979.
|
|
[7]
|
Broy, M., W. Dosch, H. Partsch, P. Pepper
und M. Wirsing: Existential Quantifiers in Abstract
Data Types.
In: Maurer, H. A. (Herausgeber): Automata,
Languages and Programming: 6th Colloquium, Graz, Austria,
Band 71 der Reihe Lecture Notes in Computer
Science, Seiten 73-87. Springer-Verlag, Juli 1979.
|
|
[6]
|
Partsch, H. und M. Broy: Examples for Changes of
Types and Object Structures.
In: Bauer, F. L. und M. Broy (Herausgeber): Program Construction, Band 69
der Reihe Lecture Notes in Computer Science,
Seiten 421-463. Springer-Verlag, 1979.
|
|
[5]
|
Wössner, H., P. Pepper, H. Partsch und F. L.
Bauer: Special Transformation Techniques.
In: Bauer, F. L. und M. Broy (Herausgeber): Program Construction, Band 69
der Reihe Lecture Notes in Computer Science,
Seiten 290-321. Springer-Verlag, 1979.
|
|
[4]
|
Bauer, F. L., M. Broy, R. Gnatz, W. Hesse,
B. Krieg-Brückner, H. Partsch, P. Pepper und
H. Wössner: Towards a Wide Spectrum Language to Support Program
Specification and Program Development.
SIGPLAN Notices, 13(12):15-24, 1978.
|
|
[3]
|
Pepper, P., H. Partsch, H. Wössner und F. L.
Bauer: A Transformational Approach to Programming.
In: Robinet, B. (Herausgeber): Program
Transformations: Proceedings of the 3rd International Symposium on
Programming, Paris, Seiten 248-262. Dunod, 1978.
|
|
[2]
|
Bauer, F. L., M. Broy, H. Partsch, P. Pepper
und H. Wössner: Techniques for Program Development.
In: Software Engineering Techniques,
Band 34 der Reihe Infotech State of the Art
Report, Seiten 25-50. Infotech International, Maidenhead, 1977.
|
|
[1]
|
Partsch, H. und P. Pepper: A Family of Rules for
Recursion Removal.
Information Processing Letters, 5(6):174-177, Dezember 1976.
|
Teaching.
Prof. Dr. Helmuth Partsch.
Academic CV.