Electronic Notes in Theoretical Computer Science, Volume 101

Volume 101, November 2004

Proceedings of the Workshop on the Compositional Verification of UML Models (CVUML)

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/BoerB04
- ask others
Frank S. de Boer, Marcello M. Bonsangue: Preface. 1-2
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/GrawH04
- ask others
Günter Graw, Peter Herrmann: Transformation and Verification of Executable UML Models. 3-24
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Jacob04
- ask others
Joost Jacob: The OMEGA Component Model. 25-49
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Pokozy-KorenblatP04
- ask others
Katerina Pokozy-Korenblat, Corrado Priami: Toward Extracting ?-calculus from UML Sequence and State Diagrams. 51-72
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/KyasB04
- ask others
Marcel Kyas, Frank S. de Boer: On Message Specifications in OCL. 73-93
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/LiuHLL04
- ask others
Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li: Unifying Views of UML. 95-127
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Mencl04
- ask others
Vladimir Mencl: Specifying Component Behavior with Port State Machines. 129-153
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/WieringBBGJL04
- ask others
Martijn J. Wiering, Marcello M. Bonsangue, René van Buuren, Luuk Groenewegen, Henk Jonkers, Marc M. Lankhorst: Investigating the mapping of an Enterprise Description Language into UML 2.0. 155-179