See this document in CiteSeerX!

Contract-Oriented Development of Component Software (2004)  (Make Corrections)  
Zhiming Liu, He Jifeng, Xiaoshan Li



  Home/Search   Context   Related

 
View or download:
unu.edu/home/Unuiist/...report298.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  unu.edu/home/Unuiist/newrh...page (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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