|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 22 publication records. Showing 22 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Piotr Kosiuczenko |
Formal Redesign of UML Class Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 174-190, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Liliana Favre |
A Formal Mapping between UML Static Models and Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 113-127, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Lydie du Bousquet, Hugues Martin, Jean-Marc Jézéquel |
Conformance Testing from UML Specifications. Experience Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 43-55, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Rolf Hennicker, Nora Koch |
Modeling the User Interface of Web Applications with UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 158-172, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Zhijiang Dong, Xudong He |
Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 99-112, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Simon Pickin 0001, Claude Jard, Thierry Heuillard, Jean-Marc Jézéquel, Philippe Desfray |
A UML-integrated Test Description Language for Component Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 208-223, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Richard F. Paige, Jonathan S. Ostroff |
A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 192-206, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Dag Björklund, Johan Lilius, Ivan Porres |
Towards Efficient Code Synthesis from Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 29-41, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Marko Boger, Thorsten Sturm |
Tool-support for Model-Driven Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 307-318, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Dan Chiorean |
Using OCL Beyond Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 57-68, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Remco M. Dijkman, Luís Ferreira Pires, Stef Joosten |
Calculating with Concepts: a Technique for the Development of Business Process Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 87-98, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Geri Georg, Jores Bieman, Robert B. France |
Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 128-141, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama |
An Axiomatic Formalization of UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 13-28, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Alan Wills |
Catalytic Modeling: UML meets XP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 288-306, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Jan Hendrik Hausmann, Jochen Malte Küster, Stefan Sauer 0001 |
Identifying Semantic Dimensions of (UML) Sequence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 142-157, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Ray Trask, Robert B. France |
RIGR - A Repository Model Based Approach to Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 258-269, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Thomas Stauner, Alexander Pretschner, Istran Péter |
Approaching a Discrete-Continuous UML: Tool Support and Formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 242-257, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Scott W. Ambler |
Agile Modeling: A Brief Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 7-11, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Andy Evans, Robert B. France, Ana M. D. Moreira, Bernhard Rumpe (eds.) |
Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![GI, 3-88579-335-0 The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Clay E. Williams |
Towards a Test-Ready Meta-model for Use Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 270-287, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Shiri Davidson, Mila Keren, Sara Porat, Gabi Zodik |
Designing Procedural 4GL Applications through UML Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 69-85, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Jeffrey E. Smith, Mieczyslaw M. Kokar, Kenneth Baclawski |
Formal Verification of UML Diagrams: A First Step Towards Code Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 224-240, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
Displaying result #1 - #22 of 22 (100 per page; Change: )
|
|