Programme

Monday, October 13

10:00 - 13:30  Registration

12:00 - 13:30  Lunch

13:45 - 14:00  Opening Session

14:00 - 15:00  Keynote 1

  • Krzysztof Czarnecki, University of Waterloo, Canada
    Model-Driven Engineering: The Challenges Ahead

15:00 - 15:25  Coffee Break

15:25 - 16:40  CEE-SET Regular Session 1 (Requirements specification)

  • Jan Franců and Petr Hnětynka
    Automated Generation of Implementation from Textual System Requirements
  • Łukasz Olek, Jerzy Nawrocki and Mirosław Ochodek
    Enhancing Use Cases with Screen Designs
  • Bartosz Alchimowicz, Jakub Jurkiewicz, Jerzy Nawrocki and Mirosław Ochodek
    Towards Use-Cases Benchmark

15:25 - 16:40  WiP Session 1 (Modeling I)

  • Marek Rychlý
    Behavioural Modeling of Services: from Service-Oriented Architecture to Component-Based System
  • Dušan Kolář, Šárka Květoňová
    Seamless Simplification of Timed-CPN in Project Plan Formalization
  • Angelina Espinoza, Juan Garbajosa
    Tackling Traceability Challenges Through Modeling Principles in Methodologies Underpinned by Metamodels

16:40 - 17:00  Coffee Break

17:00 - 18:15  CEE-SET Regular Session 2 (Design)

  • Petr Weiss
    Service-Based Realization of Business Processes Driven by Control-Flow Patterns
  • Michal Dobiš and Ľubomír Majtás
    Mining Design Patterns from Existing Projects using Static and Run-Time Dynamic Analysis
  • Andrzej Ratkowski and Andrzej Zalewski
    Transformational Design of Business Processes in SOA

17:00 - 18:15  WiP Session 2 (Modeling II)

  • Attila Adamkó, Lajos Kollár
    MDA-Based Development of Data-Driven Web Applications
  • Rafal Mrowka, Tomasz Szmuc
    Towards Efficient Application of Formal Techniques in Software Development
  • Marcin Szpyrka, Piotr Matyasik
    Graphical Modelling Tool for CCS Process Algebra

Steering Committee Meeting

Tuesday, October 14

09:00 - 10:00  Keynote 2

  • Thomas Gschwind, IBM Zurich Research Lab, Switzerland
    Quality-Aware Business Process Modeling

10:00 - 10:25  Coffee Break

10:25 - 11:40  CEE-SET Regular Session 3 (Modeling)

  • Slawomir Samolej and Tomasz Szmuc
    HTCPNs-based Tool for Web-Server Clusters Development
  • Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern and Martin Leucker
    SMA-The Smyle Modeling Approach
  • Oksana Nikiforova and Natalja Pavlova
    Open Work of Two-Hemisphere Model Transformation Definition into UML Class Diagram in the Context of MDA

10:25 - 11:40  WiP Session 3 (Software Measurement and Design Patterns)

  • Asma Mubarak, Steve Counsell, Rob Hierons
    Empirical Observations on Coupling, Code Warnings and Versions in Java Open-Source
  • Robert Thullner, Alexander Schatten, Josef Schiefer
    Implementing Enterprise Integration Patterns Using Open Source Frameworks
  • Dariusz Gall
    An Attempt to Automate Design Patterns Application

12:00 - 13:30  Lunch

13:30 - 14:30  Keynote 3

  • Mauro Pezze, University of Milano Bicocca, Italy
    Achieving cost-effective software reliability through self-healing

14:30 - 14:45  Coffee Break

14:45 - 16:00  CEE-SET Regular Session 4 (Software Product Line)

  • Ľubomír Majtás
    Tool Based Support of the Pattern Instance Creation
  • Konstantin Romanovsky, Dmitry Koznov and Leonid Minchin
    Refactoring the Documentation of Software Product Lines
  • Pasi Kuvaja, Jouni Similä and Hanna Hanhela
    Software Product Line Adoption - Guidelines from a Case Study

14:45 - 16:00  WiP Session 4 (Testing)

  • Marian Jureczko
    The Level of Agility in Testing Process in a Large Scale Financial Software Project
  • Kriss Rauhvargers
    On the Implementation of a Meta-Data Driven Self-Testing Model
  • Michal Okresa, Viliam Solčány
    Ascella - A Framework for Automated Testing of GUI Applications

16:00 - 16:30  Coffee Break

16:30 - 17:45  CEE-SET Regular Session 5 (Code Generation)

  • Jacky Estublier, Anca Daniela Ionita and Tam Nguyen
    Code Generation for a Bi-dimensional Composition Mechanism
  • Valentino Vranić, Michal Bebjak, Radoslav Menkyna and Peter Dolog
    Developing Applications with Aspect-Oriented Change Realization
  • Tomáš Tureček and Petr Šaloun
    Advanced data organization on Java powered mobile devices

16:30 - 17:45  WiP Session 5 (Component Technologies and Software Product Lines)

  • Stanislav Černý, Dušan Kolář
    Component Technologies in Virtual Laboratory Framework
  • Padraig O'Leary, Steffen Thiel, Goetz Botterweck, Ita Richardson
    Towards a Product Derivation Process Framework
  • Andreea Vescan, Horia Florin Pop
    The Component Selection Problem as a Constraint Optimization Problem

18:15   Transport to the Castle of Slavkov

19:00 - 23:00  Dinner at the Castle of Slavkov

Wednesday, October 15

09:00 - 10:15  CEE-SET Regular Session 6 (Project Management)

  • Adam Trendowicz, Jürgen Münch and Ross Jeffery
    State of the Practice in Software Effort Estimation: A Survey and Literature Review
  • Andreas Höfer
    Exploratory Comparison of Expert and Novice Pair Programmers
  • Thomas Flohr
    Assessing the Quality of Quality Gate Reference Processes

09:00 - 10:15  WiP Session 6 (Software Tools and Algorithms)

  • Jedrzej Fulara, Krzysztof Jakubczyk, Aleksy Schubert
    Supplementing Java Bytecode with Specifications
  • Jiří Vyskočil, Petr Štěpánek
    Optimization of Prolog Programs by Fully Automated Transformation Procedure
  • Tomas Potuzak
    Postponed Traffic Flow Characteristics Transfer in Distributed Simulation of Road Traffic

10:15 - 10:45  Coffee Break

10:45 - 12:00  CEE-SET Regular Session 7 (Quality)

  • A. C. Barus, T. Y. Chen, D. Grant, F.-C. Kuo and M. F. Lau
    Testing of Heuristic Methods: A Case Study of Greedy Algorithm
  • Jeff Winter, Kari Rönkkö, Marten Ahlberg and Jo Hotchkiss
    Meeting Organisational Needs and Quality Assurance through Balancing Agile & Formal Usability Testing Results
  • Dindin Wahyudin, Rudolf Ramler and Stefan Biffl
    A Framework for Defect Prediction in Specific Software Project Contexts

10:45 - 12:00  WiP Session 7 (Customer Support and Risk Management)

  • Marko Jäntti
    Improving Customer Support and Maintenance Processes: A Single Point of Contact Service Model
  • Petr Svojanovský, Jitka Kreslíková
    Specific Attitude to Risk Management on the Background of Global Software Development

12:00 - 12:15  Closing Session

12:15   Lunch

 

List of Accepted Papers

Regular papers:

Petr Weiss
Service-Based Realization of Business Processes Driven by Control-Flow Patterns
Jacky Estublier, Anca Daniela Ionita and Tam Nguyen
Code Generation for a Bi-dimensional Composition Mechanism
Adam Trendowicz, Jürgen Münch and Ross Jeffery
State of the Practice in Software Effort Estimation: A Survey of Industrial Practices
Thomas Flohr
Assessing the Quality of Quality Gate Reference Processes
A. C. Barus, T.Y. Chen, D. Grant, Fei-Ching Kuo and M. F. Lau
Testing of Heuristic Methods: A Case Study of Greedy Algorithm
Jeff Winter, Kari Rönkkö, Marten Ahlberg and Jo Hotchkiss
Developing quality through the fine balance between Agility and Formalism - a research cooperation
Michal Dobis and Lubomir Majtas
Mining Design Patterns from Existing Projects using Static and Run-Time Dynamic Analysis
Andreas Höfer
Exploratory Comparison of Expert and Novice Pair Programmers
Slawomir Samolej and Tomasz Szmuc
HTCPNs-based Tool for Web-Server Clusters Development
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern and Martin Leucker
SMA---The Smyle Modeling Approach
Konstantin Romanovsky, Dmitry Koznov and Leonid Minchin
Refactoring Documentation of Software Product Lines
Pasi Kuvaja, Jouni Similä and Hanna Hanhela
Software Product Line Adoptiojn - Guidelines from a Case Study
Oksana Nikiforova and Natalya Pavlova
Open Work of Two-Hemisphere Model Transformation Definition into UML Class Diagram in the Context of MDA
Dindin Wahyudin, Rudolf Ramler and Stefan Biffl
A Framework for Defect Prediction in Specific Software Project Contexts
Valentino Vranic, Michal Bebjak, Radoslav Menkyna and Peter Dolog
Developing Applications with Aspect-Oriented Change Realization
Jan Francu and Petr Hnetynka
Automated Generation of Implementation from Textual System Requirements
Andrzej Ratkowski and Andrzej Zalewski
Transformational Design of Business Processes in SOA
Deepti Mishra and Alok Mishra
Requirements Engineering for Market-Driven Software Project through Agility
Lukasz Olek, Jerzy Nawrocki and Miroslaw Ochodek
Enhancing Use Cases with Screen Designs
Bartosz Alchimowicz, Jakub Jurkiewicz, Miroslaw Ochodek and Jerzy Nawrocki
Towards Use-Cases Benchmark
Tomas Turecek and Petr Saloun
Advanced data organization on Java powered mobile devices
Lubomir Majtas
Tool Based Support of the Pattern Instance Creation

 

Work in Progress Papers:

Asma Mubarak, Steve Counsell and Rob Hierons
Empirical Observations on Coupling, Code Warnings and Versions in Java Open-Source
Marian Jureczko
The Level of Agility in Testing Process in a Large Scale Financial Software Project
Kriss Rauhvargers
On the Implementation of a Meta-Data Driven Self-Testing Model
Ondrej Krejcar and Petr Fojcik
Modern Biotelemetric System Architecture for use by Patients and Physicians
Marek Rychly
Behavioural Modeling of Services: from Service-Oriented Architecture to Component-Based System
Sarka Kvetonova and Dusan Kolar
Seamless Simplification of Timed-CPN in Project Plan Formalization
Marko Jäntti
Improving Customer Support and Maintenance Processes: A Single Point of Contact Service Model
Stanislav Cerny and Dusan Kolar
Component Technologies in Virtual Laboratory Framework
Tomas Potuzak
Postponed Traffic Flow Characteristics Transfer in Distributed Simulation of Road Traffic
Robert Thullner, Alexander Schatten and Josef Schiefer
Implementing Enterprise Integration Patterns Using Open Source Frameworks
Padraig O'Leary, Steffen Thiel, Goetz Botterweck and Ita Richardson
Towards a Product Derivation Process Framework
Andreea Vescan and Horia Florin Pop
The Component Selection Problem as a Constraint Optimization Problem
Liliana Dobrica and Eila Niemelä
Design and Analysis of a Cross Domain Reference Architecture for Embedded Systems
Angelina Espinoza and Juan Garbajosa
Tackling Traceability Challenges through Modeling Principles in Methodologies Underpinned by Metamodels
Ondrej Krejcar
Framework Architecture and Implementation Highligths of Database prebuffering in mobile control and information system for better response time
Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat and Farhad Arbab
Symbolic Execution of Reo Circuits
Thomas Moser, Heinz Roth, Szabolcs Rozsnyai and Stefan Biffl
Semantic Event Correlation for Integrating Complex Heterogeneous Software Systems
Attila Adamkó and Lajos Kollár
MDA-Based Development of Data-Driven Web Applications
Jedrzej Fulara, Krzysztof Jakubczyk and Aleksy Schubert
Supplementing Java Bytecode with Specifications
Petr Svojanovsky and Jitka Kreslikova
Specific Attitude to Risk Management on the Background of Global Software Development
Rafal Mrowka and Tomasz Szmuc
Towards Efficient Application of Formal Techniques in Software Development
Marcin Szpyrka and Piotr Matyasik
Graphical modelling tool for CCS process algebra
Nikołaj Uzunow
A Classification of the End User Programming and End User Software Engineering Activities
Jiri Vyskocil and Petr Stepanek
Optimization of Prolog Programs by Fully Automated Transformation Procedure
Dariusz Gall
An Attempt to Automate Design Patterns Application
Viliam Solcany and Michal Okresa
Ascella - A Framework for Automated Testing of GUI Applications