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
- Ralf Huuck:
Semantics and Analysis of Instruction List Programs.
3-18
- Alessandra Cavarra, Juliana Küster Filipe:
Combining Sequence Diagrams and OCL for Liveness.
19-38
- 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
- Gwen Salaün, Pascal Poizat:
Interacting Extended State Diagrams.
49-57
- Rui Gustavo Crespo:
Integrating the Semantics of Deterministic Multi-layered Communication Systems.
59-68
- Arnab Ray, Rance Cleaveland, Arne Skou:
An Algebraic Theory Of Boundary Crossing Transitions.
69-88
- Andrzej Wasowski:
On Succinctness of Hierarchical State Diagrams in Absence of Message Passing.
89-97
Last update Tue Feb 14 04:17:30 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
