9. SDL Forum 1999:
Montréal,
Québec,
Canada
Rachida Dssouli, Gregor von Bochmann, Yair Lahav (Eds.):
SDL '99 The Next Millennium, 9th International SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999, Proceedings.
Elsevier 1999 BibTeX
@proceedings{DBLP:conf/sdl/1999,
editor = {Rachida Dssouli and
Gregor von Bochmann and
Yair Lahav},
title = {SDL '99 The Next Millennium, 9th International SDL Forum, Montr{\'e}al,
Qu{\'e}bec, Canada, 21-25 June, 1999, Proceedings},
booktitle = {SDL Forum},
publisher = {Elsevier},
year = {1999},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Applications I
Deriving SDL
Language Extension
Testing I
SDL and MSC for the next millennium
- Uwe Glässer, Reinhard Gotzhein, Andreas Prinz:
Towards a new formal SDL semantics - outline of an abstract state machines.
171-192 BibTeX
- Ekkart Rudolph, Jens Grabowski, Peter Graubmann:
Towards a harmonization of UML-sequence diagrams and MSC.
193-208 BibTeX
- Kurt Verschaeve, Anders Ek:
Three scenarios for combining UML and SDL'96.
209-224 BibTeX
- Nikolai Mansurov, D. Zhukov:
Automatic synthesis of SDL models in use case methodology.
225-240 BibTeX
- José M. Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya:
Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems.
241- BibTeX
Code Generation
Metric
Applications II
Testing II
Time,
performance and simulation
Copyright © Sat May 16 23:37:10 2009
by Michael Ley (ley@uni-trier.de)
