MSVVEIS & WEBI 2012

09:00

Welcome Desk & Registration (09:00 - 09:30)

09:30

09:30 - 09:45 - Room 305E Opening Session

09:45

09:45 - 10:45 - Room 305E Parallel Session 1 - MSVVEIS

4: Empirical Comparison of Comprehensibility of Requirement Specification Techniques based on Natural Languages and Activity Diagrams Bogumila Hnatkowska and Mateusz Grzegorczyn
6: Testing Temporal Logic on Infinite Java Traces Damián Adalid, Alberto Salmerón, María del Mar Gallardo and Pedro Merino

10:45

Coffee-Break (10:45 - 11:00)

11:00

11:00 - 12:00 - Room 305E Parallel Session 2 - MSVVEIS

1: Coverage based Test Generation for Duration Systems Maha Naceur, Lotfi Majdoub and Riadh Robbana
3: A Compositional Scheme and Framework for Safety Critical Systems Verification Manuel I. Capel and Luis E. Mendoza-Morales

12:00

12:00 - 13:00 - Room 305E Parallel Session 2 - WEBI

2: Web Services based Approach for Integrating Multimedia Content Fatma Zohra Lebib, Hakima Mellah and Youssef Amghar
3: Matching Resources in Social Environment Amel Benna, Hakima Mellah, Islam Choui and Ali Oualid

13:00

Lunch (13:00 - 14:15)

14:15

14:15 - 16:30 - Room 305E Parallel Session 3 - WEBI

5: Web Usage Mining for Automatic Link Generation Olatz Arbelaitz, Ibai Gurrutxaga, Aizea Lojo, Javier Muguerza, Jesús M. Pérez and Iñigo Perona
6: Elicitation of Specific Requirements of Data Quality during the Web Portal Development César Guerra-García, Ismael Caballero, Rodrigo Testillano, Rafael Llamas and Mario Piattini
7: Expertise Search in Unstructured Data in ECM using S-BPM Approach Alexander Gromoff, Julia Stavenko, Kristina Evina and Nikolay Kazantsev
8: Using Social Networks based on Data Mining to Promote New Technologies for Women from Emerging Countries Syrine Ben Meskina, Valérie Monfort and Achraf Ben Miled

16:30

Coffee-Break (16:30 - 16:45)

16:45

16:45 - 17:15 - Room 305E Closing Session

09:00	Welcome Desk & Registration (09:00 - 09:30)
09:30	09:30 - 09:45 - Room 305E Opening Session
09:45	09:45 - 10:45 - Room 305E Parallel Session 1 - MSVVEIS 4: Empirical Comparison of Comprehensibility of Requirement Specification Techniques based on Natural Languages and Activity Diagrams Bogumila Hnatkowska and Mateusz Grzegorczyn 6: Testing Temporal Logic on Infinite Java Traces Damián Adalid, Alberto Salmerón, María del Mar Gallardo and Pedro Merino
10:45	Coffee-Break (10:45 - 11:00)
11:00	11:00 - 12:00 - Room 305E Parallel Session 2 - MSVVEIS 1: Coverage based Test Generation for Duration Systems Maha Naceur, Lotfi Majdoub and Riadh Robbana 3: A Compositional Scheme and Framework for Safety Critical Systems Verification Manuel I. Capel and Luis E. Mendoza-Morales
12:00	12:00 - 13:00 - Room 305E Parallel Session 2 - WEBI 2: Web Services based Approach for Integrating Multimedia Content Fatma Zohra Lebib, Hakima Mellah and Youssef Amghar 3: Matching Resources in Social Environment Amel Benna, Hakima Mellah, Islam Choui and Ali Oualid

13:00	Lunch (13:00 - 14:15)
14:15	14:15 - 16:30 - Room 305E Parallel Session 3 - WEBI 5: Web Usage Mining for Automatic Link Generation Olatz Arbelaitz, Ibai Gurrutxaga, Aizea Lojo, Javier Muguerza, Jesús M. Pérez and Iñigo Perona 6: Elicitation of Specific Requirements of Data Quality during the Web Portal Development César Guerra-García, Ismael Caballero, Rodrigo Testillano, Rafael Llamas and Mario Piattini 7: Expertise Search in Unstructured Data in ECM using S-BPM Approach Alexander Gromoff, Julia Stavenko, Kristina Evina and Nikolay Kazantsev 8: Using Social Networks based on Data Mining to Promote New Technologies for Women from Emerging Countries Syrine Ben Meskina, Valérie Monfort and Achraf Ben Miled

16:30	Coffee-Break (16:30 - 16:45)
16:45	16:45 - 17:15 - Room 305E Closing Session