| [1] |
M.M. Lankorst et al.
Enterprise Achitecture at Work: Modelling, Communication and
Analysis.
Springer-Verlag, May 2005. [ bib ] |
| [2] |
In F.S. de Boer and M.M. Bonsangue, editors, Formal Methods for Components
and Objects - A theoretical perspective, volume 331, pages 249-486.
Elsevier Science, 2005. [ bib ] |
| [3] |
In F.S. de Boer and M.M. Bonsangue, editors, Formal Methods for Components
and Objects - Pragmatic aspects and applications, volume 55, pages 1-290.
Elsevier Science, 2005. [ bib ] |
| [4] |
D. Janssens, H.-J. Kreowski, and G. Rozenberg.
Main concepts of networks of transformation units with interlinking
semantics.
In H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg, and
G. Taentzer, editors, Formal Methods in Software and Systems Modeling:
Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday,
volume 3393 of Lecture Notes in Computer Science, pages 325-342.
Springer-Verlag, 2005. [ bib ] |
| [5] |
In H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg, and G. Taentzer,
editors, Formal Methods in Software and Systems Modeling: Essays
Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, volume 3393
of Lecture Notes in Computer Science. Springer-Verlag, 2005. [ bib ] |
| [6] |
L. Groenewegen, N. van Kampenhout, and E. de Vink.
Delegation Modeling with Paradigm.
In J.-M. Jacquet and G.P. Picco, editors, Proc. Coordination
2005, pages 94-108. LNCS 3454, 2005. [ bib ] |
| [7] |
L.P.J. Groenewegen, A.W. Stam, P.J. Toussaint, and E.P. de Vink.
Paradigm as Organization-Oriented Coordination Language.
In G. Boella and L. van der Torre, editors, Preliminary
Proceedings of the 1st International Workshop on Coordination and
Organisation, pages 123-138. To appear in ENTCS, 2005. [ bib ] |
| [8] |
A.W. Stam, L.P.J. Groenewegen, and E.P de Vink.
Restructuring Paradigm Models for the ToolBus Architecture:
a Case Study.
In L. Brim and I. Linden, editors, Preliminary Proceedings of
the International Workshop on Methods and Tools for Coordinating Concurrent,
Distributed and Mobile Systems, pages 111-125. To appear in ENTCS, 2005. [ bib ] |
| [9] |
F.S. de Boer, M.M. Bonsangue, J. Jacob, A. Stam, and L. van der Torre.
Enterprise architecture analysis in xml.
In Proceedings of the Hawaii International Conference on System
Sciences (HICSS-38). IEEE Computer Society Press, January 2005. [ bib ] |
| [10] |
F.S. de Boer, M.M. Bonsangue, L. Groenewegen, A. Stam, S. Stevens, and L.van
der Torre.
Change impact analysis of enterprise architectures.
In Proceedings on 2005 IEEE International Conference on
Information Reuse and Integration (IRI-2005). IEEE Systems and Man and
Cybernetic Society, August 2005. [ bib ] |
| [11] |
M.M. Bonsangue and A. Kurz.
Dualities for logics of transition systems.
volume 3441 of Lecture Notes in Computer Science, pages
455-469. Springer, April 2005. [ bib ] |