| ICSOFT-PT |
2 |
20 min |
Monday 20 |
Session 1 |
12:15 - 13:15 |
Models |
G13 |
A Tool for Management of Knowledge Dispersed throughout Multiple References |
| ICSOFT-PT |
3 |
Poster |
Tuesday 21 |
Poster Session 1 |
15:45 - 16:45 |
Services |
Building K |
Novel Approach for Computing Skyline Services with Fuzzy Consistent Model for QoS- based Service Composition |
| ICSOFT-PT |
5 |
30 min |
Monday 20 |
Session 2 |
14:30 - 16:30 |
Models |
G13 |
SuperMod — A Model-Driven Tool that Combines Version Control and Software Product Line Engineering |
| ICSOFT-PT |
7 |
Poster |
Tuesday 21 |
Poster Session 1 |
15:45 - 16:45 |
Services |
Building K |
An Approach for Integrating Kerberized non Web-based Services with Web-based Identity Federations |
| ICSOFT-PT |
8 |
30 min |
Wednesday 22 |
Session 6 |
10:15 - 11:45 |
Models |
G13 |
Semantic Version Management based on Formal Certification |
| ICSOFT-PT |
9 |
30 min |
Wednesday 22 |
Session 6 |
10:15 - 11:45 |
Models |
G13 |
Java--Meets Eclipse - An IDE for Teaching Java Following the Object-later Approach |
| ICSOFT-PT |
12 |
20 min |
Tuesday 21 |
Session 4 |
11:45 - 13:15 |
Aspects |
G13 |
OCL for Rich Domain Models Implementation - An Incremental Aspect based Solution |
| ICSOFT-PT |
13 |
20 min |
Tuesday 21 |
Session 5 |
16:45 - 17:45 |
Models |
G13 |
A Pi-calculus-based Approach for the Verification of UML2 Sequence Diagrams |
| ICSOFT-PT |
14 |
30 min |
Monday 20 |
Session 2 |
14:30 - 16:30 |
Models |
G13 |
Systematic Identification of Information Flows from Requirements to Support Privacy Impact Assessments |
| ICSOFT-PT |
17 |
30 min |
Tuesday 21 |
Session 5 |
16:45 - 17:45 |
Models |
G13 |
Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems |
| ICSOFT-PT |
18 |
30 min |
Wednesday 22 |
Session 6 |
10:15 - 11:45 |
Models |
G13 |
Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control Systems |
| ICSOFT-PT |
19 |
Poster |
Tuesday 21 |
Poster Session 1 |
15:45 - 16:45 |
Models |
Building K |
On A-posteriori Integration of Ecore Models and Hand-written Java Code |
| ICSOFT-PT |
20 |
20 min |
Tuesday 21 |
Session 4 |
11:45 - 13:15 |
Context |
G13 |
Progress Report on a Proposed Theory for Software Development |
| ICSOFT-PT |
21 |
Poster |
Tuesday 21 |
Poster Session 1 |
15:45 - 16:45 |
Models |
Building K |
DBMS for Business Systems |
| ICSOFT-PT |
22 |
20 min |
Tuesday 21 |
Session 4 |
11:45 - 13:15 |
Services |
G13 |
A Service-oriented Architecture for GIS Applications |
| ICSOFT-PT |
23 |
20 min |
Monday 20 |
Session 1 |
12:15 - 13:15 |
Models |
G13 |
Linear Software Models: Equivalence of Modularity Matrix to Its Modularity Lattice |
| ICSOFT-PT |
25 |
20 min |
Tuesday 21 |
Session 4 |
11:45 - 13:15 |
Context |
G13 |
A Model Driven Approach for Improving the Generation of Accessible User Interfaces |
| ICSOFT-EA |
5 |
Poster |
Wednesday 22 |
Poster Session 2 |
15:30 - 16:30 |
Software Engineering Methods and Techniques |
Building K |
Reactivity and Social Cooperation in a Multi-Robot System |
| ICSOFT-EA |
8 |
Poster |
Wednesday 22 |
Poster Session 2 |
15:30 - 16:30 |
Enterprise Software Technologies |
Building K |
How does Oracle Database In-Memory Scale out? |
| ICSOFT-EA |
9 |
20 min |
Wednesday 22 |
Session 6 |
10:15 - 11:45 |
Software Engineering Methods and Techniques |
G12 |
Reverse Engineering an IPhone Applications using Dynamic Analysis |
| ICSOFT-EA |
12 |
30 min |
Tuesday 21 |
Session 4 |
11:45 - 13:15 |
Software Engineering Methods and Techniques |
G12 |
Multi-dimensional Goal Refinement in Goal-Oriented Requirements Engineering |
| ICSOFT-EA |
13 |
Poster |
Wednesday 22 |
Poster Session 2 |
15:30 - 16:30 |
Software Engineering Methods and Techniques |
Building K |
Business Modeling of a Measurement-based Context: A Methodological Process |
| ICSOFT-EA |
14 |
Poster |
Tuesday 21 |
Poster Session 1 |
15:45 - 16:45 |
Software Engineering Methods and Techniques |
Building K |
Automatic Generation of Test Data for XML Schema-based Testing of Web Services |
| ICSOFT-EA |
16 |
30 min |
Tuesday 21 |
Session 4 |
11:45 - 13:15 |
Software Engineering Methods and Techniques |
G12 |
Design for Excellence in the Context of Very Large-Scale Requirements Engineering |
| ICSOFT-EA |
18 |
20 min |
Monday 20 |
Session 1 |
12:15 - 13:15 |
Software Engineering Methods and Techniques |
G12 |
Towards Knowledge-intensive Software Engineering |
| ICSOFT-EA |
19 |
20 min |
Tuesday 21 |
Session 3 |
10:00 - 11:30 |
Software Engineering Methods and Techniques |
G07 |
A Visualization Tool for Scenario-based Software Development |
| ICSOFT-EA |
23 |
20 min |
Wednesday 22 |
Session 7 |
14:30 - 15:30 |
Software Engineering Methods and Techniques |
G13 |
Change Effort Estimation based on UML Diagrams Application in UCP and COCOMOII |
| ICSOFT-EA |
24 |
Poster |
Wednesday 22 |
Poster Session 2 |
15:30 - 16:30 |
Software Engineering Methods and Techniques |
Building K |
A Domain Specific Platform for Engineering Well Founded Measurement Applications |
| ICSOFT-EA |
26 |
30 min |
Monday 20 |
Session 2 |
14:30 - 16:30 |
Software Engineering Methods and Techniques |
G12 |
Integrating and Applying Architectural Design Patterns in Space Flight Software Product Lines |
| ICSOFT-EA |
28 |
30 min |
Tuesday 21 |
Session 5 |
16:45 - 17:45 |
Enterprise Software Technologies |
G14 |
Towards Outsource-ability Enabled BPMN |
| ICSOFT-EA |
29 |
Poster |
Tuesday 21 |
Poster Session 1 |
15:45 - 16:45 |
Software Engineering Methods and Techniques |
Building K |
A Path-based Equivalence Checking Method for Petri Net based Models of Programs |
| ICSOFT-EA |
30 |
20 min |
Tuesday 21 |
Session 3 |
10:00 - 11:30 |
Software Engineering Methods and Techniques |
G12 |
New Schedulability Analysis for Real-Time Systems based on MDE and Petri Nets Model at Early Design Stages |
| ICSOFT-EA |
36 |
20 min |
Monday 20 |
Session 1 |
12:15 - 13:15 |
Software Project Management |
G12 |
Using Property Rights Theory to Overcome Success Barriers to Software Development Project: Protection of Contractors’ Knowledge |
| ICSOFT-EA |
37 |
20 min |
Tuesday 21 |
Session 4 |
11:45 - 13:15 |
Software Project Management |
G12 |
Who Are the Rational Actors in Software Development Projects? |
| ICSOFT-EA |
38 |
30 min |
Monday 20 |
Session 2 |
14:30 - 16:30 |
Software Engineering Methods and Techniques |
G12 |
A Method for Model Checking Feature Interactions |
| ICSOFT-EA |
40 |
30 min |
Monday 20 |
Session 2 |
14:30 - 16:30 |
Software Project Management |
G12 |
Defining and Evaluating Software Project Success Indicators - A GQM-based Case Study |
| ICSOFT-EA |
41 |
30 min |
Tuesday 21 |
Session 4 |
11:45 - 13:15 |
Enterprise Software Technologies |
G07 |
A Review of Detecting and Correcting Deviations on Software Processes |
| ICSOFT-EA |
43 |
20 min |
Wednesday 22 |
Session 6 |
10:15 - 11:45 |
Software Engineering Methods and Techniques |
G12 |
Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems |
| ICSOFT-EA |
49 |
30 min |
Tuesday 21 |
Session 3 |
10:00 - 11:30 |
Software Engineering Methods and Techniques |
G12 |
An Approach for the Semi-automated Derivation of UML Interaction Models from Scenario-based Runtime Tests |
| ICSOFT-EA |
52 |
Poster |
Tuesday 21 |
Poster Session 1 |
15:45 - 16:45 |
Software Engineering Methods and Techniques |
Building K |
Analysing the Reliability of Open Source Software Projects |
| ICSOFT-EA |
53 |
Poster |
Tuesday 21 |
Poster Session 1 |
15:45 - 16:45 |
Software Engineering Methods and Techniques |
Building K |
Modeling Traceability for Heterogeneous Systems |
| ICSOFT-EA |
54 |
Poster |
Tuesday 21 |
Poster Session 1 |
15:45 - 16:45 |
Software Engineering Methods and Techniques |
Building K |
Extracting Knowledge for Searching for and Identifying Hazards on Construction Site |
| ICSOFT-EA |
55 |
Poster |
Wednesday 22 |
Poster Session 2 |
15:30 - 16:30 |
Enterprise Software Technologies |
Building K |
ROCL: New Extensions to OCL for Useful Verification of Flexible Software Systems |
| ICSOFT-EA |
57 |
20 min |
Tuesday 21 |
Session 3 |
10:00 - 11:30 |
Software Project Management |
G07 |
Establishing Construction Scheduling Progress Curve based on Buidling Information Modeling Quantity Takeoffs |
| ICSOFT-EA |
61 |
Poster |
Tuesday 21 |
Poster Session 1 |
15:45 - 16:45 |
Software Engineering Methods and Techniques |
Building K |
GR-TNCES: New Extensions of R-TNCES for Modelling and Verification of Flexible Systems under Energy and Memory Constraints |
| ICSOFT-EA |
62 |
Poster |
Wednesday 22 |
Poster Session 2 |
15:30 - 16:30 |
Enterprise Software Technologies |
Building K |
Design and Implementation of Multiple Fiber Online Monitoring of and Fault Automatic Detecting System |
| ICSOFT-EA |
64 |
Poster |
Tuesday 21 |
Poster Session 1 |
15:45 - 16:45 |
Software Project Management |
Building K |
Optimizing Construction Sequences for Secant Pile Walls |
| ICSOFT-EA |
66 |
20 min |
Monday 20 |
Session 1 |
12:15 - 13:15 |
Software Engineering Methods and Techniques |
G12 |
Towards More Relational Feature Models |
| ICSOFT-EA |
67 |
Poster |
Wednesday 22 |
Poster Session 2 |
15:30 - 16:30 |
Distributed and Mobile Software Systems |
Building K |
Parallel Applications and On-chip Traffic Distributions: Observation, Implication and Modelling |
| ICSOFT-EA |
68 |
Poster |
Wednesday 22 |
Poster Session 2 |
15:30 - 16:30 |
Enterprise Software Technologies |
Building K |
Towards a Unified Platform for Agent-based Cloud Robotics |
| ICSOFT-EA |
69 |
20 min |
Tuesday 21 |
Session 5a |
16:45 - 17:45 |
Enterprise Software Technologies |
G12 |
QS Mapper: A Transparent Data Aggregator for the Quantified Self - Freedom from Particularity Using Two-way Mappings |
| ICSOFT-EA |
71 |
Poster |
Tuesday 21 |
Poster Session 1 |
15:45 - 16:45 |
Enterprise Software Technologies |
Building K |
Analyzing Taiwan Bridge Management System for Decision Making in Bridge Maintenance - A Big Data Approach |
| ICSOFT-EA |
72 |
Poster |
Wednesday 22 |
Poster Session 2 |
15:30 - 16:30 |
Software Engineering Methods and Techniques |
Building K |
Using Aspect-Oriented Approach for Software Product Line Development |
| ICSOFT-EA |
75 |
Poster |
Tuesday 21 |
Poster Session 1 |
15:45 - 16:45 |
Software Project Management |
Building K |
Critical Success Factors and Barriers for Lightweight Software Process Improvement in Agile Development - A Literature Review |
| ICSOFT-EA |
78 |
20 min |
Tuesday 21 |
Session 5 |
16:45 - 17:45 |
Enterprise Software Technologies |
G14 |
Semantic and Structural Performer Clustering in BPMN Models Transformed into Social Network Models |
| ICSOFT-EA |
79 |
20 min |
Tuesday 21 |
Session 3 |
10:00 - 11:30 |
Software Engineering Methods and Techniques |
G12 |
Designing and Describing QVTo Model Transformations |
| ICSOFT-EA |
80 |
30 min |
Tuesday 21 |
Session 4 |
11:45 - 13:15 |
Enterprise Software Technologies |
G07 |
Cloud Description Ontology for Service Discovery and Selection |
| ICSOFT-EA |
82 |
Poster |
Tuesday 21 |
Poster Session 1 |
15:45 - 16:45 |
Software Project Management |
Building K |
A Framework to Evaluate Software Developer’s Productivity - The VALORTIA Project |
| ICSOFT-EA |
83 |
20 min |
Wednesday 22 |
Session 7 |
14:30 - 15:30 |
Software Engineering Methods and Techniques |
G13 |
Using GDT4MAS as a Formal Support for Engineering Multi-Agents Systems |
| ICSOFT-EA |
84 |
Poster |
Tuesday 21 |
Poster Session 1 |
15:45 - 16:45 |
Software Project Management |
Building K |
Understanding Approval Rating of Agile Project Management Tools using Twitter |
| ICSOFT-EA |
85 |
20 min |
Tuesday 21 |
Session 3 |
10:00 - 11:30 |
Software Engineering Methods and Techniques |
G12 |
Design of Adaptive Domain-Specific Modeling Languages for Model-Driven Mobile Application Development |
| ICSOFT-EA |
86 |
Poster |
Tuesday 21 |
Poster Session 1 |
15:45 - 16:45 |
Software Engineering Methods and Techniques |
Building K |
Usability Evaluation Methods for Spatial Information Visualisation - Case Study: Evaluation of Tourist Maps |
| ICSOFT-EA |
87 |
Poster |
Tuesday 21 |
Poster Session 1 |
15:45 - 16:45 |
Distributed and Mobile Software Systems |
Building K |
A Proposal of Web Data Mining Application for Mapping Crime Areas in the Czech Republic |
| ICSOFT-EA |
88 |
20 min |
Tuesday 21 |
Session 5a |
16:45 - 17:45 |
Enterprise Software Technologies |
G12 |
How Trajectory Data Modeling Improves Decision Making? |
| ICSOFT-EA |
90 |
30 min |
Tuesday 21 |
Session 4 |
11:45 - 13:15 |
Software Engineering Methods and Techniques |
G07 |
An Approach for Automated Scenario-based Testing of Distributed and Heterogeneous Systems |
| ICSOFT-EA |
91 |
20 min |
Monday 20 |
Session 2 |
14:30 - 16:30 |
Software Project Management |
G12 |
Certification and Legislation - An Italian Experience of Fiscal Software Certification |
| ICSOFT-EA |
92 |
Poster |
Wednesday 22 |
Poster Session 2 |
15:30 - 16:30 |
Enterprise Software Technologies |
Building K |
Formalization of Secure Service Oriented Product Line |
| ICSOFT-EA |
93 |
Poster |
Wednesday 22 |
Poster Session 2 |
15:30 - 16:30 |
Distributed and Mobile Software Systems |
Building K |
Iterative Mapreduce MPI Oil Reservoir Simulator |
| ICSOFT-EA |
94 |
20 min |
Wednesday 22 |
Session 6 |
10:15 - 11:45 |
Distributed and Mobile Software Systems |
G12 |
Spatio-Temporal Normalization of Data from Heterogeneous Sensors |
| ICSOFT-EA |
96 |
Poster |
Wednesday 22 |
Poster Session 2 |
15:30 - 16:30 |
Distributed and Mobile Software Systems |
Building K |
Wise Objects for Calm Technology |
| ICSOFT-EA |
98 |
20 min |
Wednesday 22 |
Session 7 |
14:30 - 15:30 |
Software Engineering Methods and Techniques |
G13 |
A UML KPI Profile for Energy Aware Design and Monitoring of Cloud Services |
| DCDATASOFT |
4 |
20 min |
Tuesday 21 |
Session 1 |
16:45 - 17:45 |
Doctoral Consortium on Data Management Technologies, Applications and Software Technologies |
G07 |
Provenance and Formal Methods: The Case of Digital Image Processing |
| DCDATASOFT |
5 |
20 min |
Tuesday 21 |
Session 1 |
16:45 - 17:45 |
Doctoral Consortium on Data Management Technologies, Applications and Software Technologies |
G07 |
Balancing Functionality, Risk, and Cost in Smart Service Networks |