He Jifeng, Liu Zhiming, Li Xiaoshan  Home/Search
Context Related
| unu.edu/newrh/III/1/do...invited2.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: unu.edu/newrh/III/1/d...report284 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper introduces a component calculus, whereby a system can be divided into interconnected components. We model the behaviour of individual service by a design, which enables one to separate the responsibilities of a client from the commitment made by the system. We adopt the notion of refinement... (Update)
Cited by: More
A UNITY-based Framework towards Component Based Systems - Prasetya, Vos, Azurat.. (2003) (Correct)
Active bibliography (related documents): More All
0.5: Component Calculus - Jifeng, Zhiming, Xiaoshan (2003) (Correct)
0.5: Role-Based Component Engineering - van Gurp, Bosch (2002) (Correct)
0.3: ComponentXchange: An E-Exchange for Software Components - Sriram (2001) (Correct)
Similar documents based on text: More All
0.7: A Relational Model for Object-Oriented Programming - He, Liu, Li (2001) (Correct)
0.5: A Relational Model for Specification of . . . - Jifeng, al. (Correct)
0.5: Towards a Refinement Calculus for Object Systems - He (2002) (Correct)
Related documents from co-citation: More All
2: ACM Transactions on Programming Languages and Systems (context) - Abadi, Lamport - 1995
BibTeX entry: (Update)
He Jifeng, Lui Zhiming, and Li Xiaoshan. A contract-oriented approach to CBP. In Hung Dang Van and Zhiming Liu, editors, Proceedings of the Workshop on Formal Aspects of Component Software (FACS), 2003. Also as UNU/IIST Report no. 284, available on-line at www.iist.unu.edu/newrh/III/1/page.html. http://citeseer.ist.psu.edu/article/jifeng03contractoriented.html More
@inproceedings{ jifeng03contractoriented,
author = "H. Jifeng and L. Zhiming and L. Xiaoshan",
title = "A contract-oriented approach to {CBP}",
editor = "Hung Dang Van and Zhiming Liu"
booktitle = "Proceedings of the Workshop on Formal Aspects of Component Software (FACS)",
year = "2003",
url = "citeseer.ist.psu.edu/article/jifeng03contractoriented.html" }
Citations (may not include all citations):1274 Object-Oriented Software Construction (context) - Meyer - 1997
689 Systematic Software Development Using VDM - Jones - 1990
72 Unifying Theories of Programming (context) - anfd, Jifeng - 1998
65 Beyond Object-Oriented Programming (context) - Szyperski, Software - 1998
60 The Object Constraint Language (context) - Warmer, Kleppe - 1999
11 A Simple Process for Specifying Component-Based Software (context) - Cheesman, Danies et al. - 2000
2 Essential IDL: Interface Design for COM (context) - Gudgin - 2001
2 Components and Frameworks: The Catalysis Approach (context) - D'Souza - 1998
http://java.sun.com/beans
Documents on the same site (http://www.iist.unu.edu/newrh/III/1/docs/techreports/report284.html): More
Catalysis Frameworks in First-Order Logic - Shui-Ming Ho And (2003) (Correct)
Formalising Well-Behaved Components - Moschoyiannis, Shields.. (Correct)
Strengthening Eiffel Contracts Using Models - Schoeller (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC