default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th ICSOFT 2015: Colmar, Alsace, France
- Pascal Lorenz, Marten van Sinderen, Jorge Cardoso:
ICSOFT-PT 2015 - Proceedings of the 10th International Conference on Software Paradigm Trends, Colmar, Alsace, France, 20-22 July, 2015. SciTePress 2015, ISBN 978-989-758-115-1
Models
Full Papers
- Felix Schwägerl, Thomas Buchmann
, Bernhard Westfechtel:
SuperMod - A Model-Driven Tool that Combines Version Control and Software Product Line Engineering. 5-18 - Jean-Yves Vion-Dury, Nikolaos Lagos:
Semantic Version Management based on Formal Certification. 19-30 - Lorenzo Bettini, Pierluigi Crescenzi:
Java--Meets Eclipse - An IDE for Teaching Java Following the Object-later Approach. 31-42 - Rene Meis, Maritta Heisel:
Systematic Identification of Information Flows from Requirements to Support Privacy Impact Assessments. 43-52 - Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone:
Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems. 53-63 - Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey:
Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control Systems. 64-75
Short Papers
- Carlos Sáenz-Adán, Francisco J. García Izquierdo, Ángel Luis Rubio, Eduardo Sáenz-de-Cabezón Irigaray, Emilio Rodriguez Priego, Oscar Díaz:
A Tool for Management of Knowledge Dispersed throughout Multiple References. 79-86 - Aissam Belghiat, Allaoua Chaoui:
A Pi-calculus-based Approach for the Verification of UML2 Sequence Diagrams. 87-94 - Thomas Buchmann, Felix Schwägerl:
On A-posteriori Integration of Ecore Models and Hand-written Java Code. 95-102 - Evgeniy Grigoriev:
DBMS for Business Systems. 103-108 - Iaakov Exman, Daniel Speicher:
Linear Software Models: Equivalence of Modularity Matrix to Its Modularity Lattice. 109-116
Aspects
Short Paper
- Alberto Manuel Fernández Álvarez, Daniel Fernández Lanvin, Manuel Quintela-Pumares:
OCL for Rich Domain Models Implementation - An Incremental Aspect based Solution. 121-129
Services
Short Papers
- Fatma Rhimi, Saloua Ben Yahia, Samir Ben Ahmed:
Novel Approach for Computing Skyline Services with Fuzzy Consistent Model for QoS- based Service Composition. 135-143 - Aleksandr Bersenev, Arsen Hayrapetyan, Marcus Hardt, Michael Simon:
An Approach for Integrating Kerberized non Web-based Services with Web-based Identity Federations. 144-150 - Atif Naseer, Hossam I. Aldoobi, Basem Y. Alkazemi:
A Service-oriented Architecture for GIS Applications. 151-155
Context
Short Papers
- Diana Kirk, Stephen G. MacDonell:
Progress Report on a Proposed Theory for Software Development. 161-167 - Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
A Model Driven Approach for Improving the Generation of Accessible User Interfaces. 168-173
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 2025-03-12 23:20 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:
