Herbert Klaeren

According to our database, Herbert Klaeren authored at least 30 papers between 1975 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Graph-Walk-based Selective Regression Testing of Web Applications Created with Google Web Toolkit.

Matthias Hirzel, Herbert Klaeren

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016

Prioritizing Regression Tests for Desktop and Web-Applications based on the Execution Frequency of Modified Code.

Matthias Hirzel, Jonathan Immanuel Brachthäuser, Herbert Klaeren

Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Lugano, Switzerland, August 29, 2016

Code coverage for any kind of test in any kind of transcompiled cross-platform applications.

Matthias Hirzel, Herbert Klaeren

Proceedings of the 2nd International Workshop on User Interface Test Automation, 2016

2008

Htdp and dmda in the battlefield: a case study in first-year programming instruction.

Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Michael Sperber, Marcus Crestani, Herbert Klaeren, Eric Knauel

Proceedings of the 2008 international workshop on Functional and declarative programming in education, 2008

2007

Die Macht der Abstraktion - Einführung in die Programmierung.

Herbert Klaeren, Michael Sperber

Leitfäden der Informatik, Teubner, ISBN: 978-3-8351-0155-5, 2007

2000

Aspect Composition Applying the Design by Contract Principle.

Herbert Klaeren, Elke Pulvermüller, Awais Rashid, Andreas Speck

Proceedings of the Generative and Component-Based Software Engineering, 2000

1999

Aspects in Distributed Environments.

Elke Pulvermüller, Herbert Klaeren, Andreas Speck

Proceedings of the Generative and Component-Based Software Engineering, 1999

Informatik als Praxis und Wissenschaft.

Christiane Floyd, Herbert Klaeren

Tübinger Studientexte Informatik und Gesellschaft, Wilhelm Schickard Institut für Informatik, 1999

Informatik und Geschlechterdifferenz.

Britta Schinzel, Herbert Klaeren

Tübinger Studientexte Informatik und Gesellschaft, Wilhelm Schickard Institut für Informatik, 1999

1997

Executable Assertions and Separate Compilation.

K. John Gough, Herbert Klaeren

Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 1997

Distributed partial evaluation.

Michael Sperber, Peter Thiemann, Herbert Klaeren

Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, 1997

Informatics and Society: A Curriculum for Distance Education.

Herbert Klaeren, Christiane Floyd, Friedrich Diestelmeier

Proceedings of the Foundations of Computer Science: Potential - Theory, 1997

1994

Probleme des Software-Engineering, Die Programmiersprache - Werkzeug des Softwareentwicklers.

Herbert Klaeren

Inform. Spektrum, 1994

1992

Software Engineering und formale Verfahren.

Herbert Klaeren

Proceedings of the Software Engineering im Unterricht der Hochschulen, 1992

1990

A Clean Modula-2 Interface to Abstract Data Types.

Herbert Klaeren, Peter Thiemann

Struct. Program., 1990

Embedding functionally described abstract data types into MODULA-2 programs.

Herbert Klaeren

Microprocess. Microsystems, 1990

1987

Compiling Fibonacci-Like Recursion.

Klaus Indermark, Herbert Klaeren

ACM SIGPLAN Notices, 1987

Efficient Implementation of Structural Recursion.

Klaus Indermark, Herbert Klaeren

Proceedings of the Fundamentals of Computation Theory, 1987

Efficient Implementation of an Algebraic Specification Language.

Herbert Klaeren, Klaus Indermark

Proceedings of the Algebraic Methods: Theory, 1987

1984

A Contructive Method for Abstract Algebraic Software Specification.

Herbert Klaeren

Theor. Comput. Sci., 1984

1983

Some Thoughts on Practical Usefulness of Operational and Initial Semantics for Algebraic Software Specifications.

Herbert Klaeren

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

Algebraische Spezifikation - eine Einführung.

Herbert Klaeren

Springer, ISBN: 978-3-540-12256-2, 1983

1982

Parameterized Software Specifications with Inductively Defined Operations.

Herbert Klaeren

Proceedings of the Proceedings 1st Workshop on Abstract Data Type, 1982

1981

Computable Algebras, Word Problems and Canonical Term Algebras.

Herbert Klaeren, Martin Schulz

Proceedings of the Theoretical Computer Science, 1981

The Development of an Interpreter by Means of Abstract Algebraic Software Specifications.

Herbert Klaeren, Heiko Petzsch

Proceedings of the Formalization of Programming Concepts, 1981

The SRDL Specification Experiment.

Herbert Klaeren

Proceedings of the Program Specification, 1981

Recursive Definitions of Operations in Universal Algebras.

Herbert Klaeren

Proceedings of the Program Specification, 1981

1980

An abstract software specification technique based on structural recursion.

Herbert Klaeren

ACM SIGPLAN Notices, 1980

A Simple Class of Algorithmic Specifications for Abstract Software Modules.

Herbert Klaeren

Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

1975

Potenzkaegorien und ihre Anwendung auf den Beweis von Programmeigenschaften.

Herbert Klaeren

Proceedings of the Automata Theory and Formal Languages, 1975