|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Formalization of UML state machines using temporal logic |
Rossi, Carlos |
2003 |
3 | 1 |
p. 31-54 |
artikel |
|
| 2 | In search of effective design abstractions |
France, Robert |
2004 |
3 | 1 |
p. 1-3 |
artikel |
|
| 3 | Nesting in Euler Diagrams: syntax, semantics and construction |
Flower, Jean |
2003 |
3 | 1 |
p. 55-67 |
artikel |
|
| 4 | OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness |
Cengarle, María Victoria |
2003 |
3 | 1 |
p. 9-30 |
artikel |
|
| 5 | The OsMoSys approach to multi-formalism modeling of systems |
Vittorini, V. |
2003 |
3 | 1 |
p. 68-81 |
artikel |
|
| 6 | UML 3.0 and the future of modeling |
Kobryn, Cris |
2004 |
3 | 1 |
p. 4-8 |
artikel |
6 gevonden resultaten