Volume 115,
January 2005
Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages (SFEDL 2004)
- Gerald Lüttgen, Natividad Martínez Madrid, Michael Mendler:
Preface.
1-2
Electronic Edition (link) BibTeX
- Ralf Huuck:
Semantics and Analysis of Instruction List Programs.
3-18
Electronic Edition (link) BibTeX
- Alessandra Cavarra, Juliana Küster Filipe:
Combining Sequence Diagrams and OCL for Liveness.
19-38
Electronic Edition (link) BibTeX
- Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler:
Formalizing UML Models and OCL Constraints in PVS.
39-47
Electronic Edition (link) BibTeX
- Gwen Salaün, Pascal Poizat:
Interacting Extended State Diagrams.
49-57
Electronic Edition (link) BibTeX
- Rui Gustavo Crespo:
Integrating the Semantics of Deterministic Multi-layered Communication Systems.
59-68
Electronic Edition (link) BibTeX
- Arnab Ray, Rance Cleaveland, Arne Skou:
An Algebraic Theory Of Boundary Crossing Transitions.
69-88
Electronic Edition (link) BibTeX
- Andrzej Wasowski:
On Succinctness of Hierarchical State Diagrams in Absence of Message Passing.
89-97
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:19 2009
by Michael Ley (ley@uni-trier.de)