|
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
|
|