THURSDAY ============================================================================= TH1.1 SCBSE Session 1: Components and Services Formalization (Chair: Jan Carlson) "Measure, diagnose, refactor: A formal quality cycle for software models" by Hendrik Voigt, Thomas Ruhroth and Heike Wehrheim "A Step Towards a More Practical Protocol Conformance Checking Algorithm" by Andreas Both and Wolf Zimmermann "An Intuitive Formal Semantics of a Real-Time Component Model" by Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlson, Cristina Seceleanu and Paul Pettersson TH1.2 SPPI Session 1: Software Processes "Process lines: a product line approach designed for process model development" by Thomas Ternité "Experiences and Results from Establishing a Software Cockpit at BMD Systemhaus" by Rudolf Ramler, Stefan Larndorfer and Clemens Buchwieser "Usability of Process Discovery Algorithms for Software Organizations" by Burcu Akman and Onur Demirörs TH 1.3. SOA Session 1: Workflows and Composition (Chair: Bernd Reuther) "Fault-Tolerant BPEL Workflow Execution via Cloud-Aware Recovery Policies" by Ernst Juhnke, Tim Doernemann and Bernd Freisleben "BPELscript: A Simplified Script Syntax for WS-BPEL 2.0" by Marc Bischoff, Oliver Kopp, Tammo van Lessen and Frank Leymann "Bridging the component-based and service-oriented worlds" by Karel Masek, Petr Hnetynka and Tomas Bures TH 1.4 DES Session 1: Real-time systems specification and analysis (Chair: Erwin Schoitsch) "A real-time framework for Ada 2005 and the Ravenscar profile", by K. N. Gregertsen and A. Skavhaug "Improving Real-time Software Quality by Direct Specification of Timing Requirements", by M. Korsgaard, A. Skavhaug and S. Hendseth "RAMS Analysis of a bio-inspired Traffic Data Sensor ("Smart Eye")", by P. Böhm and T. Gruber TH 2.1 SCBSE Session 2: Domain-Specific Component Models and Frameworks (Chair: Panagiotis Katsaros) "Constructing Domain-Specific Component Frameworks through Architecture Refinement" by Frédéric Loiret, Michal Malohlava, Ales Plsek, Philippe Merle and Lionel Seinturier "A Generative Approach to the Construction of Application-Specific XML Processing Components" by Antonio Sarasa-Cabezuelo, Alberto Martínez-Avilés, José-Luis Sierra-Rodríguez and Alfredo Fernández-Valmayor "Using JavaBeans to Realize a Domain Specific Component Model" by Juraj Feljan, Jan Carlson and Mario Žagar (short paper) "Flexibility and End-User Support in Model-based Product Line Tools" by Rick Rabiser, Deepak Dhungana and Paul Gruenbacher (short paper) TH2.2 SPPI Session 2: Software Quality "What Software Repositories Should Be Mined for Defect Predictors?" by Rudolf Ramler, Stefan Larndorfer and Thomas Natschläger "Implementation of a Software Quality Improvement Project in an SME: A Before and After Comparison" by Ayse Tosun, Ayse bener, Burak Turan "CQML Scheme: A Classification Scheme for Comprehensive Quality Model Landscapes" by Michael Klaes, Jens Heidrich, Juergen Muench and Adam Trendowicz TH2.3 ITSQA Session 1: Grid- and Cloud-Computing (Chair: Rainer Stotzka) "Secure Service-Oriented Grid Computing with Public Virtual Worker Nodes" by Matthias Schmidt, Niels Fallenbeck, Mathew Smith, Bernd Freisleben "SuGI - Portal and Training Systems for Grid Middlewares " by Joachim Götzem, Bernd Reuther,Paul Mueller, Viktor Achter, Sebastian Breuers "Multi-Layered Virtual Machines for Security Updates in Grid Environments"by "Roland Schwarzkopf, Matthias Schmidt, Niels Fallenbeck, Bernd Freisleben TH 2.4. WC Session 1: Web Computing 1 (Chair: Konrad Klöckner) "An Enhanced Wiki for Requirements Engineering" by David Ferreira and Alberto Rodrigues da Silva "AsyncHttpEvalRequest: A New Primitive for Downloading Web Applications Incrementally and Securely" by Antero Taivalsaari, Janne Kuuskeri and Tommi Mikkonen "The Cycle of Trust in Mixed Service-oriented Systems" by Florian Skopik, Daniel Schall and Schahram Dustdar TH 3.1 SCBSE Session 3: Component-based systems correctness and test (Chair: Tomas Bures) "Integration and Reliability Testing for Component-Based Software Systems" by Francesca Saglietti, Florin Pinte and Sven Söhnlein "Automated Versioning in OSGi: a Mechanism for Component Software Consistency Guarantee" by Jaroslav Bauml and Premek Brada "A Component Testing Approach Supported by a CASE Tool" by Fernando Silva, Eduardo Almeida and Silvio Meira (short paper) "Guaranteeing Correctness of Component Bindings in Dynamic Adaptive Systems based on Runtime Testing" by Dirk Niebuhr and Andreas Rausch (short paper) TH 3.2 SM Session 1: Project Planning (Chair: Cigdem Gencel) "A Simulation Framework to Support Software Project (Re)Planning" by Diana Kirk and Stephen MacDonell "Insight into the Effectiveness of Risk Management within Five Software Organizations" by Mira Kajko-Mattsson, Jan Lundholm and Jonas Norrby. TH 3.3 MD Session 1: MDE foundations (Chair: Antonino Sabetta) "Checking Architectural and Implementation Constraints for Domain-Specific Component Frameworks using Models" by Carlos Noguera and Frédéric Loiret "Approaching the model-driven generation of feedback to remove software performance flaws" by Vittorio Cortellessa, Antinisca Di Marco, Romina Eramo, Alfonso Pierantonio, Catia Trubiani "Textual Views in Model Driven Engineering" by Thomas Goldschmidt, Steffen Becker and Axel Uhl FRIDAY ============================================================================= FR 1.1 SCBSE Session 4: Modelling Services (Chair: Premek Brada) "Modeling Service Oriented Architectures of Mobile Applications by Extending SoaML with Ambients" by Nour Ali and Muhammad Ali Babar "Service-Oriented Performance Modeling the MULE Enterprise Service Bus (ESB) Loan Broker Application " by Paul Brebner "Service Replication Strategies in Service-Oriented Architectures" by Nicholas May, Heinz Schmidt and Ian Thomas (short paper) "An Extensible Language for Service Dependency Management" by Siamak Haschemi and Arif Wider (short paper) "Enabling Model-Driven Schedulability Analysis in the Development of Distributed Component-Based Real-Time Applications" by Patricia Lopez Martinez, José M. Drake and Julio L. Medina (MD short paper) FR 1.2 SPPI Session 3: Innovative Development Approaches "Agile Experiences in a Software Service Company" by Jakub Rudzki, Imed Hammouda and Tuomas Mikkola "Foundations for a Model-Driven Integration of Business Services in a Safety-critical Application Domain" by Richard Mordinyi, Thomas Moser Alexander Mikula, Eva Kühn, and Stefan Biffl "A Lightweight MDSD Process Applied in Small Projects" by Gàbor Guta, Wolfgang Schreiner and Dirk Draheim "Sprint Planning with a Digital Aid Tool: Lessons Learnt" by Erlend Agøy Engum, Zornitza Racheva, and Maya Daneva FR 1.3 SM Session 2: Software Estimation (Chair: Mira Kajko-Mattsson) "Estimating Web Application Development Effort Using Web-COBRA and COSMIC: An Empirical Study" by Sergio Di Martino, Filomena Ferrucci and Carmine Gravino. "Reliability of COSMIC Functional Size Measurement Results: A Multiple Case Study on Industry Cases" by Özden Özcan Top, Onur Demirörs and Barış Özkan. "Bootstrap Prediction Intervals for a Semi-parametric Software Cost Estimation Model" by Nikolaos Mittas and Lefteris Angelis. FR 1.4. OSS Session 1: Open Source Software Development (Chair: Tommi Mikkkonen) "Fault Analysis in OSS Based on Program Slicing Metrics" by Steve Counsell, Sue Black, Tracy Hall and David Bowes "Evaluating Quality of Open Source Components for Reuse-Intensive Commercial Solutions" by Jakub Rudzki, Kimmo Kiviluoma, Tero Poikonen and Imed Hammouda "An examination of the use of Open Source Software Processes as a global software development solution for commercial software engineering" by Gary Gaughan, Maha Shaikh and Brian Fitzgerald FR 2.1 SCBSE Session 5: Embedded and Real-time systems (Chair: Francesca Saglietti) "Multi-Level Modeling for Industrial Automation Systems" by Gerd Dauenhauer, Thomas Aschauer and Wolfgang Pree "Embedded Software Component Quality and Certification: A Preliminary Evaluation" by Fernando Carvalho, Silvio Meira, Bruno Freitas and João Eulino "An Architecture-based Framework for Managing Adaptive Real-time Applications" by Ning Gui, Vincenzo De Florio and Chris Blondia (short paper) "Translation of UML 2 Activity Diagrams into Finite State Machines for Model Checking" by Alexander Raschke (MD short paper) "Model-Based System Testing Using Visual Contracts" by Baris Güldali, Michael Mlynarski, Andreas Wübbeke and Gregor Engels (MD short paper) FR 2.2 ITSQA Session 2: Future Internet Architecture (Chair: Paul Mueller) "Composition of Self Descriptive Protocols for Future Network Architectures" by Dennis Schwerdel, Zornitsa Dimitrova, Abbas Siddiqui, Bernd Reuther, Paul Mueller "Multi Agent Based Service Evaluation and Selection Architecture", by Jaleh Shoshtarian Malak, Mehran Mohsenzadeh, Mir Ali Seyyedi "Web Browser as a Uniform Application Platform: How far are we?" by Feetu Nyrhinen, Tommi Mikkonen FR 2.3 SM Session 3: Management and SMEs (Chair: Lefteris Angelis) "The Relative Importance of Aspects of Intellectual Capital for Software Companies" by Sebastian Barney, Aybuke Aurum and Claes Wohlin "A Framework for the Balanced Optimization of Quality Assurance Strategies Focusing on Small and Medium Sized Enterprises" by Michael Klaes, Frank Elberzhager, Rolf van Lengen, Torsten Schulz and Jürgen Goebbels. "Long-term Planning of Software Development Efforts by Roadmapping - an Approach and Experiences from Three Small Companies" by Jarno Vähäniitty, Casper Lassenius, Kristian Rautiainen and Pasi Pekkanen (Short paper) FR 2.4. WC Session 2: Web Computing 2 (Chair: Konrad Klöckner) "Exercise generation by group models for autonomous web-based learning" by Michael Sonntag "LocaRhythms: Real-Time Data Mining for Continuous Detection and Prediction of Stays" by Tom Gross FR 3.1 SCBSE Session 6: Component Models - Diversity of Solutions (Chair: Frederic Loiret) "A Look at Current Component Models from the Black-box Perspective" by Premek Brada "Developing Adaptable Components using Dynamic Languages" by Didier Donsez, Kiev Gama and Walter Rudametkin "A Component-Based Technology for Hardware and Software Components" by Luka Lednicki, Ana Petričić and Mario Žagar (short paper) "Component-based Construction of Concurrent Systems with Active Components" by Ioannis Ntalamagkas and Kung-Kiu Lau (short paper) "Dynamic Software Architecture Development: Towards an Automated Process" by Maurice ter Beek, Antonio Bucchiarone and Stefania Gnesi (MD Short paper) FR 3.2 MD Session 2: MDE applications (Chair: Antonio Bucchiarone) "Feature Diagrams and their Transformations: an Extensible Meta-model Approach" by Miguel A. Laguna and Jose M. Marqués "Automated Feature Model-based Generation of Refinement Transformations" by Lucia Kapova and Thomas Goldschmidt "Empirical Investigations of Model Size, Complexity and Effort in Large Scale, Distributed Model Driven Development Processes" by Werner Heijstek and Michel Chaudron "A Lightweight Approach for Domain-Specific Modeling Languages Design" by Sylvain Robert, Sébastien Gérard, François Lagarde and François Terrier FR 3.3 SPPI Session 4: Cooperation and Evolution "Configuration Management for Realtime Simulation Software" by Dominik Schmitz, Wie Deng, Thomas Rose, Miatthias Jarke, Harald Nonn, and Korakoj Sanguanpiyapan "Process-based Collaboration in Global Software Engineering" by Harald Klein, Andreas Rausch and Edward Fischer "Analysis of Software Evolvability in Quality Models" by Pei Breivold Hongyu and Ivica Crnkovic FR 3.4 DES Session 2: Safety assessment, validation and certification (Chair: Amund Skavhaug) "The DECOS Concept of Generic Safety Cases - a Step towards Modular Certification", by E. Althammer, E. Schoitsch, H. Eriksson and J. Vinter; "Safety Assessment of Design Patterns for Safety-Critical Embedded Systems", by Ashraf Armoush, Eva Beckenschulze and Stefan Kowalewski; "Concluding Remarks: Dependable Embedded Systems and Standardization", by Erwin Schoitsch; SATURDAY ============================================================================= ST1.1 SCBSE Session 7: Experiences and Applications (Chair: Ivica Crnkovic) "Experiences in Applying Situational Method Engineering in AOSE" by Mariachiara Puviani, Giacomo Cabri and Letizia Leonardi "Suggesting Software Components for Reuse in Search Engines Using Discovered Knowledge Techniques" by Alexandre C. Martins, Eduardo S. Almeida and Silvio Meira "BAL: A language for component based distributed applications development" by Nikos Chondros and Panayiotis Alefragis ST1.2 SPPI Session 5: Empirical Approaches "Stakeholders Perception of Success: an Empirical Investigation" by Evgenia Egorova, Marco Torchiano, Maurizio Morisio, Claes Wohlin, Aybuke Aurum, and Richard Berntsson "Investigating impact of business risk on requirements selection decisions" by Nina Dzamashvili Fogelström, Mikael Svahnberg and Tuomas Mikkola "Synthetic metrics for evaluating runtime performance of software architectures with complex tradeoffs" by Anakreon Mentis, Panagiotis Katsaros and Lefteris Angelis "An Experimental Study on Requirements Engineering for Software Product Lines" by Danuza F. S. Neiva, Eduardo S. Almeida and Silvio R. L. Meira "A Comparative Survey of Economic Models for Software Product Lines" by Ali Muhammad Sarmad, Barbar Muhammed Ali, and Klaus Schmid ST1.3 SEAA Work in Progress (Chair: Konrad Klöckner) "Agile Principles Applied to a Complex Long Term Research Activity – The PERIMETER Approach" by Eileen Dillon, Christian Haemmerle, Luca Salgarelli, Fikret Sivrikaya "Change Propagation in Project Controlling Using Triple Graph Grammars" by Edward Fischer "Role of Decomposition as a Preliminary Task to Service Composition" by Eren K. Akbiyik, Ayesha Manzer, Ali H. Dogru "Towards an Architecture for the Internet of Services" by Aneta Kabzeva, Markus Hillenbrand, Paul Müller, Ralf Steinmetz "Towards a Generic Model Interpretation Runtime Architecture" by Michael Thonhauser, Christian Kreiner "Rapid System-Level Power Estimation for Power-Aware Embedded Software Design" by Christian Bachmann, Andeas Genser, Josef Haid, Christian Steger, Reinhold Weiß "One Reason why Developers Avoid Inheritance-Based Refactorings" by Steve Counsell, Robert M. Hierons, George Loizou, K. Mannock "Implementation of Language for Extra-functional Properties for Reusable Software Components" by Kamil Ježek, Přemysl Brada "Psychological Design Factors in Web Usability" by Mushtaq Raza "A Flight Vehicle Test of Real-Time Position Display Based on GPS/INS Using UHF Communication" by Hongjoon Yun, Sukhoon Kang "Transformation of Pair of FSMs Sharing Input Symbols" by Vít Fábera, Vlastimil Jáneš, Mária Jánešová "Logical Control with Respecting of Faults" by Josef Bokr, Vlastimil Jáneš, Mária Jánešová =============================================================================