Home Call for Papers Committees Tracks & Session Program Paper Submission General Information Registration Accommodation
 
   

ISoLA 2008 Program

An overview of the program can be found here. The detailed program for each day follows:

 top

13 October

9.00-9.30 Opening ISoLA
9.30-10.15

Invited Talk: Architecture Based Specification and Verification of Embedded Software Systems
Manfred Broy, TU München.

 
10.20-11.00

TR02: Tools and Applications in Industrial Software Quality Control
Organizers: Antti Huima, Conformiq Software (Espoo, Finland); Alexander K.Petrenko ISPRAS (Moscow, Russia)


Animating Event B Models by Formal Data Models
Ait-Sadoune, Idir; Ait-Ameur, Yamine: LISI / ENSMA, Futuroscope Cedex - France.


Automated Formal Testing of C API Using T2C Framework
Khoroshilov, Alexey V.; Rubanov, Vladimir V.; Shatokhin, Eugene A.: Russian Academy of Sciences (ISPRAS), Moscow, Russia.

TR05: Applications of Formal Approaches to Service-Oriented Computing
Organizers: Stefania Gnesi, Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo" of CNR, Pisa, Italy; Bernd Krämer, FernUniversität in Hagen, Fakultät für Mathematik und Informatik, Hagen, Germany


A Use-Case Driven Approach to Formal Service-Oriented Modelling
Laura Bocchi, Josè Fiadeiro: Department of Computer Science, University of Leicester, UK; Ant¢nia Lopes: Department of Informatics, Faculty of Sciences, University of Lisbon, Portugal.


Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity
Martin Wirsing, Matthias Hölzl: Ludwig-Maximilians-Universität München, Germany: Lucia Acciai, Federico Banti: Università degli Studi di Firenze; Allan Clark: University of Edinburgh, Scotland; Alessandro Fantechi: Università degli Studi di Firenze; Stephen Gilmore: University of Edinburgh, Scotland; Stefania Gnesi: Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo" of CNR; L szl¢ Gönczy: Budapest University of Technology and Economics; Nora Koch: Ludwig-Maximilians-Universität München, Germany; Alessandro Lapadula: Università degli Studi di Firenze; Philip Mayer: Ludwig-Maximilians-Universität München, Germany; Franco Mazzanti: Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo" of CNR; Rosario Pugliese: Università degli Studi di Firenze; Andreas Schroeder: Ludwig-Maximilians-Universität München, Germany; Francesco Tiezzi: Università degli Studi di Firenze; Mirco Tribastone: University of Edinburgh, Scotland; D niel Varr¢: Budapest University of Technology and Economics.

11.00-11.10 discussion discussion
 
break
 
11.40-12.40

TR03: Introduction of Multi-Core Systems in Automotive Applications
Organizers: Jörn Schneider, University of Applied Sciences Trier, Germany; Björn Lisper, Mälardalen University, Sweden; Christian Metzler, BMW Car IT, Munich, Germany; Dirk Ziegenbein, ETAS GmbH, Stuttgart, Germany


Tailoring and Optimising Software for Automotive Multicore Systems
Torsten Polle, Michael Uelschen: Advanced Driver Information Technology GmbH, Hildesheim, Germany.


Fault Handling Approaches on Dual-Core Microcontrollers in Safety- Critical Automotive Applications
Eva Beckschulze, Falk Salewski, Thomas Siegbert, Stefan Kowalewski: Embedded Software Laboratory, RWTH Aachen University, Germany.


Timing Validation of Automotive Software
Daniel Kästner: AbsInt GmbH, Saarbrücken, Germany; Reinhard Wilhelm: Saarland University, Saarbrücken, Germany; Reinhold Heckmann: AbsInt GmbH, Saarbrücken, Germany; Marc Schlickling: AbsInt GmbH and Saarland University, Saarbrücken, Germany; Markus Pister: AbsInt GmbH and Saarland University, Saarbrücken, Germany; Marek Jersak: Symtavision GmbH, Braunschweig, Germany; Kai Richter: Symtavision GmbH, Braunschweig, Germany; Christian Ferdinand: AbsInt GmbH, Saarbrücken, Germany.

TR05: Applications of Formal Approaches to Service-Oriented Computing (cont.)
Organizers: Stefania Gnesi, Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo" of CNR, Pisa, Italy; Bernd Krämer, FernUniversität in Hagen, Fakultät für Mathematik und Informatik, Hagen, Germany


Safety and Response-Time Analysis of an Automotive Accident Assistance Service
Ashok Argent-Katwala: Imperial College, London, England; Allan Clark: The University of Edinburgh, Scotland; Howard Foster: Imperial College, London, England; Stephen Gilmore: The University of Edinburgh, Scotland; Philip Mayer: Ludwig-Maximilians- Universität, Munich, Germany; Mirco Tribastone: The University of Edinburgh, Scotland.


A Framework for Analyzing and Testing the Performance of Software Services
Antonia Bertolino: ISTI-CNR, Pisa, Italy; Guglielmo De Angelis: ISTI-CNR, Pisa, Italy; Antinisca Di Marco: Università dell'Aquila, Dipartimento di Informatica, Italy; Paola Inverardi: Università dell'Aquila, Dipartimento di Informatica, Italy; Antonino Sabetta: ISTI-CNR, Pisa, Italy; Massimo Tivoli: Università dell'Aquila, Dipartimento di Informatica, Italy.


A Framework for Contract-Policy Matching based on Symbolic Simulations for securing Mobile Device Application
Paolo Greci, Fabio Martinelli: Istituto di Informatica e Telematica of CNR, Pisa, Italy; Ilaria Matteucci: Istituto di Informatica e Telematica of CNR, Pisa, Italy and CREATE-NET, Trento, Italy.

12.40-12.50 discussion discussion
 
lunch
 
14.30-15.15

Invited Talk: Information System Engineering Supporting Observation, Orientation, Decision, and Compliant Action
Dimitrios Georgakopoulos, Telcordia, USA.

 
15.20-16.20

TR04: Model-Driven SOA
Organizers: Schahram Dustdar, Karl M. Göschka, Hong-Linh Truong, Uwe Zdun, Distributed Systems Group Vienna University of Technology, Austria.


Towards Using Reo for Compliance-aware Business Process Modeling
Farhad Arbab, Natallia Kokash, Sun Meng: CWI, Amsterdam, The Netherlands.


On the risk management and auditing of SOA based business processes
Bart Orriens, Willem-Jan v/d Heuvel, Mike Papazoglou: Tilburg University, The Netherlands.


SCA and jABC: Bringing a Service-oriented Paradigm to Web-service construction
Georg Jung, Tiziana Margaria, Wolfgang Schubert: Potsdam University, Germany; Bernhard Steffen: TU Dortmund, Germany; Horst Voigt: Potsdam University, Germany.

TR09: Ubiquitous and Context Aware Systems
Organizers: Karin Breitman (PUC-Rio, Brazil); Mike Hinchey (LERO - Ireland); Edward Hermann Haeusler (PUC-Rio, Brazil); Jean-Pierre Briot (UPMC - LIP6 - France).


A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing
Isabel Cafezeiro: Universidade Federal Fluminense, Niter¢i, Brazil; José Viterbo, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler: PUC Rio de Janeiro, Brazil.


Contexts and Context Awareness in view of the Diagram Predicate Framework
Uwe Wolter: University of Bergen, Norway; Zinovy Diskin: University of Toronto, Canada.


The Use of Adaptive Semantic Hypermedia for Ubiquitous Collaboration Systems
Patricia Seefelder de Assis: Universidade Estadual do Rio de Janeiro (UERJ), Friburgo, Brazil; Daniel Schwabe: PUC Rio de Janeiro, Brazil.

16.20-16.30 discussion discussion
 
break
 
17.00-18.00

TR06: Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia
Organizers: Jin Song Dong, National University of Singapore; He Jifeng, East China Normal University, China; Zhiming Liu, UNU-IIST, Macao; Jian Lu, Nanjing University, China; Ji Wang, Changsha Institute of Technology, China.


ASERE: Assuring The Satisfiability of Sequential Extended Regular Expressions
Naiyong Jin and Huibiao Zhu: Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, P.R. China.


Computing Must and May Alias to Detect Null Pointer Dereference
Xiaodong Ma, Ji Wang, and Wei Dong: National Laboratory for Parallel and Distributed Processing, P. R. China.


A partial order reduction technique for parallel timed automation model checking
ZHAO Jianhua, WANG Linzhang, and LI Xuandong: State Key Laboratory of Novel Software Technology, Department of Computer Science and Technology, Nanjing University, P.R. China.

TR09: Ubiquitous and Context Aware Systems (cont.)
Organizers: Karin Breitman (PUC-Rio, Brazil); Mike Hinchey (LERO - Ireland); Edward Hermann Haeusler (PUC-Rio, Brazil); Jean-Pierre Briot (UPMC - LIP6 - France).


The Use of Formal Ontology to Specify Context in Ubiquitous Computing
Karin Breitman: PUC-Rio de Janeiro, Brazil; Mike Hinchey: Lero - The Irish Software Engineering Research Centre, University of Limerick, Ireland.


High Service Availability in MaTRICS for the OCS
Markus Bajohr, Tiziana Margaria: University of Potsdam, Germany.


Supporting Requirements Definition and Quality Assurance in Ubiquitous Software Project
Rodrigo O. Spínola, Felipe C.R. Pinto, Guilherme H. Travassos - COPPE/UFRJ, Rio de Janeiro, Brazil.

18.00-18.10 discussion discussion
 
18.10-19.00 Reception

 top

14 October

9.00-9.45

Keynote: Modelling Coordination and Compensation
He Jifeng: Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, China.

 
9.50-10.30

TR08: Processes, Methods and Tools for Developing Educational Modules to Support Teaching and Technology Transfer
Organizers: Ellen Francine Barbosa; José Carlos Maldonado: University of São Paulo, ICMC/USP - Brazil


Weaving a Formal Methods Education With Problem-Based Learning
J Paul Gibson: Le Département Logiciels-Réseaux, IT-SudParis, Évry, France.


Encouraging the Uptake of Formal Methods Training in an Industrial Context
Mike Hinchey: Lero - the Irish Software Engineering Research Centre, University of Limerick - Ireland.

S01: Tools for Service-oriented Discovery of Knowledge
Organizers: Axel Hahn (University of Oldenburg, Germany), Nada Lavrac (Jozef Stefan Institute, Ljubljana, Slovenia), Joost Kok (Leiden University, The Netherlands)


On The Design of Knowledge Discovery Services: Design Patterns and Their Application in A Use Case Implementation
Jeroen de Bruin, Joost N. Kok: LIACS, Leiden University, Leiden, The Netherlands; Nada Lavrac: Jozef Stefan Institute, Ljubljana, Slovenia; Igor Trajkovski: New York University Skopje, Skopje, Macedonia.


The ASK System and the challenge of distributed knowledge discovery
Andries Stam: Almende BV, Rotterdam, The Netherlands.

TR06: Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia (cont.)
Organizers: Jin Song Dong, National University of Singapore; He Jifeng, East China Normal University, China; Zhiming Liu, UNU-IIST, Macao; Jian Lu, Nanjing University, China; Ji Wang, Changsha Institute of Technology, China.


Program Verification by Reduction to Semi-Algebraic Systems Solving
Bican Xia: LMAM & School of Mathematical Sciences, Peking University, China; Lu Yang: Shanghai Key Lab. of Trustworthy Computing, East China Normal University; Naijun Zhan: Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences.


Debugging Statecharts via Model-Code Traceability
Liang Guo, and Abhik Roychoudhury: School of Computing, National University of Singapore.

10.30-10.40 discussion discussion discussion
 
break
 
11.00-12.00

TR08: Processes, Methods and Tools for Developing Educational Modules to Support Teaching and Technology Transfer (cont.)
Organizers: Ellen Francine Barbosa; José Carlos Maldonado: University of São Paulo, ICMC/USP - Brazil


Computer-supported collaborative learning with mind-maps
Dmitrij Koznov: Siant-Petersburg State University, Russia; Michel Pliskin: Comapping, Roskilde, Denmark.


Agile IT: Thinking in User-Centric Models
Tiziana Margaria: University of Potsdam, Germany; Bernhard Steffen: TU Dortmund, Germany.


Specialization and Instantiation Aspects of a Standard Process for Developing Educational Modules
Ellen Francine Barbosa, José Carlos Maldonado: University of São Paulo, ICMC/USP, Brazil.

S01: Tools for Service-oriented Discovery of Knowledge (cont.)
Organizers: Axel Hahn (University of Oldenburg, Germany), Nada Lavrac (Jozef Stefan Institute, Ljubljana, Slovenia), Joost Kok (Leiden University, The Netherlands)


A Scenario Implementation in R for SubtypeDiscovery Examplified on Chemoinformatics Data
Fabrice Colas: Leiden University, The Netherlands; Ingrid Meulenbelt: MOLEPI, LUMC, The Netherlands; Jeanine J. Houwing- Duistermaat: MEDSTATS, LUMC, The Netherlands; Margreet Kloppenburg: Rheumatology dept., LUMC, The Netherlands; Iain Watt: Radiology dept., LUMC, The Netherlands; Stephanie M. van Rooden: Neurology dept., LUMC, The Netherlands; Martine Visser: Neurology dept., LUMC, The Netherlands: Johan Marinus: Neurology dept., LUMC, The Netherlands; Edward O. Cannon: UCMSI, University of Cambridge, United Kingdom; Andreas Bender: LACDR, Leiden University, The Netherlands; Jacobus J. van Hilten: Neurology dept., LUMC, The Netherlands; P. Eline Slagboom: MOLEPI, LUMC, The Netherlands; Joost N. Kok: Leiden University, and MOLEPI, LUMC, The Netherlands.


Requirements for Ontology based Design Project Assessment
große Austing, Stephan: University of Oldenburg, Germany; Hahn, Axel: University of Oldenburg, Germany; Häusler, Stefan: OFFIS - Institute for Information Technology, Oldenburg, Germany; Reinelt, Matthias: University of Oldenburg, Germany.


Organizing the World's Machine Learning Information
Joaquin Vanschoren and Hendrik Blockeel: K.U.Leuven, Leuven, Belgium; Bernhard Pfahringer and Geoff Holmes: University of Waikato, Hamilton, New Zealand.

TR06: Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia (cont.)
Organizers: Jin Song Dong, National University of Singapore; He Jifeng, East China Normal University, China; Zhiming Liu, UNU-IIST, Macao; Jian Lu, Nanjing University, China; Ji Wang, Changsha Institute of Technology, China.


Model Checking CSP Revisited: Introducing a Process Analysis Toolkit
Jun Sun, Yang Liu, Jin Song Dong: School of Computing, National University of Singapore.


Formal Use of Design Patterns and Refactoring
Long Quan and Qiu Zongyan: LMAM & Dept. of Informatics, School of Math. Peking University, Beijing, China; Zhiming Liu: UNU-IIST, Macao SAR, China.


A Component-based Access Control Monitor
Zhiming Liu, Charles Morisset, and Volker Stolz: UNU-IIST, Macao SAR, China.

12.00-12.10 discussion discussion discussion
 
lunch
 
14.00-15.00

S02: Tackling the challenges of Software Development Process for SMEs with Rigorous Support and Open Source
Organizers: Ruth Breu (University of Innsbruck, Austria); Maura Cerioli (Disi, Genova - Italy); Enrico Pittaluga (ETT -Electronic Technology Team, Genova - Italy)


Workflow Testing
R. Breu: Universität Innsbruck, Austria; A. Lechner: world- direct/eBusiness Solutions GmbH, Innsbruck, Austria; M. Willburger: Universität Innsbruck and world-direct/eBusiness Solutions GmbH, Innsbruck, Austria; B. Katt: Universität Innsbruck, Austria.


The jABC Approach to Rigorous Collaborative Development of SCM Applications
Martina Hörmann: IKEA IT Germany GmbH; Tiziana Margaria: University of Potsdam, Germany; Thomas Mender: IKEA IT Germany GmbH; Ralf Nagel: TU Dortmund, Germany; Bernhard Steffen: TU Dortmund, Germany; Hong Trinh: IKEA IT Germany GmbH.


Gesper: Support to Capitalize on Experience in a Network of SMEs
Maura Cerioli: Università di Genova, Italy, Giovanni Lagorio: Università di Genova, Italy; Enrico Morten: Softeco Sismat S.p.A, Genova, Italy;Gianna Reggio: Università di Genova, Italy.

TR07: Non-Functional Requirements in Embedded Systems
Organizers: Raimund Kirner, Vienna University of Technology; Peter Puschner, Vienna University of Technology; Christian Schallhart, Technische Universität Darmstadt; Helmut Veith, Technische Universität Darmstadt; Martin Wechs, BMW Forschung und Technik GmbH.


Navigating the Requirements Jungle
Boris Langer: Diehl Aerospace GmbH, Frankfurt, Germany; Michael Tautschnig: Technische Universität Darmstadt, Germany.


Non-Functional Avionics Requirements
Michael Paulitsch: Honeywell Areospace, Golden Valley, MN, USA; Harald Ruess: IABG, Ottobrunn, Germany; Maria Sorea: EADS Innovation Works, Munich, Germany.


A Simulation Approach for Performance Validation during Embedded Systems Design
Zhonglei Wang, Wolfgang Haberl, Andreas Herkersdorf: Technische Universität München, Martin Wechs: BMW Forschung und Technik GmbH, München.

Regular papers:


Directed Generation of Test Data for Static Semantics Checker
Arkhipova, Maria and Zelenov, Sergey: Institute for System Programming of the Russian Academy of Sciences.


Event-Based Approach to Modelling Dynamic Architecture: Application to Mobile Ad-hoc Network
Attiogbé, Christian: University of Nantes, France.


Trusted theorem proving: a case study in SLD-resolution
Arkoudas, Konstantine and Shivers, Olin: MIT, Northeastern University College of Computer and Information Science.


Composition of Web Services Using Wrappers (Short paper)
Haidar, Ali N.; Abdallah, Ali E.: London South Bank University, UK.

15.00-15.10 discussion discussion
 
15.30 Outing and Conference Dinner

 top

15 October

9.00-10.20

TR07: Non-Functional Requirements in Embedded Systems (cont.)
Organizers: Raimund Kirner, Vienna University of Technology; Peter Puschner, Vienna University of Technology; Christian Schallhart, Technische Universität Darmstadt; Helmut Veith, Technische Universität Darmstadt; Martin Wechs, BMW Forschung und Technik GmbH.


Optimizing Automatic Deployment Using Non-Functional Requirement Annotations
Stefan Kugele: Technische Universität München and Technische Universität Darmstadt; Wolfgang Haberl: Technische Universität München; Michael Tautschnig: Technische Universität Darmstadt; Martin Wechs: BMW Forschung und Technik GmbH, München.


Experiences with Evolutionary Timing Test of Automotive Software Components
Florian Franz: BMW Group and Institute for Real-Time Computer Systems TU Munich.


Measurement-Based Timing Analysis
Ingomar Wenzel, Bernhard Rieder, Raimund Kirner, Peter Puschner: Vienna University of Technology, Austria.


ALL-TIMES - a European Project on Integrating Timing Technology
Jan Gustafsson, Bjorn Lisper: School of Innovation, Design, and Engineering, Mälardalen University, Västerås, Sweden; Markus Schordan: Vienna University of Technology, Austria; Christian Ferdinand: AbsInt Angewandte Informatik GmbH, Saarbrücken, Germany; Peter Gliwa: Gliwa GmbH, München, Germany; Marek Jersak: Symtavision GmbH, Braunschweig, Germany; Guillem Bernat: Rapita Systems, York, UK.

Regular papers: (cont.)


High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM
Farahbod, Roozbeh; Glässer, Uwe; Jackson, Piper J.; Vajihollahi, Mona: Simon Fraser University B.C., Canada.


Optimizing the system observability level for diagnosability
Brand n Briones, Laura; Lazovik, Alexander; Dague, Philippe;: LRI, Univ. Paris-Sud, Orsay, France.


Weaving Authentication and Authorization Requirements into the Functional Model of a System using Z Promotion
Haidar, Ali N.; Abdallah, Ali E.: London South Bank University, UK.


Simple Gedanken Experiments in Leveraging Applications of Formal Methods
Boute, Raymond: Ghent University, Belgium.


SEW - Software Architectures


9.00
1. An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations
Barbosa, Paulo; Ramalho, Franklin; Figueiredo, Jorge; Junior, Antonio


9.30
2. A Software Architecture for an Engineering Collaborative Problem Solving Environment
Raposo, Alberto; Santos, Ismael; Gattass, Marcelo


10.00
3. A Middleware Architecture for Context-Aware and Location-Based Mobile Applications
Viterbo, Jose; Malcher, Marcelo; Rocha, Ricardo; Endler, Markus; Baptista, Gustavo; Sacramento Vagner

10.20-10.30 discussion discussion
 
break
 
11.00-12.20

TR10: Formal Methods for Analysing and Verifying Very Large Systems
Organizers: Jens Knoop - TU Vienna, Austria; Markus Schordan - TU Vienna, Austria; Tom Ball - Microsoft Research, USA


Squeeze All the Power Out of Your Hardware to Verify Your Software! (position paper)
Jiݒ Barnat, Lubos Brim: Masaryk University, Brno, Czech Republic.


Static Partial-Order Reduction of Concurrent Systems in Polynomial Time
Robert Mittermayr, Johann Blieberger: TU Vienna, Austria.


An Extensible Space-based Coordination Approach for Modeling Complex Patterns in Large Systems
Eva Kühn, Richard Mordinyi, Christian Schreiber: TU Vienna, Austria.

TR01: Service Engineering in a converging Telecommunications / Web 2.0 World (cont.)
Organizers: T. Magedanz, TU Berlin and Fraunhofer FOKUS, D; Noel Crespi, GET, F


Applying MSC and SDL to specify and validate an architecture based on 3GPP NGN level 4
Rossana Maria de Castro Andrade,; Miguel Franklin de Castro, Antonia Diana Braga Nogueira, Federal University of Ceará - Fortaleza, Brasil.


InSeRt - An Intent-based Service Request API for Service Exposure in Next Generation Networks
N. Blum, S. Dutkowski, T. Magedanz, Fraunhofer FOKUS / Technische Universität Berlin, Germany


Categorizing and Assembling Web Services in a Composition Framework
Rajesh Karunamurthy, Ferhat Khendek, /Concordia University//, Canada/// Roch H. Glitho, /Ericsson Canada and Concordia University, Canada.


User-centric services and service composition, a survey
Nassim Laga: Orange Labs Orange Labs - France Telecom R&D, Caen, France and Institut TELECOM SudParis, Evry Cedex, France; Emmanuel Bertin: Orange Labs Orange Labs - France Telecom R&D, Caen, France; Noel Crespi: Institut TELECOM SudParis, Evry Cedex, France.

SEW - Software Components


11.00
4. Making Components Fit: SPINing
Sery, Ondrej; Poch, Tomas; Kofron, Jan


11.30
5. TBP: Code-Oriented Component Behavior Specification
Sery, Ondrej; Poch, Tomas; Kofron, Jan


12.00
6. Using Structural Testing to Identify Unintended Join Points Selected by Pointcuts in Aspect- Oriented Programs
Lemos, Otavio; Masiero, Paulo

12.20-12.30 discussion discussion
 
lunch
 
14.00-14.45

Joint Invited Talk: Exposing network capabilities and designing a future service creation environment
Horst Stein, Deutsche Telekom AG.

 

jABC Workshop


14.50-15.20 Opening Session:

  • Welcome and Introduction
    Prof. Bernhard Steffen - Symposium Chair ISoLA 2008
    Prof. Tiziana Margaria - Program Chair ISoLA 2008
    Attila Mozes - provalida GmbH
  • Introduction Industrial Partners
    Olaf Dörnenburg - T-Systems Enterprise Services GmbH
    Matthias Kaiser - SAP AG
    Jens Lemcke - SAP AG
    Stefan Kopka - BASF-IT

15.20-16.20 1. Session: jABC in the large

  • jABC and the One-Thing-Approach: Introduction to a New Mindset
    Prof. Bernhard Steffen - TU Dortmund
    Prof. Tiziana Margaria - University of Potsdam
  • Protecting Investments in the Presence of Legacy
    Christian Wagner - University of Potsdam

16.20-16.50 coffee break


16.50-18.20 2. Session: The One-Thing-Approach Meets Business

  • Process-Based Testing: Requirements in the Focus
    Hans-Peter Gooren - T-Systems Enterprise Services GmbH
    Maik Merten, Dominik Opolony and Martin Gernand - TU Dortmund
  • Process-Based Web Application Testing: Best Practices
    Olaf Dörnenburg - T-Systems Enterprise Services GmbH
    Maik Merten, Harald Raffelt -- TU Dortmund
  • Resource Planning for Field Service at T-Services: Best Practices
    Attila Mozes - provalida

18.20-19.20 Founding Meeting of the jABC/proQuality User Group

Attila Mozes - provalida


19.50-open end : Get-together and Workshop Dinner

SEW - Web Services and Mediation


14.30
7. SPLACID: an SPL-oriented, ACTA-based, language for reusing (varied) ACID properties
Gallina, Barbara; Guelfi, Nicolas


15.00
8. Database Mediation using Multi-Agent Systems
Paes Leme, Luiz; Furtado, Antonio L.; Casanova, Marco Antonio; Breitman, Karin


15.30
9. CEFAM: Comprehensive Evaluation Framework for Agile Methodologies
Ramsin, Raman; Taromirad, Masoumeh


16.00
0. A Formal Approach for Web Services Composition based on CSP
Abdallah, Ali E.


SEW - Invited Session


16.30
11. Topic: Information Fusion
Sten Andler


17.00
12. Variability Analysis: From Requirements Engineering Towards Interaction Design
Bruno Santana; Simone Barbosa


17.30
13. Topic: autonomic systems
Roy Sterritt


18.00
14. Topic: non-functional requirements
Luiz Marcio Cysneiros

 top

16 October

jABC Workshop


09.00-10.30 3. Session: Scientific Processes

  • Process Support for Bioinformatics: BIO-jETI
    Anna-Lena Lamprecht - TU Dortmund
  • Automating Cell Flux Analyses with Bio-jETI: FiatFlux-P
    Birgitta Ebert - ISAS (Institute for Analytical Sciences) Dortmund
    Anna-Lena Lamprecht - TU Dortmund
  • Analyzing text corpora with jABC processes
    Dunja Rauh - TU Dortmund
    Manfred Stede, Peter Kolb - University of Potsdam

11.00-13.00 4. Session: jABC for Strategy and Planning

  • Process Requirements for Merger and Acquisition Blue-Print: Best Practices
    Stefan Kopka - BASF-IT
  • Goal-Oriented Enterprise Management: Gents in the jABC
    Matthias Kaiser and Jens Lemcke - SAP AG
    Christian Kubczak, TU Dortmund
    Tiziana Margaria, Björn Knuth - University of Potsdam
  • Strategies towards high-performance organizations
    Christoph Rasche - University of Potsdam
  • Test your Strategy: Tutorial for the Praxis
    Marco Bakera and Sven Jörges - University of Dortmund
  • Fashion Calender: Best Practices
    Steve Simon - TU Dortmund

14.30-15.30 Panel: The One-Thing-Approach Meets Business

Matthias Kaiser, Christoph Rasche, Stefan Kopka, Olaf Dörnenburg, Bernhard Steffen (Moderation: Attila Mozes und Tiziana Margaria)


Workshop Closing

Tiziana Margaria - University of Potsdam
Attila Mozes - provalida GmbH
Bernhard Steffen - TU Dortmund

SEW - Software Metrics & Estimation


09.00
15. A Quasi-Experiment for Effort and Defect Estimation using Least Square Linear Regression and Function Points
Tenório Jr., Nelson; Ruiz, Duncan; Blois, Marcelo


09.30
16. Issues on Estimating Software Metrics in a Large Software Operation
Barros, Rodrigo; Ruiz, Duncan; Tenório, Nélson; Basgalupp, Márcio


10.00
17. Improving the Precision of Fowler's Definitions of Bad Smells
Zhang, Min; Wernick, Paul; Baddoo, Nathan; Hall, Tracy


SEW - Quality Assurance


11.00
18. On The Relation between External Software Quality and Static Code Analysis
Plösch, Reinhold


11.30
19. A Proposal for Defining a Set of Basic Items for Project-specific Traceability Methodologies
Espinoza, Angelina; Garbajosa, Juan


12.00
20. Measuring Impact of Teaching Anti-Patterns and Heuristics on Quality of Object Oriented Design
Anwar, Saira; Maqsood, Manzil-e-; Basit, Wafa; Humayun, Amna

top

 
   
 
Home Call for Papers Committees Tracks & Session Program Paper Submission General Information Registration Accommodation