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