default search action
10th ICSOFT 2015: Colmar, Alsace, France - Selected Papers
- Pascal Lorenz, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen:
Software Technologies - 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers. Communications in Computer and Information Science 586, Springer 2016, ISBN 978-3-319-30141-9
Invited Paper
- David Budgen:
What Do We Know and How Well Do We Know It? Current Knowledge About Software Engineering Practices. 3-16
Software Paradigm Trends
- Felix Schwägerl, Thomas Buchmann, Bernhard Westfechtel:
Filtered Model-Driven Product Line Engineering with SuperMod: The Home Automation Case. 19-41 - Jean-Yves Vion-Dury, Nikolaos Lagos:
A Semantic Versioning Service Based on Formal Certification. 42-62 - Lorenzo Bettini, Pierluigi Crescenzi:
An Eclipse IDE for Teaching Java-. 63-78 - Rene Meis, Maritta Heisel:
Supporting Privacy Impact Assessments Using Problem-Based Privacy Analysis. 79-98 - Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone:
Integrating Model Driven and Model Checking to Mine Design Patterns. 99-117 - Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey:
R-UML: An UML Profile for Verification of Flexible Control Systems. 118-136 - Alberto Manuel Fernández Álvarez, Daniel Fernández Lanvin, Manuel Quintela-Pumares:
Invariant Implementation for Domain Models Applying Incremental OCL Techniques. 137-154 - Diana Kirk, Stephen G. MacDonell:
An Ontological Analysis of a Proposed Theory for Software Development. 155-171
Software Engineering and Applications
- Mouna Rekik, Khouloud Boukadi, Hanêne Ben-Abdallah:
Specifying Business Process Outsourcing Requirements. 175-190 - Manel Smatti, Mourad Chabane Oussalah, Mohamed Ahmed-Nacer:
Supporting Deviations on Software Processes: A Literature Overview. 191-209 - Cornelia Gaebert:
Protection of Customers' and Suppliers' Knowledge in Software Development Projects with Fixed-Price Contract: Using Property Rights Theory. 210-227 - Luigi Lavazza, Enrico Frumento, Riccardo Mazza:
GQM-Based Definition and Evaluation of Software Project Success Indicators. 228-249 - Philippe Dugerdil, Roland Sako:
Dynamic Analysis Techniques to Reverse Engineer Mobile Applications. 250-268 - Shinpei Hayashi, Wataru Inoue, Haruhiko Kaiya, Motoshi Saeki:
Annotating Goals with Concerns in Goal-Oriented Requirements Engineering. 269-286 - Julie Street Fant, Hassan Gomaa, Robert G. Pettit IV:
A Model-Based Approach for Integrating Executable Architectural Design Patterns in Space Flight Software Product Lines. 287-306 - Thibaut Le Guilly, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou:
Model Checking Feature Interactions. 307-325 - Thorsten Haendler, Stefan Sobernig, Mark Strembeck:
Deriving Tailored UML Interaction Models from Scenario-Based Runtime Tests. 326-348 - Ulyana Tikhonova, Tim A. C. Willemse:
Documenting and Designing QVTo Model Transformations Through Mathematics. 349-364 - Xiaoping Jia, Christopher Jones:
An Approach for the Automatic Adaptation of Domain-Specific Modeling Languages for Model-Driven Mobile Application Development. 365-379 - Bruno Lima, João Pascoal Faria:
Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams. 380-396 - Christophe Ponsard, Jean-Christophe Deprez, Raphael Michel:
Guiding Cloud Developers to Build Energy Aware Applications. 397-414 - Daniela Micucci, Marco Mobilio, Francesco Tisato:
SPACES: Subjective sPaces Architecture for Contextualizing hEterogeneous Sources. 415-429
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.