CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Deploying Loosely Coupled, Component-based Applications into distributed environments In Proceedings
January 2006 -
Towards an Automated Deployment Planner for Composition of Web Services as Software Components Article
Electronic Notes in Theoretical Computer Science, 239-253.January 2006 -
SEPID: A Simple Enhanced Process for Interactive-systems Development In Proceedings
M.M. Jaghoori (Mohammad Mahdi), S.-H. Mirian-Hosseinabadi and H. Sheikhveisi
January 2006 -
Modere: the model-checking engine of Rebeca In Proceedings
M.M. Jaghoori (Mohammad Mahdi), A. Movaghar (Ali) and M. Sirjani (Marjan)
January 2006 -
Interaction and Coordination of Tools for Structured Data In Proceedings
January 2006 -
A Channel Based Communication Model with a Weighted Mobility In Proceedings
T. Limniotes, G.A. Papadopoulos (George) and F. Arbab (Farhad)
January 2006 -
Components as coalgebras: The refinement dimension Article
Theoretical Computer Science, 276-294.S. Meng and L.S. Barbosa
January 2006 -
Formal Semantics and Analysis of Component Connectors in reo Article
Electronic Notes in Theoretical Computer Science, 83-99.January 2006