default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware Engineering 2014: Kiel, Germany
- Wilhelm Hasselbring, Nils Christian Ehmke:
Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014, Kiel, Germany. LNI P-227, GI 2014, ISBN 978-388579-621-3
Wissenschaftliches Programm
- Andreas Zeller:
Vorwort Wissenschaftliches Programm der SE 2014. 21-22
Software Analytics
- Thomas Zimmermann, Nachiappan Nagappan:
Software Analytics for Digital Games. 23-24 - Widura Schwittek, Stefan Eicker:
A Study on Third Party Component Reuse in Java Enterprise Open Source Software. 25-26 - Ingo Scholtes, Marcelo Serrano Zanetti, Claudio Juan Tessone, Frank Schweitzer:
Categorizing Bugs with Social Networks: A Case Study on Four Open Source Software Communities. 27-28 - Walid Maalej, Martin P. Robillard:
Patterns of Knowledge in API Reference Documentation. 29
Quality of Service
- Franz Brosch, Heiko Koziolek, Barbora Buhnova, Ralf H. Reussner:
Architecture-Based Reliability Prediction with the Palladio Component Model. 31-32 - Norbert Siegmund, Sergiy S. Kolesnikov, Christian Kästner, Sven Apel
, Don S. Batory, Marko Rosenmüller, Gunter Saake:
Performance Prediction in the Presence of Feature Interactions. 33-34 - Jons-Tobias Wamhoff, Etienne Rivière, Gilles Muller, Christof Fetzer, Pascal Felber:
FastLane: Software Transactional Memory Optimized for Low Numbers of Threads. 35-36 - Lars Grunske, Ayman A. Amin:
Reactive vs. Proactive Detection of Quality of Service Problems. 37-38
Verification
- Antonio Filieri, Corina S. Pasareanu, Willem Visser:
Reliability Analysis in Symbolic Pathfinder: A brief summary. 39-40 - Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler:
Precision Reuse in CPAchecker. 41-42 - Christian Hammer:
Detecting Deadlock in Programs with Data-Centric Synchronization. 43-44 - Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea:
Efficient State Merging in Symbolic Execution. 45-46
Comprehension
- Tobias Roehm, Rebecca Tiarks, Rainer Koschke, Walid Maalej:
How Do Professional Developers Comprehend Software? 47 - Zoya Durdik, Ralf H. Reussner:
On the Appropriate Rationale for Using Design Patterns and Pattern Documentation. 49-50 - Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso, Patrick Senti:
Specification Patterns from Research to Industry: A Case Study in Service-Based Applications. 51-52 - Dominik Rost, Matthias Naab, Crescencio Lima, Christina von Flach G. Chavez:
Software Architecture Documentation for Developers: A Survey. 53-54
Evolution
- Vasilios Andrikopoulos:
On the (Compatible) Evolution of Services. 55-56 - Timo Kehrer:
Generierung konsistenzerhaltender Editierskripte im Kontext der Modellversionierung. 57-58 - Klaus Schmid:
Ein formal fundierter Entscheidungs-Ansatz zur Behandlung von Technical Debt. 59-60
Synthesis
- Gerd Kainz, Christian Buckl, Alois C. Knoll:
Tool Support for Integrated Development of Component-based Embedded Systems. 61-62 - Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Synthesis of Component and Connector Models from Crosscutting Structural Views. 63-64 - Thomas Thüm:
Modular Reasoning for Crosscutting Concerns with Contracts. 65-66 - Daniel Wonisch, Alexander Schremmer, Heike Wehrheim:
Programs from Proofs - Approach and Applications. 67-68
Modeling
- Stefan Wagner:
Software-Produktqualität modellieren und bewerten: Der Quamoco-Ansatz. 69-70 - Richard Pohl, Vanessa Stricker, Klaus Pohl:
Messung der Strukturellen Komplexität von Feature-Modellen. 71-72 - Robert Reicherdt, Sabine Glesner:
Methods of Model Quality in the Automotive Area. 73-74 - Lars Hamann, Martin Gogolla, Oliver Hofrichter:
Zur Integration von Struktur- und Verhaltensmodellierung mit OCL. 75-76
Software Architecture and Specification
- Aldeida Aleti, Barbora Buhnova, Lars Grunske, Anne Koziolek, Indika Meedeniya:
Software Architecture Optimization Methods: A Systematic Literature Review. 77-78 - Christian Hammer:
Flexible Access Control for JavaScript. 79-80
Static Analysis
- Eric Bodden, Társis Tolêdo, Márcio Ribeiro, Claus Brabrand, Paulo Borba, Mira Mezini:
SPLLIFT - Statically Analyzing Software Product Lines in Minutes Instead of Years. 81-82 - Marco Trudel:
C nach Eiffel: Automatische Übersetzung und objektorientierte Umstrukturierung von Legacy Quelltext. 83-84 - Ahmed Bouajjani, Egor Derevenetc, Roland Meyer:
Robustness against Relaxed Memory Models. 85-86 - Sebastian Eder, Maximilian Junker, Benedikt Hauptmann, Elmar Jürgens, Rudolf Vaas, Karl-Heinz Prommer:
How Much Does Unused Code Matter for Maintenance? 87-88
Specification
- Jan Jürjens, Kurt Schneider:
The SecReq approach: From Security Requirements to Secure Design while Managing Software Evolution. 89-90 - James J. Hunt, Maarten de Mol, Arend Rensink:
Noninvasive regelbasierte Graphtransformation für Java. 91-92 - Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young:
Second-Order Constraints in Dynamic Invariant Inference. 93-94
Testing
- Raphael Pham, Leif Singer, Olga Liskin, Fernando Marques Figueira Filho, Kurt Schneider:
Revisited: Testing Culture on a Social Coding Site. 95-96 - Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith:
Reusing Information in Multi-Goal Reachability Analyses. 97-98 - Alexander Wert, Jens Happe, Lucia Happe:
Supporting Swift Reaction: Automatically Uncovering Performance Problems by Systematic Experiments. 99-100 - Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith:
Concolic Testing of Concurrent Programs. 101-102
Software Engineering Ideen
- Bernd Brügge:
Vorwort Software Engineering Ideen Programm der SE 2014. 105-106
Mensch Maschine Interaktion
- Anke Tallig:
Sozial empathische Systeme coram publico. 107-112 - Marc Paul, Amelie Roenspieß, Tilo Mentler, Michael Herczeg:
The Usability Engineering Repository (UsER). 113-118
Tools
- David Georg Reichelt, Lars Braubach:
Sicherstellung von Performanzeigenschaften durch kontinuierliche Performanztests mit dem KoPeMe Framework. 119-124 - Oliver Siebenmarck:
Visualizing cross-tool ALM projects as graphs with the Open Service for Lifecycle Collaboration. 125-129 - Martin Otto Werner Wagner:
ACCD - Access Control Class Diagram. 131-136
Code Generierung und Verifikation
- Thorsten Ehlers, Dirk Nowotka, Philipp Sieweck, Johannes Traub:
Formal software verification for the migration of embedded code from single- to multicore systems. 137-142 - Malte Brunnlieb, Arnd Poetzsch-Heffter:
Architecture-driven Incremental Code Generation for Increased Developer Efficiency. 143-148
Technologietransferprogramm
- Ralf H. Reussner:
Vorwort Technologietransfer-Programm der SE 2014. 151
Transfer Softwarearchitektur
- Balthasar Weitzel, Matthias Naab, Mathias Scheffe:
Agilität braucht Architektur! 153-158 - Heiko Koziolek, Thomas Goldschmidt:
Tool-Driven Technology Transfer to Support Software Architecture Decisions. 159-164 - Benjamin Klatt, Klaus Krogmann, Michael Langhammer:
Individual Code Analyses in Practice. 165-170
Transferprozesse
- Stefan Hellfeld:
FZI House of Living Labs - interdisziplinärer Technologietransfer 2.0. 171-176 - Andreas Metzger, Philipp Schmidt, Christian Reinartz, Klaus Pohl:
Management operativer Logistikprozesse mit Future-Internet-Leitständen: Erfahrungen aus dem LoFIP-Projekt. 177-182 - Steffen Kruse, Philipp Gringel:
Ein gutes Bild erfordert mindestens 1000 Worte - Daten-Visualisierungen in der Praxis. 183-188
Software & Systems Engineering Essentials
SEE Softwareprojekte
- Katrin Heymann:
Releasemanagement in einem sehr komplexen Projekt. 191-192 - Christian Werner, Ulrike Schneider:
Open Source als Triebfeder für erfolgreiche Softwareprojekte in der öffentlichen Verwaltung. 193-194 - Ralf Leonhard, Gerhard Pews, Simon Spielmann:
Effiziente Erstellung von Software-Factories. 195-196
SEE Softwaretest
- Gerald Zincke:
Sieben Strategien gegen beißende Hunde. 197-198 - Matthias Daigl:
Gegen den Trend? Neue Software-Teststandards ISO/IEC/IEEE 29119. 199-200
Workshops
- Robert Heinrich, Reiner Jung, Marco Konersmann, Thomas Ruhroth, Eric Schmieders:
1st Colloborative Workshop on Evolution and Maintenance of Long-Living-Systems (EMLS14). 203-204 - Volker Stolz, Baltasar Trancón y Widemann:
7. Arbeitstagung Programmiersprachen (ATPS 2014). 205-206 - Michaela Huhn, Stefan Gerken, Carsten Rudolph:
CeMoSS - Certification and Model-Driven Development of Safe and Secure Software. 207-208 - Pit Pietsch, Udo Kelter, Jan Oliver Ringert:
International Workshop on Comparision and Versioning of Software Models (CVSM 2014). 209 - Andrea Herrmann, Anne Hoffmann, Dieter Landes, Rüdiger Weißbach:
Workshop "Lehre für Requirements Engineering" (LehRE). 211-212 - Ottmar Bender, Wolfgang Böhm, Stefan Henkler, Oliver Sander, Andreas Vogelsang, Thorsten Weyer:
4. Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISON2020). 213-214
Tutorien
- Thorsten Keuler, Jens Knodel, Matthias Naab:
Tutorial: Zukunftssichere Software Systeme mit Architekturbewertung: Wann, Wie und Wieviel? 217-218 - Guido Gryczan, Henning Schwentner:
Der Werkzeug-und-Material-Ansatz für die Entwicklung interaktiver Software- Systeme. 219-220 - Simon Grapenthin, Matthias Book, Volker Gruhn:
Früherkennung fachlicher und technischer Projektrisiken mit dem Interaction Room. 221-222
Doktorandensymposium
- Michaela Gluchow:
AGREEMENT - An Approach for Agile Rationale Management. 225-228 - Christian Wulf:
Pattern-Based Detection and Utilization of Potential Parallelism in Software Systems. 229-232 - Max E. Kramer:
Synchronizing Heterogeneous Models in a View-Centric Engineering Approach. 233-236 - Emitza Guzman:
Summarizing, Classifying and Diversifying User Feedback. 237-240
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-11 21:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
