Login / Signup
ICSOFT-PT
2014
2016
2014
2016
Keyphrases
Publications
2016
André Restivo
,
Ademar Aguiar
,
Ana Moreira
Incremental Modular Testing for AOP.
ICSOFT-PT
(2016)
Thomas Buchmann
,
Sandra Greiner
Handcrafting a Triple Graph Transformation System to Realize Round-trip Engineering Between UML Class Models and Java Source Code.
ICSOFT-PT
(2016)
Diego Rivera
,
Ana R. Cavalli
,
Natalia Kushik
,
Wissam Mallouli
An Implementation of a QoE Evaluation Technique Including Business Model Parameters.
ICSOFT-PT
(2016)
Fatma Rhimi
,
Saloua Ben Yahia
,
Samir Ben Ahmed
Balancing between Local and Global Optimization of Web Services Composition by a Fuzzy Transactional-aware Approach.
ICSOFT-PT
(2016)
Nelufar Ulfat-Bunyadi
,
Rene Meis
,
Nazila Gol Mohammadi
,
Maritta Heisel
Introducing Product Line Engineering in a Bottom-up Approach.
ICSOFT-PT
(2016)
Felix Schwägerl
,
Bernhard Westfechtel
Collaborative and Distributed Management of Versioned Model-driven Software Product Lines.
ICSOFT-PT
(2016)
Alessandro Bianchi
,
Sebastiano Pizzutilo
,
Gennaro Vessio
Towards an ASM-based Characterization of the Deadlock-freedom Property.
ICSOFT-PT
(2016)
Diego Vaquero-Melchor
,
Antonio Garmendia
,
Esther Guerra
,
Juan de Lara
Towards Enabling Mobile Domain-specific Modelling.
ICSOFT-PT
(2016)
Hajer Baazaoui Zghal
Fuzzy Ontology-based Spatial Data Warehouse for Context-aware Search and Recommendation.
ICSOFT-PT
(2016)
Hassina Nacer
,
Taous Iggui
Semantic Networks-Based Approach for Web Services Management.
ICSOFT-PT
(2016)
Iaakov Exman
Software Theory of the Forbidden in a Discrete Design Space.
ICSOFT-PT
(2016)
Nelufar Ulfat-Bunyadi
,
Rene Meis
,
Maritta Heisel
The Six-Variable Model - Context Modelling Enabling Systematic Reuse of Control Software.
ICSOFT-PT
(2016)
Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 2: ICSOFT-PT, Lisbon, Portugal, July 24 - 26, 2016.
ICSOFT-PT
(2016)
Uwe Hohenstein
,
Preeti Koka
An Approach to Add Multi-tenancy to Existing Applications.
ICSOFT-PT
(2016)
Iaakov Exman
,
Rawi Sakhnini
Linear Software Models: Modularity Analysis by the Laplacian Matrix.
ICSOFT-PT
(2016)
Mario Luca Bernardi
,
Marta Cimitile
Reducing Static Dependences Exploiting a Declarative Design Patterns Framework.
ICSOFT-PT
(2016)
Souvik Barat
,
Vinay Kulkarni
,
Tony Clark
,
Balbir Barn
A Simulation-based Aid for Organisational Decision-making.
ICSOFT-PT
(2016)
Deepali Kholkar
,
Sagar Sunkle
,
Vinay Kulkarni
From Natural-language Regulations to Enterprise Data using Knowledge Representation and Model Transformations.
ICSOFT-PT
(2016)
2015
Iaakov Exman
,
Daniel Speicher
Linear Software Models: Equivalence of Modularity Matrix to Its Modularity Lattice.
ICSOFT-PT
(2015)
Fatma Rhimi
,
Saloua Ben Yahia
,
Samir Ben Ahmed
Novel Approach for Computing Skyline Services with Fuzzy Consistent Model for QoS- based Service Composition.
ICSOFT-PT
(2015)
Carlos Sáenz-Adán
,
Francisco José 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.
ICSOFT-PT
(2015)
Alberto Manuel Fernández Álvarez
,
Daniel Fernández Lanvin
,
Manuel Quintela-Pumares
OCL for Rich Domain Models Implementation - An Incremental Aspect based Solution.
ICSOFT-PT
(2015)
ICSOFT-PT 2015 - Proceedings of the 10th International Conference on Software Paradigm Trends, Colmar, Alsace, France, 20-22 July, 2015.
ICSOFT-PT
(2015)
Rene Meis
,
Maritta Heisel
Systematic Identification of Information Flows from Requirements to Support Privacy Impact Assessments.
ICSOFT-PT
(2015)
Diana Kirk
,
Stephen G. MacDonell
Progress Report on a Proposed Theory for Software Development.
ICSOFT-PT
(2015)
Felix Schwägerl
,
Thomas Buchmann
,
Bernhard Westfechtel
SuperMod - A Model-Driven Tool that Combines Version Control and Software Product Line Engineering.
ICSOFT-PT
(2015)
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.
ICSOFT-PT
(2015)
Aleksandr Bersenev
,
Arsen Hayrapetyan
,
Marcus Hardt
,
Michael Simon
An Approach for Integrating Kerberized non Web-based Services with Web-based Identity Federations.
ICSOFT-PT
(2015)
Atif Naseer
,
Hossam I. Aldoobi
,
Basem Y. Alkazemi
A Service-oriented Architecture for GIS Applications.
ICSOFT-PT
(2015)
Aissam Belghiat
,
Allaoua Chaoui
A Pi-calculus-based Approach for the Verification of UML2 Sequence Diagrams.
ICSOFT-PT
(2015)
Thomas Buchmann
,
Felix Schwägerl
On A-posteriori Integration of Ecore Models and Hand-written Java Code.
ICSOFT-PT
(2015)
Lamia Zouhaier
,
Yousra Bendaly Hlaoui
,
Leila Jemni Ben Ayed
A Model Driven Approach for Improving the Generation of Accessible User Interfaces.
ICSOFT-PT
(2015)
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.
ICSOFT-PT
(2015)
Lorenzo Bettini
,
Pierluigi Crescenzi
Java--Meets Eclipse - An IDE for Teaching Java Following the Object-later Approach.
ICSOFT-PT
(2015)
Jean-Yves Vion-Dury
,
Nikolaos Lagos
Semantic Version Management based on Formal Certification.
ICSOFT-PT
(2015)
Evgeniy Grigoriev
DBMS for Business Systems.
ICSOFT-PT
(2015)
2014
ICSOFT-PT 2014 - Proceedings of the 9th International Conference on Software Paradigm Trends, Vienna, Austria, 29-31 August, 2014
ICSOFT-PT
(2014)