|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Frank S. de Boer, Marcello M. Bonsangue (eds.) |
Proceedings of the Workshop on the Compositional Verification of UML Models, CVUML 2003, San Francisco, CA, USA, October 21, 2003 |
CVUML |
2004 |
DBLP BibTeX RDF |
|
1 | Frank S. de Boer, Marcello M. Bonsangue |
Preface. |
CVUML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
CVUML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Günter Graw, Peter Herrmann |
Transformation and Verification of Executable UML Models. |
CVUML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Marcel Kyas, Frank S. de Boer |
On Message Specifications in OCL. |
CVUML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Mencl |
Specifying Component Behavior with Port State Machines. |
CVUML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Katerina Pokozy-Korenblat, Corrado Priami |
Toward Extracting ?-calculus from UML Sequence and State Diagrams. |
CVUML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Zhiming Liu 0001, Jifeng He 0001, Jing Liu, Xiaoshan Li |
Unifying Views of UML. |
CVUML |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Joost Jacob |
The OMEGA Component Model. |
CVUML |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|