Abstract is missing.
- What Do We Know and How Well Do We Know It? Current Knowledge About Software Engineering PracticesDavid Budgen. 3-16 [doi]
- Filtered Model-Driven Product Line Engineering with SuperMod: The Home Automation CaseFelix Schwägerl, Thomas Buchmann, Bernhard Westfechtel. 19-41 [doi]
- A Semantic Versioning Service Based on Formal CertificationJean-Yves Vion-Dury, Nikolaos Lagos. 42-62 [doi]
- An Eclipse IDE for Teaching Java-Lorenzo Bettini, Pierluigi Crescenzi. 63-78 [doi]
- Supporting Privacy Impact Assessments Using Problem-Based Privacy AnalysisRene Meis, Maritta Heisel. 79-98 [doi]
- Integrating Model Driven and Model Checking to Mine Design PatternsMario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone. 99-117 [doi]
- R-UML: An UML Profile for Verification of Flexible Control SystemsMohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey. 118-136 [doi]
- Invariant Implementation for Domain Models Applying Incremental OCL TechniquesAlberto Manuel Fernández Álvarez, Daniel Fernández Lanvin, Manuel Quintela-Pumares. 137-154 [doi]
- An Ontological Analysis of a Proposed Theory for Software DevelopmentDiana Kirk, Stephen G. MacDonell. 155-171 [doi]
- Specifying Business Process Outsourcing RequirementsMouna Rekik, Khouloud Boukadi, Hanêne Ben-Abdallah. 175-190 [doi]
- Supporting Deviations on Software Processes: A Literature OverviewManel Smatti, Mourad Chabane Oussalah, Mohamed Ahmed-Nacer. 191-209 [doi]
- Protection of Customers' and Suppliers' Knowledge in Software Development Projects with Fixed-Price Contract: Using Property Rights TheoryCornelia Gaebert. 210-227 [doi]
- GQM-Based Definition and Evaluation of Software Project Success IndicatorsLuigi Lavazza, Enrico Frumento, Riccardo Mazza. 228-249 [doi]
- Dynamic Analysis Techniques to Reverse Engineer Mobile ApplicationsPhilippe Dugerdil, Roland Sako. 250-268 [doi]
- Annotating Goals with Concerns in Goal-Oriented Requirements EngineeringShinpei Hayashi, Wataru Inoue, Haruhiko Kaiya, Motoshi Saeki. 269-286 [doi]
- A Model-Based Approach for Integrating Executable Architectural Design Patterns in Space Flight Software Product LinesJulie Street Fant, Hassan Gomaa, Robert G. Pettit IV. 287-306 [doi]
- Model Checking Feature InteractionsThibaut Le Guilly, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou. 307-325 [doi]
- Deriving Tailored UML Interaction Models from Scenario-Based Runtime TestsThorsten Haendler, Stefan Sobernig, Mark Strembeck. 326-348 [doi]
- Documenting and Designing QVTo Model Transformations Through MathematicsUlyana Tikhonova, Tim A. C. Willemse. 349-364 [doi]
- An Approach for the Automatic Adaptation of Domain-Specific Modeling Languages for Model-Driven Mobile Application DevelopmentXiaoping Jia, Christopher Jones 0002. 365-379 [doi]
- Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence DiagramsBruno Lima, João Pascoal Faria. 380-396 [doi]
- Guiding Cloud Developers to Build Energy Aware ApplicationsChristophe Ponsard, Jean-Christophe Deprez, Raphael Michel. 397-414 [doi]
- SPACES: Subjective sPaces Architecture for Contextualizing hEterogeneous SourcesDaniela Micucci, Marco Mobilio, Francesco Tisato. 415-429 [doi]