Formal approach for component retrieval and integration analysis

Journal of Software Maintenance

Volumn 12, Issue 6, 2000, Pages 325-342

  Chu, William C ^a   Lu, Chih Wei ^b   Yang, Hongji ^c   He, Xudong ^d  

^a TUNGHAI UNIVERSITY   (Taiwan)

^b FENG CHIA UNIVERSITY   (Taiwan)

^c DE MONTFORT UNIVERSITY   (United Kingdom)

^d Florida International University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; COMPUTER SOFTWARE REUSABILITY; DATA STRUCTURES; INFORMATION RETRIEVAL; OBJECT ORIENTED PROGRAMMING;

COMPONENT RETRIEVAL; FIRST ORDER LOGIC; FORMAL METHODS; INTEGRATION ANALYSIS; PREDICATE TRANSITION NETS;

COMPUTER SOFTWARE MAINTENANCE;

EID: 0034313054     PISSN: 1040550X     EISSN: None     Source Type: Journal    
DOI: 10.1002/1096-908X(200011/12)12:6<325::AID-SMR217>3.0.CO;2-#     Document Type: Article

References (22)