default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd SFEDL@ETAPS 2004: Barcelona, Spain
- Gerald Lüttgen, Natividad Martínez Madrid, Michael Mendler:
Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, SFEDL@ETAPS 2004, Barcelona, Spain, April 3, 2004. Electronic Notes in Theoretical Computer Science 115, Elsevier 2005 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-21 01:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
