85 citations found. Retrieving documents...
Szyperski, C.: Component Software, ACM Press, Addison-Wesley, 1998

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:

First 50 documents  Next 50

Manifolds: - Cellular Component Organizations   (Correct)

....data analysis, and many others. 5. Cellular Component Manifolds The hope of this section is to show how components might be organized into computing and communicating systems based on the generalized address space model. First, some necessary terms and definitions are given. Szyperski [10] identifies three major tiers of component systems. The three tiers are defined below and their relationships are shown in Figure 3. Note the layered structure within a tier. A component system architecture consists of a set of platform decisions; a set of component frameworks; and an ....

Szyperski, C., Component Software. 1998, New York: Addison-Wesley.


Improving Java Software Through Package Structure Analysis - Hautus (2002)   (1 citation)  (Correct)

....be difficult to comprehend the intended package structure. A simple way to deal with cyclic package structures is to simply ignore dependencies that are part of a cycle. This approach will be called simple layering. Szyperski makes a distinction between strict layering and non strict layering [8]. In strict layering, the implementation of one layer may only depend on the layer directly below. In non strict layering, any lower layer may be used. In Java programming practice, strict layering is uncommon. 3.3 Re engineering ADP Packages If a package conforms to the APD, it is possible to ....

C. Szyperski, Component Software (New York: Addison-Wesley, New York, 1998)


Contracts for Higher-Order Functions - Findler, Felleisen (2002)   (1 citation)  (Correct)

....leads to an opportunity to improve existing type systems. Hopefully this example will encourage type system designers to build richer type systems that support practical mixins. 2.5 Callbacks and Stateful Contracts Callbacks are notorious for causing problems in preserving invariants. Szyperski [32] shows why callbacks are important and how they cause problems. In short, code that invokes the callback must guarantee that certain state is not modified during the dynamic extent of the callback. Typically, this invariant is maintained by examining the state before the callback is invoked and ....

Szyperski, C. Component Software. Addison-Wesley, 1998.


Behavioral Software Contracts - Findler   (Correct)

....larger than 9. In turn, these functions are obliged to produce ints between 0 and 99. The contract s range obliges g to produce ints between 0 and 99. Although g may be given f , whose contract matches g s domain contract, g should also accept functions with stricter contracts: h : int[ 9 ] int[50,99] 69 val rec h = x. g(h ) functions without explicit contracts: g( x. 50) functions that process external data: read num : int[ 9 ] int[0,99] val rec read num = n. read the nth entry from a file g(read num) and functions whose behavior depends on the context: ....

....this example will encourage type system designers to build richer type systems that support practical mixins. 5.2.5 Callbacks and Stateful Contracts Callbacks are notorious for causing problems in preserving invariants. Szyperski shows why callbacks are important and how they cause problems [50]. In short, code that invokes the callback must ensure that some state is not modified during the dynamic extent of the callback. Typically, this invariant is maintained by examining some state before the callback is invoked and comparing it to the state after the callback returns. Consider ....

Szyperski, C. Component Software. Addison-Wesley, 1998.


Towards Automated Component Compatibility Assessment - Brada (2001)   (2 citations)  (Correct)

....the actual usage of the component as bound in an assembled application. The presented method for determining compatibility of two components uses analysis of di#erences in their specifications structured into traits of related declarations. 1 Introduction In the area of software components [17] a lot of e#ort has been put into the research of component specifications and their consistent composition [4] including the dynamic case [14, 10] This lead to the adoption of industry architectures like the CORBA Component Model (CCM [11] JavaBeans [8] as well as to research systems like ....

Szyperski, C.: Component Software. ACM Press, Addison-Wesley 1998


Metadata Support for Safe Component Upgrades - Brada (2002)   (Correct)

....development and operation of current distributed industrial information systems. As these systems evolve, their parts need to be replaced or upgraded safely i.e. in a compatibility preserving way. In this paper we present a method supporting automated safe upgrades of black box components [15] which uses pre computed information stored in component metadata to speed up the necessary compatibility checks. It links component versioning with indication of changes that affect compatibility between revisions of the same component. This link is motivated by the observation that in most ....

C. Szyperski. Component Software. ACM Press, AddisonWesley, 1998.


SOFA Component Revision Identification - Brada (2000)   (Correct)

..... 39 A.4 Additional Frames . 40 A.5 The Database Architecture . 41 Introduction In the last few years, research as well as practical applications of software component technology [45] became a rapidly growing field. Several commercial systems are available or emerging, namely the JavaBeans technology by JavaSoft, Microsoft s Component Object Model, and the proposed CORBA Component model; research in the area is even more abundant ( 30, 1, 39, 35] While the important ....

....used to denote many di#erent things in software engineering and research. For the purpose of this paper, it is defined as a black box re usable piece of software with defined interfaces (through which it communicates with the outside world) and optionally behaviour (or semantics, in various forms) [45, 39, 33]. Components are coarse grained entities, distributed and used in binary form [24, 39] Applications are composed from components using hierarchical aggregation, and the system may use connectors to mediate communication between component interfaces. Versioning in Component Systems As in ....

Szyperski, C.: Component Software. ACM Press, Addison-Wesley 1998.


A Model-driven Environment for Component Deployment - Petr Hntynka Charles   (Correct)

No context found.

Szyperski, C.: Component Software, ACM Press, Addison-Wesley, 1998


Approximate Performance Analysis of Web Services Flow.. - Tan, Lin, Yin, Hong, Zhu (2004)   (Correct)

No context found.

Szyperski, C., Component Software, Addison Wesley, 1988. ### #### ##### ###### ####### #### ### ###### ## #### ##### ## ## ### ### ## ### ### #### ###### ###### ###### ###### ###### ###### ###### Uncompressed Compress first four structures Frame network for mutex place database Frame network for mutex place access


Making Deployment of Distributed Component-based Software Unified - Hnìtynka (2004)   (1 citation)  (Correct)

No context found.

Szyperski, C.: Component Software, ACM Press, Addison-Wesley, 1998


Component Model for Unified Deployment of Distributed.. - Hnìtynka (2004)   (1 citation)  (Correct)

No context found.

Szyperski, C.: Component Software, ACM Press, Addison-Wesley, 1998


Taking Advantage of the Symbiotic Relationship between Tools .. - Buschermöhle, al. (2003)   (Correct)

No context found.

C. Szyperski. Component Software. Addison-Wesley, Hawlow, England, 1998.


Information System Integration - Hasselbring (2000)   (3 citations)  (Correct)

No context found.

Szyperski, C. Component Software. Addison -Wesley, Harlow, England, 1998.


Copyright 1998, 1999 Philip Eskelin. Permission is.. - Layering Frameworks In   (Correct)

No context found.

C. Szyperski. Component Software, ACM Press/Addison-Wesley Longman, 1997.


Marketplace Issues in Software Planning and Design - Messerschmitt, al. (2004)   (Correct)

No context found.

C. Szyperski, Component Software, 2nd ed., AddisonWesley, 2002.


On the Role of Invariants in Reasoning about.. - van den Berg..   (Correct)

No context found.

C. Szyperski. Component Software. Addison-Wesley, 1998.


Java Program Verification Challenges - Jacobs, Kiniry, Warnier (2003)   (3 citations)  (Correct)

No context found.

C. Szyperski. Component Software. Addison-Wesley, 1998.


Hand-written vs. MOF-based Metadata Repositories: The SOFA.. - Hnetynka, Pise   (Correct)

No context found.

Szyperski, C.: Component Software, ACM Press, Addison-Wesley, 1998.


JPloy: User-Centric Deployment Support in a Component Platform - Lüer, van der Hoek (2004)   (Correct)

No context found.

Szyperski, C., Gruntz, D. and Murer, S. Component Software. Pearson Education, London, 2002.


Java Program Verification Challenges - Jacobs, Kiniry, Warnier (2002)   (3 citations)  (Correct)

No context found.

C. Szyperski. Component Software. Addison-Wesley, 1998.


Feature Modeling - Speck, Pulvermüller (2001)   (Correct)

No context found.

C. Szyperski. Component Software. Addison-Wesley, ACM-Press, New York, 1997.


Cybernetic Components: - Theoretical Basis For   (Correct)

No context found.

Szyperski, C., Component Software. 1998, New York: Addison-Wesley.


Semantic Integration of Heterogeneous Formal Specifications via .. - Große-Rhode (2001)   (Correct)

No context found.

C. Szyperski. Component Software. Addison Wesley, Reading/MA, 1998.


Java Program Verification Challenges - Jacobs, Kiniry, Warnier (2003)   (3 citations)  (Correct)

No context found.

C. Szyperski. Component Software. Addison-Wesley, 1998.


MobiDoc: A Framework for Building Mobile Compound Documents from.. - Satoh (2000)   (2 citations)  (Correct)

No context found.

C. Szyperski, Component Software, Addison-Wesley, 1998.

First 50 documents  Next 50

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