Concepedia

H. Partsch

HP

8

Publications

420

Citations

8

H-Index

1976

Active since

Affiliations

Technical University of Munich(Current)

Radboud University Nijmegen

H. Partsch is an author at Technical University of Munich specializing in engineering, software engineering, and formal methods.

Top concepts

EngineeringFormal MethodsSoftware EngineeringSoftware DesignComputer ScienceProgram AnalysisAutomated ReasoningDesignSoftware AnalysisProgram Transformation

Publications per year

1976–1990

8

Publications

8

Formal program construction by transformations-computer-aided, intuition-guided programming

Friedrich L. Bauer, Bernhard Möller, H. Partsch et al. · IEEE Transactions on Software Engineering · 1989 · 139 citations

Engineering, Software Systems, Software Engineering +21

On hierarchies of abstract data types

Martin Wirsing, Peter Pepper, H. Partsch et al. · Acta Informatica · 1983 · 133 citations

Abstract Data Types, Engineering, Data Type +5

Towards a wide spectrum language to support program specification and program development

Friedrich L. Bauer, Manfred Broy, Rupert Gnatz et al. · ACM SIGPLAN Notices · 1978 · 51 citations

Software Maintenance, Engineering, Software Engineering +21

Programming in a wide spectrum language: a collection of examples

Friedrich L. Bauer, Manfred Broy, Walter Dosch et al. · Science of Computer Programming · 1981 · 37 citations

Wide Spectrum Language, Programming Language Theory, Declarative Programming +13

Transformational program development in a particular problem domain

H. Partsch · Science of Computer Programming · 1986 · 20 citations

Software Maintenance, Engineering, Program Analysis +10

Rows per page

1–5 of 8