Herbert Klaeren - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 30 from 30

2016

Graph-Walk-based Selective Regression Testing of Web Applications Created with Google Web ToolkitMatthias Hirzel, Herbert Klaeren. se 2016: 55-69 [doi]

Code coverage for any kind of test in any kind of transcompiled cross-platform applicationsMatthias Hirzel, Herbert Klaeren. ISSTA 2016: 1-10 [doi]

Prioritizing Regression Tests for Desktop and Web-Applications based on the Execution Frequency of Modified CodeMatthias Hirzel, Jonathan Immanuel Brachthäuser, Herbert Klaeren. PPPJ 2016: 11 [doi]

2008

Htdp and dmda in the battlefield: a case study in first-year programming instructionAnnette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Michael Sperber, Marcus Crestani, Herbert Klaeren, Eric Knauel. ICFP 2008: 1-12 [doi]

2007

Die Macht der Abstraktion - Einführung in die ProgrammierungHerbert Klaeren, Michael Sperber. Leitfäden der Informatik, Teubner, 2007.

2000

Aspect Composition Applying the Design by Contract PrincipleHerbert Klaeren, Elke Pulvermüller, Awais Rashid, Andreas Speck. gcse 2001: 57-69 [doi]

1999

Informatik als Praxis und WissenschaftChristiane Floyd, Herbert Klaeren. Tübinger Studientexte Informatik und Gesellschaft, Wilhelm Schickard Institut für Informatik, 1999.

Aspects in Distributed EnvironmentsElke Pulvermüller, Herbert Klaeren, Andreas Speck. gcse 2000: 37-48 [doi]

Informatik und GeschlechterdifferenzBritta Schinzel, Herbert Klaeren. Tübinger Studientexte Informatik und Gesellschaft, Wilhelm Schickard Institut für Informatik, 1999.

1997

Executable Assertions and Separate CompilationK. John Gough, Herbert Klaeren. jmlc 1997: 41-52

Informatics and Society: A Curriculum for Distance EducationHerbert Klaeren, Christiane Floyd, Friedrich Diestelmeier. BIRTHDAY 1997: 69-78 [doi]

Distributed partial evaluationMichael Sperber, Peter Thiemann, Herbert Klaeren. cap 1997: 80-87 [doi]

1994

Probleme des Software-Engineering, Die Programmiersprache - Werkzeug des SoftwareentwicklersHerbert Klaeren. insk, 17(1):21-28, 1994.

1992

Software Engineering und formale VerfahrenHerbert Klaeren. seuh 1992: 48-50

1990

A Clean Modula-2 Interface to Abstract Data TypesHerbert Klaeren, Peter Thiemann. stp, 11(2):69-78, 1990.

Embedding functionally described abstract data types into MODULA-2 programsHerbert Klaeren. mam, 14(3):161-166, 1990. [doi]

1987

Efficient Implementation of Structural RecursionKlaus Indermark, Herbert Klaeren. fct 1987: 204-213

Compiling Fibonacci-Like RecursionKlaus Indermark, Herbert Klaeren. SIGPLAN, 22(6):101-108, 1987.

Efficient Implementation of an Algebraic Specification LanguageHerbert Klaeren, Klaus Indermark. am 1989: 69-90

1984

A Contructive Method for Abstract Algebraic Software SpecificationHerbert Klaeren. TCS, 30:139-204, 1984.

1983

Some Thoughts on Practical Usefulness of Operational and Initial Semantics for Algebraic Software SpecificationsHerbert Klaeren. adt 1983:

Algebraische Spezifikation - eine EinführungHerbert Klaeren. Springer, 1983.

1982

Parameterized Software Specifications with Inductively Defined OperationsHerbert Klaeren. adt 1982:

1981

Recursive Definitions of Operations in Universal AlgebrasHerbert Klaeren. FM 1982: 268-281

The SRDL Specification ExperimentHerbert Klaeren. FM 1982: 282-293

The Development of an Interpreter by Means of Abstract Algebraic Software SpecificationsHerbert Klaeren, Heiko Petzsch. icfpc 1981: 335-346

Computable Algebras, Word Problems and Canonical Term AlgebrasHerbert Klaeren, Martin Schulz. tcs 1981: 203-213

1980

A Simple Class of Algorithmic Specifications for Abstract Software ModulesHerbert Klaeren. mfcs 1980: 362-374

An abstract software specification technique based on structural recursionHerbert Klaeren. SIGPLAN, 15(3):28-34, 1980. [doi]

1975

Potenzkaegorien und ihre Anwendung auf den Beweis von ProgrammeigenschaftenHerbert Klaeren. automata 1975: 252-258

Sign in or sign up to see more results.

runs on WebDSL