Abstract is missing.
- SuperMod - A Model-Driven Tool that Combines Version Control and Software Product Line EngineeringFelix Schwägerl, Thomas Buchmann, Bernhard Westfechtel. 5-18 [doi]
- Semantic Version Management based on Formal CertificationJean-Yves Vion-Dury, Nikolaos Lagos. 19-30 [doi]
- Java--Meets Eclipse - An IDE for Teaching Java Following the Object-later ApproachLorenzo Bettini, Pierluigi Crescenzi. 31-42 [doi]
- Systematic Identification of Information Flows from Requirements to Support Privacy Impact AssessmentsRene Meis, Maritta Heisel. 43-52 [doi]
- Model Checking to Improve Precision of Design Pattern Instances Identification in OO SystemsMario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone. 53-63 [doi]
- Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control SystemsMohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey. 64-75 [doi]
- A Tool for Management of Knowledge Dispersed throughout Multiple ReferencesCarlos Saénz-Adán, Francisco José García Izquierdo, Angel Luis Rubio, Eduardo Sáenz-de-Cabezón Irigaray, Emilio Rodriguez Priego, Oscar Díaz. 79-86 [doi]
- A Pi-calculus-based Approach for the Verification of UML2 Sequence DiagramsAissam Belghiat, Allaoua Chaoui. 87-94 [doi]
- On A-posteriori Integration of Ecore Models and Hand-written Java CodeThomas Buchmann, Felix Schwägerl. 95-102 [doi]
- DBMS for Business SystemsEvgeniy Grigoriev. 103-108 [doi]
- Linear Software Models: Equivalence of Modularity Matrix to Its Modularity LatticeIaakov Exman, Daniel Speicher. 109-116 [doi]
- OCL for Rich Domain Models Implementation - An Incremental Aspect based SolutionAlberto Manuel Fernández Álvarez, Daniel Fernández Lanvin, Manuel Quintela-Pumares. 121-129 [doi]
- Novel Approach for Computing Skyline Services with Fuzzy Consistent Model for QoS- based Service CompositionFatma Rhimi, Saloua Ben Yahia, Ben Ahmed Samir. 135-143 [doi]
- An Approach for Integrating Kerberized non Web-based Services with Web-based Identity FederationsAleksandr Bersenev, Arsen Hayrapetyan, Marcus Hardt, Michael Simon. 144-150 [doi]
- A Service-oriented Architecture for GIS ApplicationsAtif Naseer, Hossam I. Aldoobi, Basem Y. Alkazemi. 151-155 [doi]
- Progress Report on a Proposed Theory for Software DevelopmentDiana Kirk, Stephen G. MacDonell. 161-167 [doi]
- A Model Driven Approach for Improving the Generation of Accessible User InterfacesLamia Zouhaier, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed. 168-173 [doi]