|
|
|
|
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.  |
pUML  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Liliana Favre |
A Formal Mapping between UML Static Models and Algebraic Specifications. |
pUML |
2001 |
DBLP BibTeX RDF |
|
| 1 | Lydie du Bousquet, Hugues Martin, Jean-Marc Jézéquel |
Conformance Testing from UML Specifications. Experience Report. |
pUML |
2001 |
DBLP BibTeX RDF |
|
| 1 | Rolf Hennicker, Nora Koch |
Modeling the User Interface of Web Applications with UML. |
pUML |
2001 |
DBLP BibTeX RDF |
|
| 1 | Zhijiang Dong, Xudong He |
Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets. |
pUML |
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. |
pUML |
2001 |
DBLP BibTeX RDF |
|
| 1 | Richard F. Paige, Jonathan S. Ostroff |
A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems. |
pUML |
2001 |
DBLP BibTeX RDF |
|
| 1 | Dag Björklund, Johan Lilius, Ivan Porres |
Towards Efficient Code Synthesis from Statecharts. |
pUML |
2001 |
DBLP BibTeX RDF |
|
| 1 | Marko Boger, Thorsten Sturm |
Tool-support for Model-Driven Software Engineering. |
pUML |
2001 |
DBLP BibTeX RDF |
|
| 1 | Dan Chiorean |
Using OCL Beyond Specifications. |
pUML |
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. |
pUML |
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. |
pUML |
2001 |
DBLP BibTeX RDF |
|
| 1 | Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama |
An Axiomatic Formalization of UML Models. |
pUML |
2001 |
DBLP BibTeX RDF |
|
| 1 | Alan Wills |
Catalytic Modeling: UML meets XP. |
pUML |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jan Hendrik Hausmann, Jochen Malte Küster, Stefan Sauer 0001 |
Identifying Semantic Dimensions of (UML) Sequence Diagrams. |
pUML |
2001 |
DBLP BibTeX RDF |
|
| 1 | Ray Trask, Robert B. France |
RIGR - A Repository Model Based Approach to Management. |
pUML |
2001 |
DBLP BibTeX RDF |
|
| 1 | Thomas Stauner, Alexander Pretschner, Istran Péter |
Approaching a Discrete-Continuous UML: Tool Support and Formalization. |
pUML |
2001 |
DBLP BibTeX RDF |
|
| 1 | Scott W. Ambler |
Agile Modeling: A Brief Overview. |
pUML |
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 |
pUML |
2001 |
DBLP BibTeX RDF |
|
| 1 | Clay E. Williams |
Towards a Test-Ready Meta-model for Use Cases. |
pUML |
2001 |
DBLP BibTeX RDF |
|
| 1 | Shiri Davidson, Mila Keren, Sara Porat, Gabi Zodik |
Designing Procedural 4GL Applications through UML Modeling. |
pUML |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jeffrey E. Smith, Mieczyslaw M. Kokar, Kenneth Baclawski |
Formal Verification of UML Diagrams: A First Step Towards Code Generation. |
pUML |
2001 |
DBLP BibTeX RDF |
|
Displaying result #1 - #22 of 22 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license