Herbert Klaeren

30 papers B 2C 1Journal 6Unranked 17
YearRankTypeTitle / Venue / Authors
2016 — conf
Code coverage for any kind of test in any kind of transcompiled cross-platform applications.
INTUITEST@ISSTA
Matthias Hirzel, Herbert Klaeren
2016 C conf
Graph-Walk-based Selective Regression Testing of Web Applications Created with Google Web Toolkit.
Software Engineering (Workshops)
Matthias Hirzel, Herbert Klaeren
2016 — conf
Prioritizing Regression Tests for Desktop and Web-Applications based on the Execution Frequency of Modified Code.
PPPJ
Matthias Hirzel, Jonathan Immanuel Brachthäuser, Herbert Klaeren
2008 — conf
Htdp and dmda in the battlefield: a case study in first-year programming instruction.
FDPE@ICFP
Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Michael Sperber, Marcus Crestani, Herbert Klaeren, Eric Knauel
2007 — book
Die Macht der Abstraktion - Einführung in die Programmierung.
Herbert Klaeren, Michael Sperber
2000 — conf
Aspect Composition Applying the Design by Contract Principle.
GCSE
Herbert Klaeren, Elke Pulvermüller, Awais Rashid, Andreas Speck
1999 — conf
Aspects in Distributed Environments.
GCSE
Elke Pulvermüller, Herbert Klaeren, Andreas Speck
1999 — book
Informatik als Praxis und Wissenschaft.
Christiane Floyd, Herbert Klaeren
1999 — book
Informatik und Geschlechterdifferenz.
Britta Schinzel, Herbert Klaeren
1997 — conf
Distributed partial evaluation.
PASCO
Michael Sperber, Peter Thiemann, Herbert Klaeren
1997 — conf
Executable Assertions and Separate Compilation.
JMLC
K. John Gough, Herbert Klaeren
1997 — conf
Informatics and Society: A Curriculum for Distance Education.
Foundations of Computer Science: Potential - Theory - Cognition
Herbert Klaeren, Christiane Floyd, Friedrich Diestelmeier
1994 J jnl
Probleme des Software-Engineering, Die Programmiersprache - Werkzeug des Softwareentwicklers.
Inform. Spektrum
Herbert Klaeren
1992 — conf
Software Engineering und formale Verfahren.
SEUH
Herbert Klaeren
1990 J jnl
A Clean Modula-2 Interface to Abstract Data Types.
Struct. Program.
Herbert Klaeren, Peter Thiemann
1990 J jnl
Embedding functionally described abstract data types into MODULA-2 programs.
Microprocess. Microsystems
Herbert Klaeren
1987 J jnl
Compiling Fibonacci-Like Recursion.
ACM SIGPLAN Notices
Klaus Indermark, Herbert Klaeren
1987 B conf
Efficient Implementation of Structural Recursion.
FCT
Klaus Indermark, Herbert Klaeren
1987 — conf
Efficient Implementation of an Algebraic Specification Language.
Algebraic Methods
Herbert Klaeren, Klaus Indermark
1984 J jnl
A Contructive Method for Abstract Algebraic Software Specification.
Theor. Comput. Sci.
Herbert Klaeren
1983 — book
Algebraische Spezifikation - eine Einführung.
Herbert Klaeren
1983 — conf
Some Thoughts on Practical Usefulness of Operational and Initial Semantics for Algebraic Software Specifications.
ADT
Herbert Klaeren
1982 — conf
Parameterized Software Specifications with Inductively Defined Operations.
ADT
Herbert Klaeren
1981 — conf
Computable Algebras, Word Problems and Canonical Term Algebras.
Theoretical Computer Science
Herbert Klaeren, Martin Schulz
1981 — conf
Recursive Definitions of Operations in Universal Algebras.
Program Specification
Herbert Klaeren
1981 — conf
The Development of an Interpreter by Means of Abstract Algebraic Software Specifications.
ICFPC
Herbert Klaeren, Heiko Petzsch
1981 — conf
The SRDL Specification Experiment.
Program Specification
Herbert Klaeren
1980 B conf
A Simple Class of Algorithmic Specifications for Abstract Software Modules.
MFCS
Herbert Klaeren
1980 J jnl
An abstract software specification technique based on structural recursion.
ACM SIGPLAN Notices
Herbert Klaeren
1975 — conf
Potenzkaegorien und ihre Anwendung auf den Beweis von Programmeigenschaften.
Automata Theory and Formal Languages
Herbert Klaeren