ACM SIGMOD Anthology TKDE dblp.uni-trier.de

Reusing Analogous Components.

Betty H. C. Cheng, Jun-Jang Jeng: Reusing Analogous Components. IEEE Trans. Knowl. Data Eng. 9(2): 341-349(1997)
@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}
}
BibTeX

Abstract

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


BibTeX

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
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
IEEE Transactions on Data and Knowledge Engineering: Copyright © by IEEE,
Joint ACM SIGMOD / IEEE Computer Society Anthology: Copyright © by ACM (info@acm.org) and IEEE, Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sun May 17 00:28:48 2009