Service Engineering: Linking Business and IT
暂无分享,去创建一个
[1] Tiziana Margaria,et al. Lightweight coarse-grained coordination: a scalable system-level approach , 2004, International Journal on Software Tools for Technology Transfer.
[2] Suresh Damodaran. B2B integration over the Internet with XML: RosettaNet successes and challenges , 2004, WWW Alt. '04.
[3] Tiziana Margaria,et al. Components, Features, and Agents in the ABC , 2003, Objects, Agents, and Features.
[4] Tiziana Margaria,et al. An Environment for the Creation of Intelligent Network Services , 1995 .
[5] Tiziana Margaria,et al. Model-based design of distributed collaborative bioinformatics processes in the jABC , 2006, 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06).
[6] Tiziana Margaria,et al. The Fixpoint-Analysis Machine , 1995, CONCUR.
[7] Tiziana Margaria,et al. Service-Oriented Design: The Roots , 2005, ICSOC.
[8] Tiziana Margaria,et al. Automatic Error Location for IN Service Definition , 1998, Services and Visualization: Towards User-Friendly Design.
[9] Davide Sangiorgi,et al. Communicating and Mobile Systems: the π-calculus, , 2000 .
[10] Tiziana Margaria,et al. The Electronic Tool Integration platform: concepts and design , 1997, International Journal on Software Tools for Technology Transfer.
[11] Tiziana Margaria,et al. MaTRICS: A service-based management tool for remote intelligent configuration of systems , 2006, Innovations in Systems and Software Engineering.
[12] Wil M.P. van der Aalst,et al. Pi calculus versus petri nets: let us eat humble pie rather than further inflate the Pi hype , 2005 .
[13] Tiziana Margaria,et al. Remote integration and coordination of verification tools in jETI , 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).
[14] Manfred Reitenspie,et al. Service Creation: Formal Veriication and Abstract Views , 1996 .
[15] D. Kozen. Results on the Propositional µ-Calculus , 1982 .
[16] Tiziana Margaria,et al. A Constraint-Oriented Service Creation Environment , 1996, TACAS.
[17] Tiziana Margaria,et al. Data-Flow Analysis as Model Checking Within the jABC , 2006, CC.
[18] Tiziana Margaria,et al. METAFrame in Practice: Design of Intelligent Network Services , 1999, Correct System Design.
[19] Tiziana Margaria,et al. Semantic Web Services Challenge 2006 The jABC Approach to Mediation and Choreography , 2006 .