Login / Signup
Joost Jacob
Publication Activity (10 Years)
Years Active: 2004-2005
Publications (10 Years): 0
</>
Publications
</>
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.
Electron. Notes Theor. Comput. Sci.
115 (2005)
Frank S. de Boer
,
Marcello M. Bonsangue
,
Joost Jacob
,
Andries Stam
,
Leendert W. N. van der Torre
Enterprise Architecture Analysis with XML.
HICSS
(2005)
Frank S. de Boer
,
Marcello M. Bonsangue
,
Joost Jacob
,
Andries Stam
,
Leendert W. N. van der Torre
A Logical Viewpoint on Architectures.
EDOC
(2004)
Joost Jacob
A Rule Markup Language and its application to UML.
ISoLA (Preliminary proceedings)
(2004)
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)
Joost Jacob
The OMEGA Component Model.
Electron. Notes Theor. Comput. Sci.
101 (2004)
Joost Jacob
A Rule Markup Language and Its Application to UML.
ISoLA
(2004)
Joost Jacob
,
Frank S. de Boer
,
Marcello M. Bonsangue
,
Andries Stam
,
Leendert W. N. van der Torre
Using XML Transformations for Enterprise Architectures.
ISoLA (Preliminary proceedings)
(2004)