  |
|
|
European Association
of Software Science and Technology (EASST)
|
|
|
|
|
Contents
|
|
|
|
|
|
Julia Padberg.
Welcome ........................................................................................
|
4 |
|
|
|
|
Moritz Hammer, Michael Weber.
To Store or Not To Store.
Reloaded: Reclaiming Memory on Demand ..............................................................................................
|
5 |
|
Hartmut Ehrig.
Review on the textbooks
Software Engineering 1-3 by Dines Bjřrner ....
|
12 |
|
Maura Cerioli.
Report on MoDELS/UML
2006 and on GIIS meeting 2006 ....................
|
15 |
|
Luboš Brim, Martin Leucker.
FMICS 2006 - 11th InternationalWorkshop
on Formal Methods for Industrial Critical Systems ...................................................................
|
18 |
|
Julia Padberg.
Report on Establishing
The Electronic Communications of the EASST .
|
19 |
|
|
|
|
The EASST Flyer
................................................................................................
|
22 |
|
Application Form
.................................................................................................
|
25 |
|
|
|
|
|
|
|
Contents
|
|
|
|
|
|
J. Padberg.
Welcome ...........................................................................................
|
4 |
|
|
|
|
D. Cooney, M. Dumas, P.Roe.
Summary of GPSL: A Programming
Language for Service Implementation ..........................................................................................
|
5 |
|
J. Knoop.
The SOFTWARE ANALYSIS AND
VERIFICATION Column ........................
|
10 |
|
C. Oliveira, M. Wermelinger.
The SOFTWARE ARCHTECTURE
Column The CommUnity Workbench .........................................................................................
|
14 |
|
K. Ehrig, and G. Taentzer. D. Varró
. The VISUAL LANGUAGES
Column Tool Integration by Model Transformations based on the
Eclipse Modeling Framework ........
|
25 |
|
T. Margaria .
The Minutes of the General
Assembly ..................................................
|
37 |
|
|
|
|
Reports of the Extended
Board ...............................................................................
|
39 |
|
J. Knoop.
Report on ETAPs ...................................................................................
|
42 |
|
R. Heckel.
Report on FASE ...................................................................................
|
48 |
|
H. Ehrig.
Report on ACCAT ...................................................................................
|
50 |
|
R. Reussner.
Report on FESCA .............................................................................
|
52 |
|
|
|
|
|
|
|
Contents
|
|
|
Tiziana Margaria, José-Luis Fernández-Villacańas
Martín. Welcome
..........................
|
|
|
|
|
|
Roberto Di Cosmo, Berke Durak, Xavier
Leroy, Fabio Mancinelli, Jerome Vouillon.
Maintaining large software
distributions: new challenges from the FOSS era ..............
|
7 |
|
Valerie Issarny, Antonia Bertolino,
Wolfgang Emmerich, Paola Inverardi.
Softure: Adaptable, Reliable
and Performing Software for the Future ......................................
|
21 |
|
Ruzanna Chitchyan, Awais Rashid, Pete
Sawyer. Requirements
Composition and Refinement: Towards Composition-Centric Requirements
Engineering .......................
|
35 |
|
Miguel Jose Montesdeoca, Juan Hernandez,
Ana Placido, Mario Hernandez.
Business Modelling Environment.
BMETool ...........................................................................
|
47 |
|
Chris Chedgey, Micheal O'Foghlu, Eamonn
de Leastar. A European
Open Source Project Information Server ......................................................................................
|
66 |
|
Claus Pahl.
Perspectives for a Model-driven
Service Engineering Discipline ................
|
74 |
|
|
|
|
Ioannis Zaharakis, Achilles Kameas.
Emergent Phenomena in AmI
Spaces...............
|
82 |
|
José-Manuel López-Cobo, Alejandro López-Pérez,
James Scicluna. A
semantic choreography-driven Frequent Flyer Program ...........................................................
|
97 |
|
Joachim Bayer, Fabio Bella, and Alexis
Ocampo. Characterization
of Semantic Grid Engineering ..........................................................................................................
|
112 |
|
André Bottaro, Anne Gérodolle.
Extended Service Binder:
Dynamic Service Availability Management in Ambient Intelligence
.......................................................................
|
125 |
|
Arne Berre, H. Hoff, D. Skogan, A.
Tsalgatidou G. Athanasopoulos, M. Pantazoglou.
Service-Oriented Development
In a Unified framework (SODIUM) – Future Research Challenges
......................................................................................
|
133 |
|
Julien Pauty, Davy Preuveneers, Peter
Rigole, Yolande Berbers.
Research Challenges in
Mobile and Context-Aware Service Development ...................................................
|
141 |
|
Fano Ramparany, Jérôme Euzenat, Tom
Broens, Jérôme Pierson.
Context Management and
Semantic Modeling for Ambient Intelligence ...................................
|
149 |
|
|
|
|
|
|
|
Contents
|
|
|
|
|
|
J Padberg.
Welcome .............................................................................................
|
4
|
|
T. Hoare, J. Misra.
Verified software: theories,
tools, experiments .............................
|
5
|
|
T. Hoare, J. Misra.
Verified software: Frequently
Asked Questions............................
|
18 |
|
P. de la C á mara, M.M. Gallardo, P.
Merino, D. San á n.
Model Checking Software with Well-Defined APIs: the Socket Case................................................................
|
31 |
|
The
“Biologically-Inspired Computing” Column by M. Hinchey ....................................
|
35
|
|
R. Sterritt, M. Hinchey.
Biologically Inspired: The
Autonomic Computing Initiative ........
|
36
|
|
Forthcoming
Events ...............................................................................................
|
42
|
|
The Software-Architecture Column by M.
Wermelinger, R. Reussner ..........................
|
|
|
L. Rapanotti, J. G. Hall.
Problem-Oriented Requirements
Engineering: Redressing the balance between problem and solution
spaces .........................................................
|
46 |
|
The Tool Column by T. Margaria .............................................................................
|
|
|
S. Ranise and C. Tinelli.
The Satisfiability Modulo
Theory Library Initiative ..................
|
55 |
|
U. Zdun, P. Avgeriou.
Architecture-Centric Evolution
................................................
|
61 |
|
A. Cerone , P. H. Schmitt.
Report on SEFM 2005....................................................
|
71 |
|
C. Montangero.
Report on GIIS ...............................................................................
|
74 |
|
Call
for Papers: FM 06 ...........................................................................................
|
77 |
|
Call
for Papers: ICTAC ...........................................................................................
|
78 |
|
Call
for Papers: QAPL ...........................................................................................
|
82 |
|
Call
for Papers: FRCSS.........................................................................................
|
85 |
|
Call
for Papers: FESCA.........................................................................................
|
86 |
|
The
EASST Flyer..................................................................................................
|
89 |
|
EASST
Application Form.......................................................................................
|
92 |
|
|
|
|
|
|
|
|
|
|
Contents
|
|
|
|
|
|
J Padberg.
Welcome .............................................................................................
|
4
|
|
D. A. Naumann.
Observational Purity
and Encapsulation (Summary) .........................
|
5
|
|
T. Margaria, M. Cerioli.
Minutes of the EASST
General Assembly. ............................
|
8 |
|
R. Heckel (ed.). The Column on
Visual Modelling Techniques ...................................
|
|
|
G. Taentzer.
Tools of the SegraVis
Research Training Network.................................
|
12 |
|
J. Knoop (ed.).
The “Software Analysis
and Verification” Column ...............................
|
23 |
|
I. A M El-Maddah.
Adding Informal
Analysis Ingredients to the Development Recipe ....
|
24 |
|
H. Ehrig.
Report on TAPSOFT
2005 ........................................................................
|
31 |
|
H. Ehrig, B. Mahr (eds.).
TAPSOFT 2005: Distinguished
Lecture Series .....................
|
33 |
|
St. Gruner.
Report on SAC-SE-2005
.......................................................................
|
49 |
|
Call for Papers:
ABMB 05 ......................................................................................
|
52 |
|
Call for Participation:
SEFM0 05 .............................................................................
|
56 |
|
The EASST Flyer
..................................................................................................
|
57 |
|
EASST Application
Form .......................................................................................
|
60 |
|
|
|
|
|
|
|
|
|
|
Contents
|
|
|
|
|
|
J Padberg.
Welcome .............................................................................................
|
4
|
|
S. M. Becker, S. Lohmann, B. Westfechtel.
A Summary of Rule Execution
in Graph-Based Incremental Interactive Integration Tools
..............................................
|
5 |
|
The Software
Analysis and Verification Column by J. Knoop ......................................
|
9
|
|
The Visual Modelling Techniques Column
by R. Heckel ............................................
|
|
|
R. Heckel.
News on the SegraVis Research
Training Network ...................................
|
13 |
|
The Software-Architecture Column by M.
Wermelinger, R. Reussner ..........................
|
|
|
R. Reussner.
The Role of the Software Architect:
The Software Architecture Memorandum of the ”Sylter Runde”
.........................................................................
|
21 |
|
The Tool Column by T. Margaria .............................................................................
|
|
|
J.Hathcliff, M. B. Dwyer, Robby.
Bogor: An Extensible Framework
for Domain-Specific Model Checking....................................................................................................
|
24 |
|
J. Bicarregui, A. Butterfield, A. Arenas.
Report on FMICS 2004 .................................
|
35 |
|
H. Ehrig.
Report on ICGT 2004 ...............................................................................
|
37 |
|
Call for Participation:
TAPSOFT 2005 Distinguished
Lectures ....................................
|
39 |
|
Call for Papers:
FESCA 2005 .................................................................................
|
43 |
|
The EASST
Flyer...... ...........................................................................................
|
47 |
|
EASST
Application Form.......................................................................................
|
50 |
|
|
|
|
|
|
|
|
|
|
Contents
|
|
|
|
|
|
J Padberg.
Welcome .............................................................................................
|
4
|
|
M. Huisman, D. Gurov, C. Sprenger,
G. Chuguno. A Summary
of Checking Absence of Illicit Applet Interactions: A Case Study
...............................................................
|
5 |
|
T. Margaria, H. Ehrig.
Minutes of the EASST
General Assembly ...............................
|
10 |
|
H. Ehrig.
Guidelines for EASST
Representatives ......................................................
|
13
|
|
The Software-Architecture Column by M.
Wermelinger, R. Reussner ..........................
|
|
|
R. Reussner.
The Working Group Software
Architecture of the German Computer Science Society ....................................................................................................
|
15 |
|
R. Heckel and J. Bézivin.
Language Engineering
for Model-driven Software Development .........................................................................................................
|
20 |
|
The Visual Modelling Column by R. Heckel
..............................................................
|
|
|
R. Heckel. Introducing SegraVis:
A European Research Training
Network ..................
|
27 |
|
H. Ehrig.
Report on ETAPS 2004
............................................................................
|
37 |
|
G.-C. Roman.
Software Engineering
Excellence in Barcelona (Report on FASE) .........
|
39 |
|
H. Ehrig.
Integration of Specification
Techniques for Applications in Engineering 1998-2004 (Report
on INT) ......................................................................................
|
41 |
|
R. Reussner, J. Küster-Filipe, I. Poernomo,
S. Shukla. Report
on FESCA .................
|
43 |
|
Call for Papers:
FMICS ..........................................................................................
|
53 |
|
The EASST Flyer ..................................................................................................
|
54 |
|
EASST Application Form .......................................................................................
|
57 |
|
|
|
|
|
|
|
|
|
|
Contents
|
|
|
|
|
|
J Padberg.
Welcome .............................................................................................
|
4
|
|
St. Blom, S. Orzan.
Distributed State Space Minimization
........................................
|
5
|
|
P. Ziemann, M. Gogolla.
Validating OCL Specifications
with the USE Tool.................
|
8
|
|
St. Gnesi.
Report on FM 2003................................................................................
|
10 |
|
Th. Arts, W. Fokkink.
Report on FMICS 2003.........................................................
|
12 |
|
Call for Papers:
WICSA .........................................................................................
|
14 |
|
Call for Papers:
EWSA ..........................................................................................
|
16 |
|
Call for Papers:
SEFM 2004 ...................................................................................
|
20 |
|
The EASST
Flyer..................................................................................................
|
21 |
|
EASST
Application Form.......................................................................................
|
24 |
|
|
|
|
|
|
|
|
|
|
Contents
|
|
|
|
|
|
J Padberg.
Welcome .............................................................................................
|
4
|
|
T. Margaria.
Opening Adress ..................................................................................
|
5
|
|
The Tool Column by T. Margaria .............................................................................
|
|
|
J. G. Süß, A. Leicher.
Software Model Engineering
and Reuse ..................................
|
7 |
|
H. Ehrig, H. Weber.
Minutes of the General Assembly
.............................................
|
27 |
|
Call for Papers:
FASE 2004 ...................................................................................
|
31 |
|
Call for Papers:
FME 2003 .....................................................................................
|
34 |
|
The
EASST Flyer..................................................................................................
|
35 |
|
EASST
Application Form.......................................................................................
|
38 |
|
|
|
|
|
|
|
|
|
|
Contents
|
|
|
|
|
|
J Padberg.
Welcome .............................................................................................
|
4
|
|
R. Heckel, M. Chouikha.
Control Synthesis for Discrete
Event Systems: A Semantic Framework Based on Open Petri Nets
....................................................................
|
5 |
|
The Tool Column by T. Margaria .............................................................................
|
|
|
T. Arts.
Requirements for software
tools - five years of industrial experience with formal method
tools .........................................................................................................
|
23 |
|
H. Ehrig, H. Weber.
Agenda of the General
Assembly 2003 ......................................
|
27 |
|
Program:
FASE 2003 ............................................................................................
|
31 |
|
Call for Papers:
FMICS 2003 ..................................................................................
|
34 |
|
The
EASST Flyer ..................................................................................................
|
35 |
|
EASST
Application Form .......................................................................................
|
38 |
|
|
|
|
|
|
|
|
|
|
Contents
|
|
|
|
|
|
J Padberg.
Welcome .............................................................................................
|
4
|
|
J. Einhaus, S. Grunwald, J. Caumanns.
Advanced Vocational Training
in the IT-sector: Synchronicity of Learning and Working
....................................................................
|
5 |
|
The
Tool Column by T. Margaria .............................................................................
|
11 |
| H. Garavel, F. Lang, R. Mateescu. An Overview of CADP 2001 .................................. | 13 |
|
The Continuous Learning Column by H. Weber
........................................................
|
25 |
| H. Ehrig. The General Assembly 2002 ..................................................................... | 26 |
|
J. Padberg.
Report on IDPT 2002
...........................................................................
|
28 |
|
Preliminary Program:
ICGT 2002 .............................................................................
|
30 |
|
Call for Participation:
ICGT 2002 .............................................................................
|
34 |
|
The
EASST Flyer..................................................................................................
|
37 |
|
EASST
Application Form.......................................................................................
|
40 |
|
|
|
|
|
|
|
|
|
|
Contents
|
|
|
|
|
|
J Padberg.
Welcome .............................................................................................
|
4
|
|
B. Krämer.
E-learning, Virtual
University, Online Learning: education embraces technology
............................................................................................................
|
5 |
|
H. Weber .
EASST Workshop Continuous
Software Engineering: Education on Demand ...............................................................................................................
|
13 |
|
H. Ehrig.
A Review of Graph
Grammars and Preview of ICGT 2002: The First International Conference
on Graph Transformation ....................................................
|
15 |
|
J. Desel.
Report on the Science
Summer 2001 ........................................................
|
20 |
|
The EASST Flyer..................................................................................................
|
22 |
|
EASST Application
Form.......................................................................................
|
25 |
|
Call for Papers:
IDPT 2002 .....................................................................................
|
26 |
|
Call for Papers:
ICGT 2002 .....................................................................................
|
29 |
|
|
|
|
|
|
|
|
|
|
Contents
|
|
|
|
|
|
J Padberg.
Welcome .............................................................................................
|
4
|
|
H. Hußmann.
Fundamental Approaches
to Software Engineering 2001 - About the Programme ...........................................................................................................
|
5 |
|
H. Weber.
Scope of ”Fundamental
Approaches to Software Engineering 2002” ...........
|
10
|
|
H. Ehrig.
EASST Representatives
...........................................................................
|
11 |
|
H. Ehrig.
Meeting of European
Associations in Genova .............................................
|
12 |
|
H. Weber.
Do we teach the
right things, and do we teach them right? ........................
|
13 |
|
M. Große- Rhode.
The DFG Priority
Programme ”Integration of Software Specification Techniques
for Applications in Engineering” .............................................................
|
15 |
|
The EASST Flyer......
...........................................................................................
|
19 |
|
EASST Application
Form.......................................................................................
|
22 |
|
|
|
|
|
|
|
|
|
|
Contents
|
|
|
|
|
|
Welcome .............................................................................................................
|
4
|
|
Hartmut Ehrig.
The role of EASST in
ETAPS ...........................................................
|
5
|
|
Herbert Weber.
Future Perspectives
of FASE .........................................................
|
8
|
|
Tiziana Margaria.
TACAS and EASST: Common
Goals ............................................
|
10
|
|
José Meseguer.
Report on ETAPS 2000
.................................................................
|
12
|
|
Call for Papers ETAPS
2001 ..................................................................................
|
14
|
|
Call for Papers FORMS
.........................................................................................
|
22
|
|
Herbert Weber.
Minutes of the EASST
General Meeting ..........................................
|
23
|
|
EASST Founding Members
...................................................................................
|
25
|
|
EASST Application
Form .......................................................................................
|
26
|
|
The EASST Flyer
..................................................................................................
|
27
|
| © 2006 - EASST e.V. |
Mail office@easst.org
|
 |
|
|
|
|
|
EASST | ||
|
|
EASST Boards | ||
|
|
EASST Statute | ||
|
|
ECEASST | ||
 |
Newsletters | ||
|
|
Contributions | ||
 |
Table of contents | ||
|
|
Templates | ||
|
|
EASST Awards | ||
|
|
FASE | ||
|
|
Upcoming Events | ||
|
|
How can you contribute | ||
|
|
Mailing List | ||
|
|
Members Section | ||
|
|
Contact | ||
|
|
Imprint | ||