| ICSOFT-PT |
4 |
30 min |
Tuesday 30 |
Session 2 |
11:15 - 13:15 |
Models |
V105 |
ACME+ for Software Architecture Analysis |
| ICSOFT-PT |
5 |
Poster |
Wednesday 31 |
Poster Session 2 |
11:00 - 12:00 |
Services |
Sólin |
Smart Space-based Ridesharing Service in e-Tourism Application for Karelia Region Accessibility - Ontology-based Approach and Implementation |
| ICSOFT-PT |
12 |
30 min |
Monday 29 |
Session 1 |
16:30 - 18:30 |
Models |
V105 |
Controllability for Nondeterministic Finite Automata with Variables |
| ICSOFT-PT |
13 |
20 min |
Monday 29 |
Session 1 |
16:30 - 18:30 |
Models |
V105 |
Creating Domain-Specific Modeling Languages with OPM/D - A Meta-modeling Approach |
| ICSOFT-PT |
14 |
20 min |
Tuesday 30 |
Session 2 |
11:15 - 13:15 |
Models |
V105 |
Graph Partitioning Algorithm for Social Network Model Transformation Frameworks |
| ICSOFT-PT |
17 |
Poster |
Tuesday 30 |
Poster Session 1 |
10:15 - 11:15 |
Models |
Sólin |
Design and Operationalization of Patterns - Case of a Training Situation of Personal Assistance for Public in Professional Integration |
| ICSOFT-PT |
19 |
20 min |
Tuesday 30 |
Session 2 |
11:15 - 13:15 |
Models |
V105 |
Model-driven Transformation for Optimizing PSMs - A Case Study of Rule Design for Multi-device GUI Generation |
| ICSOFT-PT |
20 |
30 min |
Monday 29 |
Session 1 |
16:30 - 18:30 |
Models |
V105 |
From Problems to Laws in Requirements Engineering - Using Model-Transformation |
| ICSOFT-PT |
21 |
30 min |
Monday 29 |
Session 1 |
16:30 - 18:30 |
Models |
V105 |
An Ambient ASM Model for Client-to-Client Interaction via Cloud Computing |
| ICSOFT-PT |
22 |
20 min |
Tuesday 30 |
Session 2 |
11:15 - 13:15 |
Models |
V105 |
Specification of Learning Management System-centered Graphical Instructional Design Languages - A DSM Experimentation about the Moodle Platform |
| ICSOFT-PT |
23 |
20 min |
Tuesday 30 |
Session 3 |
14:30 - 16:30 |
Services |
V105 |
An Adaptive and Flexible Replication Mechanism for Space-based Computing |
| ICSOFT-PT |
24 |
Poster |
Tuesday 30 |
Poster Session 1 |
10:15 - 11:15 |
Models |
Sólin |
Model Checking of Distributed Component-based Control Systems |
| ICSOFT-PT |
29 |
Poster |
Tuesday 30 |
Poster Session 1 |
10:15 - 11:15 |
Models |
Sólin |
Linear Software Models - Vector Spaces for Design Pattern Modules |
| ICSOFT-PT |
30 |
Poster |
Tuesday 30 |
Poster Session 1 |
10:15 - 11:15 |
Models |
Sólin |
An Aspect Oriented Framework for Flexible Design Pattern-based Development |
| ICSOFT-PT |
31 |
Poster |
Wednesday 31 |
Poster Session 2 |
11:00 - 12:00 |
Models |
Sólin |
Using Meta-code Generation to Realize Higher-order Model Transformations |
| ICSOFT-PT |
32 |
Poster |
Tuesday 30 |
Poster Session 1 |
10:15 - 11:15 |
Models |
Sólin |
Uncertainty Measure of Process Models using Entropy and Petri Nets |
| ICSOFT-PT |
33 |
Poster |
Wednesday 31 |
Poster Session 2 |
11:00 - 12:00 |
Models |
Sólin |
Towards Easy Robot Programming - Using DSLs, Code Generators and Software Product Lines |
| ICSOFT-PT |
34 |
Poster |
Wednesday 31 |
Poster Session 2 |
11:00 - 12:00 |
Context |
Sólin |
Semantic Indexing of Twitter Resources |
| ICSOFT-PT |
36 |
20 min |
Tuesday 30 |
Session 3 |
14:30 - 16:30 |
Models |
V105 |
Towards a Design-by-contract based Approach for Realizable Connector-centric Software Architectures |
| ICSOFT-PT |
37 |
20 min |
Tuesday 30 |
Session 3 |
14:30 - 16:30 |
Models |
V105 |
Quality Improvement in Data Models with SLFD-based OCL Constraints |
| ICSOFT-PT |
38 |
20 min |
Tuesday 30 |
Session 3 |
14:30 - 16:30 |
Context |
V105 |
Context-aware Recommendation using Fuzzy Formal Concept Analysis |
| ICSOFT-PT |
39 |
20 min |
Tuesday 30 |
Session 3 |
14:30 - 16:30 |
Models |
V105 |
Context Based Content Aggregation for Social Life Networks |
| ICSOFT-PT |
40 |
Poster |
Wednesday 31 |
Poster Session 2 |
11:00 - 12:00 |
Models |
Sólin |
Towards Devising an Architectural Framework for Enterprise Operating Systems |
| ICSOFT-EA |
2 |
Poster |
Wednesday 31 |
Poster Session 2 |
11:00 - 12:00 |
Software Engineering Methods and Techniques |
Sólin |
Real-Time and Embedded Systems Challenges - Key Requirements and Issues |
| ICSOFT-EA |
3 |
Poster |
Wednesday 31 |
Poster Session 2 |
11:00 - 12:00 |
Software Engineering Methods and Techniques |
Sólin |
MDA Approach for Distributed and Real-Time embedded Systems Analysis and Verification |
| ICSOFT-EA |
4 |
30 min |
Tuesday 30 |
Session 3 |
14:30 - 16:30 |
Software Project Management |
V107 |
Scheduling Strategies for Risk Mitigation |
| ICSOFT-EA |
7 |
20 min |
Monday 29 |
Session 1 |
16:30 - 18:30 |
Software Engineering Methods and Techniques |
V107 |
Cloud Testing for Mobile Software Systems - Concept and Prototyping |
| ICSOFT-EA |
14 |
30 min |
Tuesday 30 |
Session 3 |
14:30 - 16:30 |
Software Project Management |
V107 |
An EDF-based Scheduling Algorithm for Real-time Reconfigurable Sporadic Tasks |
| ICSOFT-EA |
17 |
Poster |
Wednesday 31 |
Poster Session 2 |
11:00 - 12:00 |
Enterprise Software Technologies |
Sólin |
SESGAL Software for Managing Earthquake Risk in Galicia |
| ICSOFT-EA |
19 |
20 min |
Monday 29 |
Session 1 |
16:30 - 18:30 |
Software Engineering Methods and Techniques |
V107 |
A Systematic Literature Review on CMS-based Web Applications |
| ICSOFT-EA |
20 |
20 min |
Tuesday 30 |
Session 3 |
14:30 - 16:30 |
Software Project Management |
V107 |
Multi-method Software Estimation Utilizing Judgment and Model based Methods |
| ICSOFT-EA |
21 |
30 min |
Tuesday 30 |
Session 3 |
14:30 - 16:30 |
Software Project Management |
V107 |
Using Expert-based Bayesian Networks as Decision Support Systems to Improve Project Management of Healthcare Software Projects |
| ICSOFT-EA |
27 |
30 min |
Tuesday 30 |
Session 2 |
11:15 - 13:15 |
Software Engineering Methods and Techniques |
V107 |
MuLSA: Multi-Layered Scenario Analysis for an Advanced Driver Assistance System |
| ICSOFT-EA |
29 |
Poster |
Wednesday 31 |
Poster Session 2 |
11:00 - 12:00 |
Software Engineering Methods and Techniques |
Sólin |
Software Requirements Parts for Construction of Software Requirements Specifications |
| ICSOFT-EA |
31 |
20 min |
Wednesday 31 |
Session 4 |
12:00 - 13:30 |
Software Engineering Methods and Techniques |
V107 |
Feature Model Extraction from Product Source Codes based on the Semantic Aspect |
| ICSOFT-EA |
34 |
Poster |
Wednesday 31 |
Poster Session 2 |
11:00 - 12:00 |
Enterprise Software Technologies |
Sólin |
Using Intentional and System Dynamics Modeling to Address WHYs in Enterprise Architecture |
| ICSOFT-EA |
35 |
20 min |
Tuesday 30 |
Session 2 |
11:15 - 13:15 |
Distributed and Mobile Software Systems |
V102 |
Desired Quality Characteristics in Cloud Application Development |
| ICSOFT-EA |
36 |
20 min |
Monday 29 |
Session 1 |
16:30 - 18:30 |
Software Engineering Methods and Techniques |
V107 |
An Architectural Model for Customizing the Business Logic of SaaS Applications |
| ICSOFT-EA |
37 |
20 min |
Monday 29 |
Session 1 |
16:30 - 18:30 |
Software Engineering Methods and Techniques |
V107 |
Towards a Standard Approach for Optimization in Science and Engineering |
| ICSOFT-EA |
39 |
Poster |
Wednesday 31 |
Poster Session 2 |
11:00 - 12:00 |
Software Engineering Methods and Techniques |
Sólin |
Towards a Formal Semantic for UML 2.0 - Activity Diagram based on Institution Theory |
| ICSOFT-EA |
40 |
Poster |
Tuesday 30 |
Poster Session 1 |
10:15 - 11:15 |
Software Engineering Methods and Techniques |
Sólin |
A Software Quality Predictive Model |
| ICSOFT-EA |
41 |
Poster |
Wednesday 31 |
Poster Session 2 |
11:00 - 12:00 |
Enterprise Software Technologies |
Sólin |
Implementing Intelligent Tutoring System using Jade Agents Intermediation System (JAIS) in an Collaborative Environment (CE) like Community of Practices - For Collaborative Learning, Knowledge Sharing Emergence |
| ICSOFT-EA |
43 |
Poster |
Tuesday 30 |
Poster Session 1 |
10:15 - 11:15 |
Enterprise Software Technologies |
Sólin |
Process Lines for Automatic Workflow Development |
| ICSOFT-EA |
45 |
20 min |
Tuesday 30 |
Session 2 |
11:15 - 13:15 |
Software Engineering Methods and Techniques |
V107 |
CQE - An Approach to Automatically Estimate the Code Quality using an Objective Metric From an Empirical Study |
| ICSOFT-EA |
46 |
20 min |
Tuesday 30 |
Session 2 |
11:15 - 13:15 |
Software Engineering Methods and Techniques |
V107 |
ATMOS - A Data Collection and Presentation Toolkit for the Nevada Climate Change Portal |
| ICSOFT-EA |
47 |
20 min |
Tuesday 30 |
Session 2 |
11:15 - 13:15 |
Enterprise Software Technologies |
V102 |
Spatial Connector - Loosely Binding Contextual Changes and Non-Context-Aware Services |
| ICSOFT-EA |
51 |
20 min |
Tuesday 30 |
Session 2 |
11:15 - 13:15 |
Distributed and Mobile Software Systems |
V102 |
Supporting Decision Making in Mobile Software Development - A Fuzzy Cognitive Maps Approach |
| ICSOFT-EA |
52 |
20 min |
Tuesday 30 |
Session 2 |
11:15 - 13:15 |
Software Engineering Methods and Techniques |
V107 |
Web Service to JSON-RPC Transformation |
| ICSOFT-EA |
53 |
20 min |
Tuesday 30 |
Session 2 |
11:15 - 13:15 |
Enterprise Software Technologies |
V102 |
An Industrial Standard to Assure Dependability in Software Reuse |
| ICSOFT-EA |
55 |
Poster |
Tuesday 30 |
Poster Session 1 |
10:15 - 11:15 |
Enterprise Software Technologies |
Sólin |
New Concepts for Knowledge based Cataract Surgery Assistance - A First Clinical Approach |
| ICSOFT-EA |
56 |
20 min |
Tuesday 30 |
Session 3 |
14:30 - 16:30 |
Software Project Management |
V107 |
Improving Quality in Agile Development Processes |
| ICSOFT-EA |
57 |
20 min |
Monday 29 |
Session 1 |
16:30 - 18:30 |
Software Engineering Methods and Techniques |
V107 |
Dynamic Software Updating with Gosh! - Current Status and the Road Ahead |
| ICSOFT-EA |
58 |
Poster |
Tuesday 30 |
Poster Session 1 |
10:15 - 11:15 |
Distributed and Mobile Software Systems |
Sólin |
SmartRestaurant - A Report on the Development of a NFC-Based Mobile Application |
| ICSOFT-EA |
60 |
Poster |
Tuesday 30 |
Poster Session 1 |
10:15 - 11:15 |
Software Engineering Methods and Techniques |
Sólin |
Slope based Grid Creation using Interpolation of LIDAR Data Sets |
| ICSOFT-EA |
61 |
20 min |
Wednesday 31 |
Session 4 |
12:00 - 13:30 |
Software Engineering Methods and Techniques |
V107 |
Partial Order Interpretation of a Mu-Calculus-Like Temporal Logic |
| ICSOFT-EA |
62 |
Poster |
Tuesday 30 |
Poster Session 1 |
10:15 - 11:15 |
Software Engineering Methods and Techniques |
Sólin |
An Approach to the Metadata Driven Programming in .Net Framework |
| ICSOFT-EA |
63 |
20 min |
Wednesday 31 |
Session 4 |
12:00 - 13:30 |
Distributed and Mobile Software Systems |
V107 |
IDE-JASMIN - An Interactive Graphical Approach for Parallel Programming in Scientific Computing |
| ICSOFT-EA |
64 |
Poster |
Tuesday 30 |
Poster Session 1 |
10:15 - 11:15 |
Distributed and Mobile Software Systems |
Sólin |
Component-based Parallel Programming for Peta-scale Particle Simulations |
| ICSOFT-EA |
65 |
30 min |
Tuesday 30 |
Session 2 |
11:15 - 13:15 |
Software Engineering Methods and Techniques |
V107 |
An Intermediate Language for Compilation to Scripting Languages |
| ICSOFT-EA |
69 |
Poster |
Tuesday 30 |
Poster Session 1 |
10:15 - 11:15 |
Software Project Management |
Sólin |
Software Ecosystems Risks |
| ICSOFT-EA |
71 |
Poster |
Tuesday 30 |
Poster Session 1 |
10:15 - 11:15 |
Enterprise Software Technologies |
Sólin |
The Application of VLE with 3D Google Earth and Interactive Technology |
| ICSOFT-EA |
72 |
Poster |
Tuesday 30 |
Poster Session 1 |
10:15 - 11:15 |
Distributed and Mobile Software Systems |
Sólin |
Distributed Processing of Elevation Data by Means of Apache Hadoop in a Small Cluster |
| ICSOFT-EA |
74 |
20 min |
Wednesday 31 |
Session 4 |
12:00 - 13:30 |
Software Engineering Methods and Techniques |
V107 |
Embedding and Parsing Combined for Efficient Language Design |
| ICSOFT-EA |
75 |
20 min |
Tuesday 30 |
Session 2 |
11:15 - 13:15 |
Distributed and Mobile Software Systems |
V102 |
Mobile Technologies to Enable Users’ Informed Decisions |
| ICSOFT-EA |
76 |
20 min |
Monday 29 |
Session 1 |
16:30 - 18:30 |
Software Engineering Methods and Techniques |
V107 |
Increasing Efficiency of ISO 26262 Verification and Validation by Combining Fault Injection and Mutation Testing with Model based Development |
| ICSOFT-EA |
77 |
Poster |
Tuesday 30 |
Poster Session 1 |
10:15 - 11:15 |
Distributed and Mobile Software Systems |
Sólin |
A Layered Architecture based on Previsional Mechanisms |
| ICSOFT-EA |
78 |
Poster |
Tuesday 30 |
Poster Session 1 |
10:15 - 11:15 |
Software Engineering Methods and Techniques |
Sólin |
Managing Risk in Open Source Software Adoption |
| ICSOFT-EA |
79 |
20 min |
Wednesday 31 |
Session 4 |
12:00 - 13:30 |
Software Engineering Methods and Techniques |
V107 |
Platform-independence in Model-based Multi-device UI Development |
| ICSOFT-EA |
80 |
Poster |
Tuesday 30 |
Poster Session 1 |
10:15 - 11:15 |
Software Engineering Methods and Techniques |
Sólin |
Extracting Characteristics of Speaker’s Voice Harmonic Spectrum - Design of Human Voice Feature Extraction Technique |
| ICSOFT-EA |
83 |
Poster |
Wednesday 31 |
Poster Session 2 |
11:00 - 12:00 |
Software Engineering Methods and Techniques |
Sólin |
From Concrete to Abstract - About Teaching UML Class Diagrams to Novice Programmers |
| ICSOFT-EA |
85 |
Poster |
Wednesday 31 |
Poster Session 2 |
11:00 - 12:00 |
Enterprise Software Technologies |
Sólin |
A Metamodel-driven Architecture for Generating, Populating and Manipulating “Possible Worlds” to Answer Questions |
| ICSOFT-EA |
86 |
Poster |
Wednesday 31 |
Poster Session 2 |
11:00 - 12:00 |
Software Engineering Methods and Techniques |
Sólin |
Model-based Analysis of Embedded Systems: Placing It upon Its Feet Instead of on Its Head - An Outsider’s View |
| ICSOFT-EA |
87 |
Poster |
Tuesday 30 |
Poster Session 1 |
10:15 - 11:15 |
Software Engineering Methods and Techniques |
Sólin |
A Comparison of Maintainability Metrics of Two A+ Interpreters |