TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Springe zu: 2015 | 2007
Anzahl der Einträge: 3.

2015

Amann, Sven ; Beyer, Stefanie ; Kevic, Katja ; Gall, Harald
Hrsg.: Meyer, Bertrand ; Nordio, Martin (2015)
Software Mining Studies: Goals, Approaches, Artifacts, and Replicability.
In: Advances in the theory and practice of software engineering - LASER 2013-2014
Buchkapitel, Bibliographie

Proksch, Sebastian ; Bauer, Veronika ; Murphy, Gail C.
Hrsg.: Meyer, Bertrand ; Nordio, Martin (2015)
How to Build a Recommendation System for Software Engineering.
In: Advances in the theory and practice of software engineering - LASER 2013-2014
Buchkapitel, Bibliographie

2007

Engel, Christian ; Hähnle, Reiner
Hrsg.: Meyer, Bertrand ; Gurevich, Yuri (2007)
Generating Unit Tests from Formal Proofs.
Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers.
doi: 10.1007/978-3-540-73770-4_10
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Tue Mar 26 04:37:26 2024 CET generiert.