Joost Jacob

According to our database, Joost Jacob authored at least 7 papers between 2003 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Tool Support.

Hugo W. L. ter Doest, Diederik van Leeuwen, Peter Fennema, Leon van der Torre, Andries W. Stam, Joost Jacob, Farhad Arbab

Proceedings of the Enterprise Architecture at Work, 2017

2005

Enterprise Architecture Analysis with XML.

Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre

Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

2004

Formalizing UML Models and OCL Constraints in PVS.

Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler

Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, 2004

Using XML Transformations for Enterprise Architectures.

Andries Stam, Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Leendert W. N. van der Torre

Proceedings of the Leveraging Applications of Formal Methods, 2004

A Rule Markup Language and its application to UML.

Joost Jacob

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

A Logical Viewpoint on Architectures.

Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre

Proceedings of the 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 2004

2003

The OMEGA Component Model.

Joost Jacob

Proceedings of the Workshop on the Compositional Verification of UML Models, 2003