PROGRAM

MONDAY (20 June 2011)

08:00 - 08:30    Registration

08:30 - 09:00    Welcome and Opening Remarks

SESSION: Requirements Specification & Analysis I

09:00 - 09:30    Architectural Models of Ambient-PRISMA in Channel Ambient Calculus, Nour Ali, Emilio Tuosto

09:30 - 10:00    An ASSL Approach to Handling Uncertainty in Self-adaptive Systems, Emil Vassev, Mike Hinchey, Dharini Balasubramaniam, Simon Dobson

10:00 - 10:30    Language for Use Case Specification, Dusan Savic, Sinisa Vlajic, Ilija Antovic, Vojislav Stanojevic, Milos Milic

10:30 - 11:00    Tea & Coffee

11:00 - 11:30   An Approach to Synchronize UML-Based Design Components for Model-Driven Protocol Development, Prabhu Shankar Kaliappan, Hartmut Koenig

SESSION: Security

11:30 - 12:00    Offline validation of Firewalls, Stephan Windmüller

12:00 - 12:30    Availability Assessment of Embedded Systems with Security Vulnerabilities, Janusz Zalewski, Andrew Kornecki

SESSION: Software Quality Assurance I

12:30 - 13:00    Metrics and Antipatterns for Software Quality Evaluation, Francesca Arcelli Fontana

13:00 - 14:30    Lunch

14:30 - 15:00    Requirement-Driven Evaluation of Remote ERP-System Solutions: A Service-oriented Perspective, Markus Doedt, Bernhard Steffen

SPECIAL SESSION: Simplification Through Change of Perspective

15:00 - 15:30    A Change in Perspective Yields Formal Analysis, Radu Grosu, Gregory Batt, Flavio Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci

15:30 - 16:00    Feature-Based Variability Modelling: Less is More, Ina Schäfer, Tiziana Margaria, Anna-Lena Lamprecht

16:00 - 16:30    Tea & Coffee

16:30 - 17:00    Emergent Behavior Control: From Modelling to Automata Learning, Bernhard Steffen, Johannes Neubauer

17:00 - 17:30    PLENARY DISCUSSION

18:30                Buses depart for Banquet

19:30                Banquet at Knappogue Castle

TUESDAY (21 June 2011)

SESSION: Software Development and Maintenance

09:00 - 09:30    Implementing Software Effort Estimation in a Medium-sized Company, João Carlos Cunha, Marco Vieira, Sérgio Cruz, Marco Costa, Ana Rita Rodrigues

09:30 - 10:00    Software Maintenance through Supervisory Control, Benoit Gaudin, Alessandra Bagnato

10:00 - 10:30    Implementing Partitioning in Software Architectures Or What to Do With a MMU?, Alan Cudmore, Jonathan Wilmot

10:30 - 11:00    Tea & Coffee

11:00 - 11:30    Energy Efficiency with Runtime Models for Energy-Aware Embedded Systems, Zdravko Karakehayov, Emil Vassev

SESSION: Software Reuse

11:30 - 12:00    Integrating GQM and Data Warehousing for the Definition of Software Reuse Metrics, Marco Vieira, Henrique Madeira, Sérgio Cruz, Marco Costa, João Carlos Cunha

12:00 - 12:30    Towards a Framework for Weapon Control Systems, Kevin Adams, Denis Gračanin

SESSION: Software Quality Assurance II

12:30 - 13:00    Variability and Rigour in Service Computing Engineering, Maurice ter Beek, Alessandro Fantechi, José L. Fiadeiro, Stefania Gnesi

13:00 - 14:30    Lunch

14:30 - 15:00    Applying the Test Template Framework to Aerospace Software, Maximiliano Cristiá, Pablo Albertengo, Claudia Frydman, Brian Plüss, Pablo Rodríguez Monetti

15:00 - 15:30    Toward Intelligent Software Defect Detection, Markland Benson

15:30 - 16:00    Tea & Coffee

16:00 - 16:30    Automated detection of Anti-patterns using a metrics based approach, Rahma Fourati, Nadia Bouassida, Hanene Ben-Abdallah

SESSION: Requirements Specification & Analysis II

16:30 - 17:00    Using Process Modeling and Simulation to Define Requirements for Incident Response for Chemical Facilities, Stephen Fortier, Gregory Shaw

17:00 - 17:30    SEW-2011 Wrap-up