ICSOFT 2013 - 8th International Joint Conference on Software Technologies

11:00 - 12:00 - Sólin Posters Session 2

ICSOFT-PT

5: Smart Space-based Ridesharing Service in e-Tourism Application for Karelia Region Accessibility - Ontology-based Approach and Implementation Alexander Smirnov, Nikolay Shilov, Alexey Kashevnik, Nikolay Teslya and Santa Laizane
31: Using Meta-code Generation to Realize Higher-order Model Transformations Thomas Buchmann and Felix Schwägerl
33: Towards Easy Robot Programming - Using DSLs, Code Generators and Software Product Lines Johannes Baumgartl, Thomas Buchmann, Dominik Henrich and Bernhard Westfechtel
34: Semantic Indexing of Twitter Resources Cristian Lai, Claude Moulin and Marie-Hélène Abel
40: Towards Devising an Architectural Framework for Enterprise Operating Systems Sérgio Guerreiro, Steven van Kervel and Eduard Babkin

ICSOFT-EA

2: Real-Time and Embedded Systems Challenges - Key Requirements and Issues Nadia Menad and Philippe Dhaussy
3: MDA Approach for Distributed and Real-Time embedded Systems Analysis and Verification Nadia Menad, Philippe Dhaussy and Messabih Belhadri
17: SESGAL Software for Managing Earthquake Risk in Galicia Carla Iglesias, Eduardo Giráldez, Javier Taboada, Roberto Martínez-Alegría and Isabel Margarida Antunes
29: Software Requirements Parts for Construction of Software Requirements Specifications Yoshitaka Iyoda and Atsushi Ohnishi
34: Using Intentional and System Dynamics Modeling to Address WHYs in Enterprise Architecture Sagar Sunkle, Suman Roychoudhury and Vinay Kulkarni
39: Towards a Formal Semantic for UML 2.0 - Activity Diagram based on Institution Theory Amine Achouri and Leila Jemni Ben Ayed
41: 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 Clauvice Kenfack
83: From Concrete to Abstract - About Teaching UML Class Diagrams to Novice Programmers João Paulo Barros
85: A Metamodel-driven Architecture for Generating, Populating and Manipulating “Possible Worlds” to Answer Questions Imre Kilián and Gábor Alberti
86: Model-based Analysis of Embedded Systems: Placing It upon Its Feet Instead of on Its Head - An Outsider’s View Peter Struss

10:00	10:00 - 11:00 - Room M101 Keynote Lecture Software Engineering Research under the Lamppost Claes Wohlin, Blekinge Institute of Technology, Sweden
11:00	11:00 - 12:00 - Sólin Posters Session 2 ICSOFT-PT 5: Smart Space-based Ridesharing Service in e-Tourism Application for Karelia Region Accessibility - Ontology-based Approach and Implementation Alexander Smirnov, Nikolay Shilov, Alexey Kashevnik, Nikolay Teslya and Santa Laizane 31: Using Meta-code Generation to Realize Higher-order Model Transformations Thomas Buchmann and Felix Schwägerl 33: Towards Easy Robot Programming - Using DSLs, Code Generators and Software Product Lines Johannes Baumgartl, Thomas Buchmann, Dominik Henrich and Bernhard Westfechtel 34: Semantic Indexing of Twitter Resources Cristian Lai, Claude Moulin and Marie-Hélène Abel 40: Towards Devising an Architectural Framework for Enterprise Operating Systems Sérgio Guerreiro, Steven van Kervel and Eduard Babkin ICSOFT-EA 2: Real-Time and Embedded Systems Challenges - Key Requirements and Issues Nadia Menad and Philippe Dhaussy 3: MDA Approach for Distributed and Real-Time embedded Systems Analysis and Verification Nadia Menad, Philippe Dhaussy and Messabih Belhadri 17: SESGAL Software for Managing Earthquake Risk in Galicia Carla Iglesias, Eduardo Giráldez, Javier Taboada, Roberto Martínez-Alegría and Isabel Margarida Antunes 29: Software Requirements Parts for Construction of Software Requirements Specifications Yoshitaka Iyoda and Atsushi Ohnishi 34: Using Intentional and System Dynamics Modeling to Address WHYs in Enterprise Architecture Sagar Sunkle, Suman Roychoudhury and Vinay Kulkarni 39: Towards a Formal Semantic for UML 2.0 - Activity Diagram based on Institution Theory Amine Achouri and Leila Jemni Ben Ayed 41: 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 Clauvice Kenfack 83: From Concrete to Abstract - About Teaching UML Class Diagrams to Novice Programmers João Paulo Barros 85: A Metamodel-driven Architecture for Generating, Populating and Manipulating “Possible Worlds” to Answer Questions Imre Kilián and Gábor Alberti 86: Model-based Analysis of Embedded Systems: Placing It upon Its Feet Instead of on Its Head - An Outsider’s View Peter Struss
11:15	Coffee-Break (11:15 - 11:30)
12:00	12:00 - 13:30 - Room V107 Session 4 - Software Engineering Methods and Techniques & Distributed and Mobile Software Systems - ICSOFT-EA 31: Feature Model Extraction from Product Source Codes based on the Semantic Aspect Jihen Maazoun, Nadia Bouassida, Hanêne Ben-Abdallah and Abdelhak-Djamel Seriai 61: Partial Order Interpretation of a Mu-Calculus-Like Temporal Logic Antonella Santone and Gigliola Vaglini 63: IDE-JASMIN - An Interactive Graphical Approach for Parallel Programming in Scientific Computing Liao Li, Zhang Aiqing, Yang Zhang, Wang Wei and Jing Cuiping 74: Embedding and Parsing Combined for Efficient Language Design Gergely Dévai, Máté Tejfel and Dániel Leskó 79: Platform-independence in Model-based Multi-device UI Development David Raneburger, Gerrit Meixner and Marco Brambilla
13:30	Lunch (13:30 - 14:45)
14:45	14:45 - 15:45 - Room M101 Keynote Lecture Context-Aware Decision Support in Dynamic Environments: Theoretical & Technological Foundations Alexander Smirnov, SPIIRAS, Russian Academy of Sciences, Russian Federation
15:45	15:45 - 16:00 - Room M101 Closing Session
16:00	Farewell Drink (16:00 - 16:30)