Auflistung P227 - Software Engineering 2014 nach Titel - Digitale Bibliothek

1st collaborative workshop on Evolution and Maintenance of Long-Living Systems (EMLS'14)

Heinrich, Robert; Jung, Reiner; Konersmann, Marco; Ruhroth, Thomas; Schmieders, Eric

203-204

4. Workshop zur Zukunft der Entwicklung softwareintensiver eingebettetet Systeme (ENVISION2020)

Bender, Ottmar; Böhm, Wolfgang; Henkler, Stefan; Sander, Oliver; Vogelsang, Andreas; Weyer, Thorsten

213-214

7. Arbeitstagung Programmiersprachen (ATPS 2014)

Stolz, Volker; Trancón Widemann, Baltasar

205-206

ACCD – Access Control Class Diagram

Otto, Martin; Wagner, Werner

131-136

Agilität braucht Architektur!

Weitzel, Balthasar; Naab, Matthias; Scheffe, Mathias

153-158

AGREEMENT – An approach for agile rationale management

Gluchow, Michaela

225-228

Architecture-based reliability prediction with the Palladio Component Model

Brosch, Franz; Koziolek, Heiko; Buhnova, Barbora; Reussner, Ralf

31-32

Architecture-driven incremental code generation for increased developer efficiency

Brunnlieb, Malte; Poetzsch-Heffter, Arnd

143-148

C nach Eiffel: Automatische Übersetzung und objektorientierte Umstrukturierung von Legacy Quelltext

Trudel, Marco

83-84

Categorizing bugs with social networks: A case study on four Open Source software communities

Scholtes, Ingo; Serrano Zanetti, Marcelo; Tessone, Claudio Juan

27-28

CeMoSS – Certification and model-driven development of safe and secure software

Huhn, Michaela; Gerken, Stefan; Rudolph, Carsten

207-208

Concolic testing of concurrent programs

Farzan, Azadeh; Holzer, Andreas; Razavi, Niloofar; Veith, Helmut

101-102

Detecting deadlocks in programs with data-centric synchronization

Hammer, Christian

43-44

Efficient state merging in symbolic execution (extended abstract)

Kuznetsov, Volodymyr; Kinder, Johannes; Bucur, Stefan; Candea, George

45-46

Effiziente Erstellung von Software-Factories

Leonhard, Ralf; Pews, Gerhard; Spielmann, Simon

195-196

FASTLane: Software transactional memory optimized for low numbers of threads

Wamhoff, Jons-Tobias; Rivière; Muller, Gilles; Fetzer, Christof; Felber, Pascal

35-36

Flexible access control for JavaScript

Hammer, Christian

79-80

Ein formal fundierter Entscheidungs-Ansatz zur Behandlung von Technical Debt

Schmid, Klaus

59-60

Formal software verification for the migration of embedded code from single- to multicore systems

Ehlers, Thorsten; Nowotka, Dirk; Sieweck, Philipp; Traub, Johannes

137-142

Früherkennung fachlicher und technischer Projektrisiken mit dem Interaction Room

Grapenthin, Simon; Book, Matthias; Gruhn, Volker

221-222

Gesamter Bestand

Diese Sammlung

Auflistung P227 - Software Engineering 2014 nach Titel