|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
6 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Formalization of UML state machines using temporal logic |
Rossi, Carlos |
2003 |
3 | 1 |
p. 31-54 |
article |
|
| 2 | In search of effective design abstractions |
France, Robert |
2004 |
3 | 1 |
p. 1-3 |
article |
|
| 3 | Nesting in Euler Diagrams: syntax, semantics and construction |
Flower, Jean |
2003 |
3 | 1 |
p. 55-67 |
article |
|
| 4 | OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness |
Cengarle, María Victoria |
2003 |
3 | 1 |
p. 9-30 |
article |
|
| 5 | The OsMoSys approach to multi-formalism modeling of systems |
Vittorini, V. |
2003 |
3 | 1 |
p. 68-81 |
article |
|
| 6 | UML 3.0 and the future of modeling |
Kobryn, Cris |
2004 |
3 | 1 |
p. 4-8 |
article |
6 results found