Zhiming Liu, He Jifeng, Xiaoshan Li  Home/Search
Context
Related
| unu.edu/home/Unuiist/...report298.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/home/Unuiist/newrh...page (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a model for component software. We describe how components are specified at the interface level, design level and how they are composed. From its external view, a component consists a set of interfaces, provided to or required from its environment. From its internal view, a component is an executable code that can be coupled with other components via its interfaces. The developer has to ensure that the specification of a component is met by its design and implementation. We also... (Update)
Similar documents (at the sentence level):
20.0%: Contract-Oriented Component Software Development - Jifeng, al. (2003) (Correct)
Active bibliography (related documents): More All
0.7: Linking UML Models of Design and Requirement - Liu, Liu, Jifeng, Li (2004) (Correct)
0.6: A Relational Model for Formal Object-Oriented Requirement.. - Liu, Jifeng, Li, Chen (2003) (Correct)
0.6: Formal and Use-Case Driven Requirement Analysis in UML - Li, Liu, He (2001) (Correct)
Similar documents based on text: More All
0.3: Software Technology - Unu-Iist Report No (Correct)
0.2: Domain Analysis - a Prerequisite for Requirements Capture - Bjørner, George.. (1995) (Correct)
0.2: An Optimal Approach to Hardware/software Partitioning.. - Geguang, Yi, Van.. (2003) (Correct)
BibTeX entry: (Update)
@misc{ liu-contractoriented,
author = "Zhiming Liu and He Jifeng and Xiaoshan Li",
title = "Contract-Oriented Development of Component Software",
url = "citeseer.ist.psu.edu/liu04contractoriented.html" }
Citations (may not include all citations):1274 Object-oriented Software Construction (context) - Meyer - 1997
537 Component Software: Beyond Object-Oriented Programming (context) - Szyperski - 2002
190 Contracts: Specifying behavioral compositions in objectorien.. (context) - Helm, Holland et al. - 1990
139 ACM Transactions on Software Engineering and Methodology (context) - Allen, Garlan et al. - 1997
82 Components and Framework with UML: The Catalysis Approach (context) - D'Souza, Wills - 1998
82 Applying design by contract (context) - Meyer - 1992
79 The Unified Modelling Language User Guide (context) - Booch, Rumbaugh et al. - 1999
72 Unifying theories of programming (context) - Hoare, He - 1998
68 The Rational Unified Process -- An Introduction (context) - Kruchten - 2000
42 Semantics of architectural connectors - Fiadeiro, Lopes - 1997
27 Interconnecting objects via contracts - Andrade, Fiadeiro - 1999
16 Using UML for modelling complex real-time systems (context) - Selic - 1998
11 Component-Based Software Engineering (context) - Heineman, Councill - 2001
11 Methods and Semantics for Telecommunications Systems Enginee.. (context) - Leue - 1994
8 Prentice-Hall International (context) - Larman, Patterns - 2001
7 Towards a refinement calculus for object-oriented systems (context) - He, Liu et al. - 2002
7 Formalizing UML use cases in the refinement calculus (context) - Back, Petre et al. - 1999
7 Component Software Series (context) - Cheesman, Daniels - 2001
3 Modelling object-oriented programming with reference types a.. - He, Liu et al. - 2003
3 Technical Report UNUIIST Report No (context) - He, Liu et al. - 2003
2 Component calculus (context) - He, Liu et al. - 2003
2 Algebraic state machines (context) - Wirsing, Broy - 2000
2 A logic-based formalization for component specification - Filipe - 2002
2 A relational model for object-oriented requirement analysis .. (context) - Liu, He et al. - 2003
2 Multi-view modeling of software systems (context) - Broy - 2003
2 Object-oriented software development in UML (context) - Liu - 2002
1 Journal of Computer Science and System Sciences (context) - Smyth - 1978
1 OMG Standard Collection (context) - common, broker et al. - 2000
1 Catalysis framework in first-order logic - Ho, Lau - 2003
1 IDL: Interface design for COM (context) - Gudgin - 2001
http://java.sun.com/beans
Documents on the same site (http://www.iist.unu.edu/home/Unuiist/newrh/III/1/page.html): More
Compositional Reasoning Using the Assumption-Commitment Paradigm - Qiwen, Swarup (1998) (Correct)
On Checking Timed Automata for Linear Duration Invariants - Braberman, Van Hung (1998) (Correct)
Probabilistic Interval Temporal Logic - Guelev (1998) (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