DESS Publications
Here you can find publications from the DESS partners concerning the DESS project:
- ITEA Symposium Material: DESS Project Posters & Results Sheet, 3rd ITEA Symposium, Amsterdam, The
Netherlands, October 10-11 2002
-
DESS Posters (not yet available)
-
DESS Results Sheet (PDF format)
-
DESS Sofware Engineering Session Presentation (PDF format)
- Organized Conferences
-
Ada-Europe 2001:
Fueled by the work conducted in the DESS project, the K.U.Leuven (co-) organized
the 6th International Conference on Reliable Software Technologies. This
conference that took place in Leuven (near Brussels), Belgium, from May 14th to
May 18th, 2001. This annual event offers a technical program and exhibitions as
well as a series of tutorials and workshops.
The conference provides an international forum for researchers, developers and
users of reliable software technologies and embedded systems in particular.
Presentations and discussions cover applied and theoretical work currently
conducted to support the development and maintenance of software systems. As
such UML, XML, Ada and RUP are just some technologies addressed in this year's
conference that are also at the heart of the DESS project.
The proceedings of the conference are published in the Lecture Notes in Computer
Science (LNCS) Series by Springer.
- Publications
- JPure - Purified Java Execution
Environment for Controller Networks, D. Beuche, et al. , Proceedings of the International
IFIP WG 10.3/WG 10.5 Workshop on Distributed and Parallel Embedded
Systems (DIPES '2000), Paderborn, Deutschland, Okt. 2000, published by
Kluwer Academic Press, 2001, ISBN 0-7923-7345-6
-
Requirements Engineering in Automotive Development:
Experiences and Challenges,
M. Weber andJ. Weisbrod, DaimlerChrysler Research, IEEE focus on Requirements
Engineering, ECOOP 2000, Cannes, France
-
Tuning Parameters for Component Based
Design with Memory Constraints,
Y. Barbaix et al., K.U.Leuven, PCS workshop, ECOOP 2000, Cannes, France
-
Toward a Unified Terminology for
Component-based Development, S. Van Baelen et al., K.U.Leuven, WCOP workshop, ECOOP 2000, Cannes, France
-
TAXYS: a Tool for the Development and Verification of Real-Time Embedded Systems, E. Closse et al., France Telecom R&D, CAV 2001
-
Consistent Design of Embedded Real-Time Systems
with UML-RT, J. Kuester et al., University of Paderborn/C-LAB, ISORC 2001
-
A Classification of Real-Time Specifications Complexity,
V. del Bianco et al., Cefriel/Politecnico di Milano,
SIVOES workshop, ECOOP 2001, Budapest, Hungary
-
An application of the DESS modeling approach: The Car Speed Regulator,
Vieri del Bianco, Luigi Lavazza, Marco Mauri
SIVOES workshop, ECOOP 2001, Budapest, Hungary
-
Handling Timing Constraints with Virtual Timers, Y. Barbaix et al., K.U.Leuven, SIVOES workshop, ECOOP 2001, Budapest, Hungary
-
Combining UML and formal notations for modelling real-time systems,
Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli
Joint
8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT
International Symposium on the Foundations of Software Engineering (FSE),
Wien, 10-14, September 2001.
-
Deriving executable process descriptions from UML,
E. Di Nitto, L. Lavazza, M. Schiavoni, E. Tracanella, M. Trombetta,
ICSE 2002,
International Conference on Software Engineering, Buenos Aires, Argentina,
19-25 may 2002.
- Presentations