08:45 Welcome Desk & Registration (08:45 - 09:00)
09:00
09:00 - 09:30 - Room MR.09 SKY 2012 Presentation
09:30
09:30 - 11:15 - Room MR.09 Session 1
  • 2: Attacking Software Knowledge Erosion with Gamification Jan Nonnen
  • 3: Assisted Software Exploration using Formal Concept Analysis Paul Heckmann and Daniel Speicher
  • 8: The Interestingness Tool for Search in the Web Iaakov Exman, Gilad Amar and Ran Shaltiel
11:15 Coffee-Break (11:15 - 11:30)
11:30
11:30 - 13:00 - Room MR.09 Invited Talk: Hugo Zaragoza
13:00 Lunch (13:00 - 14:30)
15:30
15:30 - 17:00 - Room MR.09 Session 2
  • 5: Case based Reasoning Approach for Re-use Activities M. Zinn, K. P. Fischer-Hellmann and Ronald Schoop
  • 7: An Approach to Simplify Navigation within Ontologies Karina Robles, Alejandro Ruiz, Anabel Fraga and Juan Llorens
  • 4: ROM: A Runnable Ontology Model Testing Tool Iaakov Exman and Reuven Yagel
17:00 Coffee-Break (17:00 - 17:15)
17:15
17:15 - 18:00 - Room MR.09 Session 3
  • 14: Reengineered PFA: An Approach for Reinvention of Behaviorally-rich Systems Reuven Gallant and Leah Goldin
  • 11: Applying Executable Specifications - (A Short Project Summary & Survey) Reuven Yagel and Ori Sarig
  • 15: Semantics of Social Network Frequencies for Turing Test Immunity Iaakov Exman, Netanel Alfassi and Shani Cohen
18:00
18:00 - 18:45 - Room MR.09 Final Discussion
18:45 Welcome Drink (18:45 - 19:15)