Reusing Analogous Components.

@article{DBLP:journals/tkde/ChengJ97,
  author    = {Betty H. C. Cheng and
               Jun-Jang Jeng},
  title     = {Reusing Analogous Components},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {9},
  number    = {2},
  year      = {1997},
  pages     = {341-349},
  ee        = {db/journals/tkde/ChengJ97.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1997 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

References

[1]

Gianluigi Caldiera, Victor R. Basili: Identifying and Qualifying Reusable Software Components. IEEE Computer 24(2): 61-70(1991) BibTeX

[2]

Hafedh Mili, Fatma Mili, Ali Mili: Reusing Software: Issues and Research Directions. IEEE Trans. Software Eng. 21(6): 528-562(1995) BibTeX

[3]

...

[4]

Jeannette M. Wing: A Specifier's Introduction to Formal Methods. IEEE Computer 23(9): 8-24(1990) BibTeX

[5]

Uwe Waldmann: Semantics of Order-Sorted Specifications. Theor. Comput. Sci. 94(1): 1-35(1992) BibTeX

[6]

...

[7]

Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann: An Order-Sorted Logic for Knowledge Representation Systems. Artif. Intell. 55(2): 149-191(1992) BibTeX

[8]

Jun-Jang Jeng, Betty H. C. Cheng: Using Formal Methods to Construct a Software Component Library. ESEC 1993: 397-417 BibTeX

[9]

Nachum Dershowitz: Program Abstraction and Instantiation. ACM Trans. Program. Lang. Syst. 7(3): 446-477(1985) BibTeX

[10]

Neil A. M. Maiden, Alistair G. Sutcliffe: Exploiting Reusable Specifications Through Analogy. Commun. ACM 35(4): 55-64(1992) BibTeX

[11]

...

[12]

Jun-Jang Jeng, Betty H. C. Cheng: A Formal Approach to Reusing More General Components. KBSE 1994: 90-97 BibTeX

[13]

Gerald C. Gannod, Betty H. C. Cheng: Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering. WCRE 1995: 0- BibTeX

[14]

Robert H. Bourdeau, Betty H. C. Cheng: A Formal Semantics for Object Model Diagrams. IEEE Trans. Software Eng. 21(10): 799-821(1995) BibTeX