A formal approach for component retrieval and integration analysis Article

Chu, WC, Lu, CW, Yang, HJ et al. A formal approach for component retrieval and integration analysis . JOURNAL OF SOFTWARE MAINTENANCE-RESEARCH AND PRACTICE, 12(6), 325-342. 10.1002/1096-908X(200011/12)12:6<325::AID-SMR217>3.0.CO;2-#

cited authors

  • Chu, WC; Lu, CW; Yang, HJ; He, XD

authors

published in

keywords

  • Computer Science
  • Computer Science, Software Engineering
  • Science & Technology
  • Technology
  • component retrieval
  • formal methods
  • integration analysis
  • object-oriented programs
  • predicate transition nets
  • software reuse

publisher

  • JOHN WILEY & SONS LTD

start page

  • 325

end page

  • 342

volume

  • 12

issue

  • 6