ICSOFT 2011 - 6th International Conference on Software and Data Technologies

10:45

10:45 - 11:15 - Room Salón de Actos Opening Session

11:15

11:15 - 12:30 - Room Salón de Actos Panel
Title:
Green Computing and Communication Systems: Goals, Present, Future and Challenges

Panel Chair:
Mohammad S. Obaidat

Panelists:
Han-Chieh (Josh) Chao National Ilan University, Taiwan
Vincenzo Piuri, Universita' degli Studi di Milano, Italy
Enrique Cabello, University Rey Juan Carlos, Spain

12:30

Lunch (12:30 - 14:30)

14:30

14:30 - 15:45 - Room Salón de Actos Panel
Title:
Future Challenges for Software Engineering

Panel Chair:
María José Escalona

15:45

15:45 - 16:45 - Room Salón de Actos The Impact of Emerging Computing Models on Organizational Socio-Technical System Keynote Speaker: Ivan Ivanov

16:45

Coffee-Break (16:45 - 17:00)

17:00

17:00 - 18:30 - Room Aula A1.10 Parallel Session 1 - Knowledge-Based Systems

14: MINING INFLUENCE RULES OUT OF ONTOLOGIES Barbara Furletti and Franco Turini
21: THE CLASSIFICATION OF TIME SERIES UNDER THE INFLUENCE OF SCALED NOISE P. Kroha and K. Kröber
41: A HYBRID CLASSIFIER WITH GENETIC WEIGHTING Benjamín Moreno-Montiel and Renè MacKinney-Romero

17:00 - 18:30 - Room Aula A1.14 Parallel Session 1 - Data Management

136: HYBRID WIKIS: EMPOWERING USERS TO COLLABORATIVELY STRUCTURE INFORMATION Florian Matthes, Christian Neubert and Alexander Steinhoff
140: RANGE NAMES - A Risky Practice in Spreadsheet Development? Ruth McKeever and Kevin McDaid
165: TWO ALGORITHMS FOR LOCATING ANCESTORS OF A LARGE SET OF VERTICES IN A TREE Oleksandr Panchenko, Arian Treffer, Hasso Plattner and Alexander Zeier
195: INTRODUCING ASPECTS AND SERVICES BASED ADAPTABILITY IN SPARQL REQUEST Valérie Monfort, Hanen Abbes and Wassim Jaziri

17:00 - 18:30 - Room Aula A1.16 Parallel Session 1 - Software Engineering

16: COLLECTIVE SPECIFICATION AND VERIFICATION OF BEHAVIOR MODELS AND OBJECT-ORIENTED IMPLEMENTATIONS Qing Yi, Jianwei Niu and Anitha R. Marneni
19: JHYDE - THE JAVA HYBRID DEBUGGER Christian Hermanns and Herbert Kuchen
102: CTGE: AN EFFECTIVE CONSTRAINT-BASED TEST-CASE GENERATION ALGORITHM FOR DETECTING REGRESSION BUGS IN EVOLVING PROGRAMS Anh D. Le, Tho T. Quan, Nguyen T. Huynh and Phung H. Nguyen

17:00 - 18:30 - Room Aula A1.13 Parallel Session 1a - Software Engineering

36: FEASIBLE DYNAMIC RECONFIGURATIONS OF PETRI NETS - Application to a Production System Mohamed Khalgui, Olfa Mosbahi, Jiafeng Zhang, Zhiwu Li and Atef Gharbi
37: ALIGNMENT OF OPEN SOURCE TOOLS WITH THE NEW ISO 25010 STANDARD - Focus on Maintainability Emanuel Irrazábal, Javier Garzás and Esperanza Marcos
150: TEST GENERATION FROM BOUNDED ALGEBRAIC SPECIFICATIONS USING ALLOY Francisco Rebello de Andrade, João Pascoal Faria and Ana C. R. Paiva
183: ASSISTING REFACTORING TOOL DEVELOPMENT THROUGH REFACTORING CHARACTERIZATION Raúl Marticorena, Carlos López, Javier Pérez and Yania Crespo

18:30

Welcome Drink (18:30 - 19:30)

10:45	10:45 - 11:15 - Room Salón de Actos Opening Session
11:15	11:15 - 12:30 - Room Salón de Actos Panel Title: Green Computing and Communication Systems: Goals, Present, Future and Challenges Panel Chair: Mohammad S. Obaidat Panelists: Han-Chieh (Josh) Chao National Ilan University, Taiwan Vincenzo Piuri, Universita' degli Studi di Milano, Italy Enrique Cabello, University Rey Juan Carlos, Spain
12:30	Lunch (12:30 - 14:30)
14:30	14:30 - 15:45 - Room Salón de Actos Panel Title: Future Challenges for Software Engineering Panel Chair: María José Escalona
15:45	15:45 - 16:45 - Room Salón de Actos The Impact of Emerging Computing Models on Organizational Socio-Technical System Keynote Speaker: Ivan Ivanov
16:45	Coffee-Break (16:45 - 17:00)
17:00	17:00 - 18:30 - Room Aula A1.10 Parallel Session 1 - Knowledge-Based Systems 14: MINING INFLUENCE RULES OUT OF ONTOLOGIES Barbara Furletti and Franco Turini 21: THE CLASSIFICATION OF TIME SERIES UNDER THE INFLUENCE OF SCALED NOISE P. Kroha and K. Kröber 41: A HYBRID CLASSIFIER WITH GENETIC WEIGHTING Benjamín Moreno-Montiel and Renè MacKinney-Romero 17:00 - 18:30 - Room Aula A1.14 Parallel Session 1 - Data Management 136: HYBRID WIKIS: EMPOWERING USERS TO COLLABORATIVELY STRUCTURE INFORMATION Florian Matthes, Christian Neubert and Alexander Steinhoff 140: RANGE NAMES - A Risky Practice in Spreadsheet Development? Ruth McKeever and Kevin McDaid 165: TWO ALGORITHMS FOR LOCATING ANCESTORS OF A LARGE SET OF VERTICES IN A TREE Oleksandr Panchenko, Arian Treffer, Hasso Plattner and Alexander Zeier 195: INTRODUCING ASPECTS AND SERVICES BASED ADAPTABILITY IN SPARQL REQUEST Valérie Monfort, Hanen Abbes and Wassim Jaziri 17:00 - 18:30 - Room Aula A1.16 Parallel Session 1 - Software Engineering 16: COLLECTIVE SPECIFICATION AND VERIFICATION OF BEHAVIOR MODELS AND OBJECT-ORIENTED IMPLEMENTATIONS Qing Yi, Jianwei Niu and Anitha R. Marneni 19: JHYDE - THE JAVA HYBRID DEBUGGER Christian Hermanns and Herbert Kuchen 102: CTGE: AN EFFECTIVE CONSTRAINT-BASED TEST-CASE GENERATION ALGORITHM FOR DETECTING REGRESSION BUGS IN EVOLVING PROGRAMS Anh D. Le, Tho T. Quan, Nguyen T. Huynh and Phung H. Nguyen 17:00 - 18:30 - Room Aula A1.13 Parallel Session 1a - Software Engineering 36: FEASIBLE DYNAMIC RECONFIGURATIONS OF PETRI NETS - Application to a Production System Mohamed Khalgui, Olfa Mosbahi, Jiafeng Zhang, Zhiwu Li and Atef Gharbi 37: ALIGNMENT OF OPEN SOURCE TOOLS WITH THE NEW ISO 25010 STANDARD - Focus on Maintainability Emanuel Irrazábal, Javier Garzás and Esperanza Marcos 150: TEST GENERATION FROM BOUNDED ALGEBRAIC SPECIFICATIONS USING ALLOY Francisco Rebello de Andrade, João Pascoal Faria and Ana C. R. Paiva 183: ASSISTING REFACTORING TOOL DEVELOPMENT THROUGH REFACTORING CHARACTERIZATION Raúl Marticorena, Carlos López, Javier Pérez and Yania Crespo
18:30	Welcome Drink (18:30 - 19:30)