| 2005 |
|---|
| 8 | EE | Frank S. de Boer,
Marcello M. Bonsangue,
Joost Jacob,
Andries Stam,
Leendert W. N. van der Torre:
Enterprise Architecture Analysis with XML.
HICSS 2005 |
| 7 | EE | Marcel Kyas,
Harald Fecher,
Frank S. de Boer,
Joost Jacob,
Jozef Hooman,
Mark van der Zwaag,
Tamarah Arons,
Hillel Kugler:
Formalizing UML Models and OCL Constraints in PVS.
Electr. Notes Theor. Comput. Sci. 115: 39-47 (2005) |
| 2004 |
|---|
| 6 | EE | Frank S. de Boer,
Marcello M. Bonsangue,
Joost Jacob,
Andries Stam,
Leendert W. N. van der Torre:
A Logical Viewpoint on Architectures.
EDOC 2004: 73-83 |
| 5 | EE | Joost Jacob:
A Rule Markup Language and Its Application to UML.
ISoLA 2004: 26-41 |
| 4 | EE | Andries Stam,
Joost Jacob,
Frank S. de Boer,
Marcello M. Bonsangue,
Leendert W. N. van der Torre:
Using XML Transformations for Enterprise Architectures.
ISoLA 2004: 42-56 |
| 3 | | Joost Jacob:
A Rule Markup Language and its application to UML.
ISoLA (Preliminary proceedings) 2004: 51-57 |
| 2 | | Joost Jacob,
Frank S. de Boer,
Marcello M. Bonsangue,
Andries Stam,
Leendert van der Torre:
Using XML Transformations for Enterprise Architectures.
ISoLA (Preliminary proceedings) 2004: 67-73 |
| 1 | EE | Joost Jacob:
The OMEGA Component Model.
Electr. Notes Theor. Comput. Sci. 101: 25-49 (2004) |
