default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCVUML 2003: San Francisco, CA, USA
- Frank S. de Boer, Marcello M. Bonsangue:
Proceedings of the Workshop on the Compositional Verification of UML Models, CVUML 2003, San Francisco, CA, USA, October 21, 2003. Electronic Notes in Theoretical Computer Science 101, Elsevier 2004 - Frank S. de Boer, Marcello M. Bonsangue
:
Preface. 1-2 - Günter Graw, Peter Herrmann:
Transformation and Verification of Executable UML Models. 3-24 - Joost Jacob:
The OMEGA Component Model. 25-49 - Katerina Pokozy-Korenblat, Corrado Priami:
Toward Extracting ?-calculus from UML Sequence and State Diagrams. 51-72 - Marcel Kyas, Frank S. de Boer:
On Message Specifications in OCL. 73-93 - Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li:
Unifying Views of UML. 95-127 - Vladimir Mencl:
Specifying Component Behavior with Port State Machines. 129-153 - 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
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-11-15 19:41 CET 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:
