Jeng J-J, Cheng BHC. A formal approach to reusing more general components. In: Proceedings of the 9th IEEE Knowledge-Based Software Engineering Conference, Monterey, September 1994, pp 90-97. ftp://ftp.cps.msu.edu/pub/serg/ reuse/kbse94-reuse.ps.Z  Home/Search   Document Details and Download   Summary   Related Articles   Check

....Section 2.1) the terms retrieval and adaptation are part of the reuse community s vocabulary (Section V of [11] but the term case based reasoning is not in their mainstream vocabulary. As well as the explicit CBR approaches to reuse mentioned in Section 4. 1, there is a lot of covert CBR (e.g. [39]) Design patterns [40] share the philosophy which underlies CBR they describe solutions to recurring software problems which conform to the principles of good object oriented programming (flexibility, elegance and reusability) However, in their current avatar, design patterns are intended ....

Jeng J-J, Cheng BHC. A formal approach to reusing more general components. In: Proceedings of the 9th IEEE Knowledge-Based Software Engineering Conference, Monterey, September 1994, pp 90-97. ftp://ftp.cps.msu.edu/pub/serg/ reuse/kbse94-reuse.ps.Z

....COTS product, and includes such issues as training available on the product, stability of the vendor, and sustaining engineering support. Parra 97] Formal methods transition techniques in supporting component certification [Leavens 98] component selection [Chen 97] and component modification [Jeng 94] but none of these efforts address COTS software. The National Product Line Asset Center (NPLACE) has established a method of evaluating COTS products against a set of predefined testable criteria. Voas has developed a method for COTS certification that involves testing the product based on the ....

Jun-Jeng and Betty H. C. Cheng, "A Formal Approach to Reusing More General Components," Proceedings of the 9 th Knowledge-Based Software Engineering Conference, IEEE, September 1994

....matching implementation using specifications written in the VDM[16] specification language. Mili and Mittermeir[20] present a system implemented using a theorem prover called Otter to discharge proofs generated using relations between component specifications and implementations. Jeng and Cheng[15] show how using order sorted unification of specifications can yield a set of substitutions guiding the adaptation of returned components. 5 Behavioural Retrieval This section presents a formal model for behavioural retrieval according to the framework given in Section 2. 5.1 Scheme Name and ....

J. Jeng and B. H. C. Cheng. A formal approach to reusing more general components. In IEEE 9th Knowledge-Based Software Engineering Conference, Monterey, California, September 1994.

....code. Signature matching retrieval schemes are one of a number of retrieval methods based upon internal, static properties of software components. Other such retrieval methods include specification matching using higher order unification[23] and specification matching using order sorted logics[13] which build upon signature matching but also match using pre and post condition assertions of components. 5 Behavioural Retrieval In this section a formal model for behavioural retrieval is presented. The model is based upon the schemes proposed in [18, 1] Behaviour based retrieval schemes ....

J. Jeng and B. H. C. Cheng. A formal approach to reusing more general components. In IEEE 9th Knowledge-Based Software Engineering Conference, Monterey, California, September 1994.

....prototype that is used to perform an evaluation of their approach. The experiment presented is based on 87 C , Smalltalk and Eiffel assets. Formal specifications have been recognized as an important feature of any organized approach to component storage and retrieval for the purpose of reuse [26, 37, 40, 41, 43, 16, 49, 56, 57]. Implicit in most of the retrieval methods of software components is the idea that the retrieval algorithm attempts to identify those components of the library that minimize some measure of distance to the user query. ....

J.J. Jeng and B.H.C. Cheng. A formal approach to reusing more general components. In Proceedings, IEEE 9th Knowledge-based Software Engineering Conference, pages 90--97, Monterey, CA, September 1994.

....using specifications written in the VDM[Jones 1986] specification language. Mili and Mittermeir[Mili et al. 1994] present a system implemented using a theorem prover called Otter to discharge proofs generated using relations between component specifications and implementations. Jeng and Cheng[Jeng and Cheng 1994] show how using order sorted unification of specifications can yield a set of substitutions guiding the adaptation of returned components. 4 Behavioural Retrieval In this section a formal model for behavioural retrieval is presented according to the framework given in Section 2. 4.1 Scheme Name ....

Jeng, J. and Cheng, B. H. C. (1994), A formal approach to reusing more general components, in `IEEE 9th KnowledgeBased Software Engineering Conference', Monterey, California.

....a system means to change its internal structure without changing its externally visible behaviour. A simple refactoring is to move an object attribute from a subclass to a superclass. Retrieved systems may have to be adapted via refactoring to ensure efficiency or readability. Jeng and Cheng[64] show how using order sorted unification of specifications can yield a set of substitutions guiding the adaptation of retrieved components. Edwards[34] notes the problems of mismatched component interfaces: when one component mistakenly presumes another offers a particular set of features. ....

....specifications written in the VDM[68] specification language. Mili and Mittermeir[89] present a system implemented using a theorem prover called Otter to discharge proofs generated using relations 6.5. BEHAVIOURAL RETRIEVAL between component specifications and implementations. Jeng and Cheng[64] show how using order sorted unification of specifications can yield a set of substitutions guiding the adaptation of returned components. An interesting extension to the retrieval scheme outlined in this section is to consider matching of class invariant predicates in addition to pre and post ....

J. Jeng and B. H. C. Cheng. A formal approach to reusing more general components. In IEEE 9th Knowledge-Based Software Engineering Conference, Monterey, California, September 1994.

....obtained by the retrieval process. The results for this example are in the form of components that are more general than the query specification adt queue. Once the reusable components are retrieved, they can be used as a set of candidates for further modification to fit the query specification [26]. 6 Related Work Zaremski and Wing [21] present signature matching as a tool to locate a reusable component. They gave definitions for a variety of matches at both the function and the module levels. A signature is used as a key to find a set of reusable components in their retrieval methods. ....

Jun-Jang Jeng and Betty H.C. Cheng. A Formal Approach to Reusing More General Components. In Proceedings of The Ninth Knowledge-Based Software Engineering Conference, pages 90--97, Monterey, California, September 20--23, 1994.

....a perfect match, explanation from systems or domain experts will also be necessary for evaluating the appropriate target specifications. Currently, we are investigating software reuse and program adaptation when existing specifications are more general or abstract than the query specification [43]. In future investigations, more sophisticated knowledge will be incorporated into the evaluation function in order to increase the number of analogy candidates retrieved for a query specification. We are also investigating the specification of design level descriptions of systems in order to ....

J. Jeng and B. H. C. Cheng, "A formal approach to reusing more general components," in IEEE 9th Knowledge-Based Software Engineering Conference, (Monterey, California), pp. 90-- 97, September 1994.

No context found.

J.J. Jeng, and B.H.C. Cheng. A formal approach to reusing more general components. IEEE 9th Knowledge-based Software Engineering Conference, pp 90-97. Monterey, CA: September 1994.

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