|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A platform independent model for the electronic marketplace domain |
Queralt, Anna |
2007 |
7 | 2 |
p. 219-235 |
artikel |
|
| 2 | Assert and negate revisited: Modal semantics for UMLsequence diagrams |
Harel, David |
2007 |
7 | 2 |
p. 237-252 |
artikel |
|
| 3 | Correct development of real time and embedded systems |
France, Robert |
2008 |
7 | 2 |
p. 125 |
artikel |
|
| 4 | Heap-abstraction for an object-oriented calculus with thread classes |
Ábrahám, Erika |
2007 |
7 | 2 |
p. 177-208 |
artikel |
|
| 5 | Model driven design and aspect weaving |
Jézéquel, Jean-Marc |
2008 |
7 | 2 |
p. 209-218 |
artikel |
|
| 6 | Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool |
Combes, Pierre |
2007 |
7 | 2 |
p. 157-175 |
artikel |
|
| 7 | OMEGA: correct development of real time and embedded systems |
Graf, Susanne |
2008 |
7 | 2 |
p. 127-130 |
artikel |
|
| 8 | Supporting UML-based development of embedded systems by formal techniques |
Hooman, Jozef |
2007 |
7 | 2 |
p. 131-155 |
artikel |
8 gevonden resultaten