Conference Program - Saturday June 30
FridaySaturday
09:00 Welcome Desk & Registration (09:00 - 09:15)
09:15
09:15 - 10:15 - Room 201E Parallel Session 3 - Programming
  • 34: The Recursion Scheme of the Trace Function Method Baltasar Trancón y Widemann
  • 37: Agile Development with Stepwise Feature Introduction Mikołaj Olszewski and Ralph-Johan Back
  • 49: Reduction of Program-generation Times by Transformation-sequence Optimization Martin Kuhlemann, Andreas Lübcke and Gunter Saake
10:15 Coffee-Break (10:15 - 10:30)
10:30
10:30 - 11:30 - Room 2E Managing Online Business Communities Keynote Speaker: Steffen Staab
11:30
11:30 - 13:00 - Room 201E Parallel Session 4 - Enterprise Systems
  • 18: Improving Event Correlation for Non-process Aware Information Systems Ricardo Pérez-Castillo, Barbara Weber , Ignacio García-Rodríguez and Mario Piattini
  • 32: Refactoring Business Process Models - A Systematic Review María Fernández-Ropero, Ricardo Pérez-Castillo and Mario Piattini
  • 46: A Generic Approach for the Identification of Variability Anilloy Frank and Eugen Brenner
  • 54: Towards Online Data Mining System for Enterprises Jan Kupčík and Tomáš Hruška
11:30
11:30 - 13:00 - Room 202E Parallel Session 4 - MDA&MDSD
  • 1: Semantics of Logical Relations in Topological Functioning Model Uldis Donins
  • 2: Using Use Cases for Domain Modeling Janis Osis, Armands Slihte and Asnate Jansone
13:00 Lunch (13:00 - 14:15)
14:15
14:15 - 16:15 - Room 202E Parallel Session 5 - MDA&MDSD
  • 3: System Thinking for Formal Analysis of Domain Functioning in the Computation Independent Model Erika Asnina, Janis Osis and Asnate Jansone
  • 4: Topological Functioning Model and Services Identification - An Approach for Services Identification from a Topological Functioning Model Gundars Alksnis, Erika Asnina and Uldis Sukovskis
  • 5: Formal Analysis of Objects State Changes and Transitions Uldis Donins, Janis Osis, Erika Asnina and Asnate Jansone
14:15
14:15 - 16:15 - Room 201E Parallel Session 5 - Agents, Agile, Aspects
  • 39: Agent Oriented Software Engineering for Multimedia Systems’ Development - An Experimental Case Study Alma M. Gómez-Rodríguez, Juan Carlos González-Moreno, David Ramos-Varcárcel and Francisco Javier Rodriguez-Martinez
  • 7: How can you be Agile in “Rough Terrain” and under “Tight Boundary Conditions” - Industrial Experience Report Peter Faßbinder
  • 19: Agile Development of Critical Software – Can It be Justified? Janusz Górski and Katarzyna Łukasiewicz
16:15 Coffee-Break (16:15 - 16:30)
16:30
16:30 - 18:30 - Room 201E Parallel Session 6 - Testing and Formal Methods
  • 26: A Logic-based Passive Testing Approach for the Validation of Communicating Protocols Xiaoping Che, Felipe Lalanne and Stephane Maag
  • 6: Precise Guidance to Dynamic Test Generation TheAnh Do, A. C. M. Fong and Russel Pears
  • 22: A Survey of Infeasible Path Detection Sun Ding, Hee Beng Kuan Tan and Kai Ping Liu
  • 43: Proposal to Improve the Requirements Process through Formal Verification using Deductive Approach Radosław Klimek
18:30 Closing Session (18:30 - 18:45)
18:45 Farewell Drink (18:45 - 19:15)