@ARTICLE{,
author = {S. Yau and J. Tsai},
journal = {IEEE Transactions on Software Engineering},
title = {Knowledge Representation of Software Component Interconnection Information for Large-Scale Software Modifications},
year = {1987},
volume = {13},
number = {},
pages = {355-361},
keywords={validity checks; Automated reasoning; first-order logic; integrity checking; software component interconnection; software development and maintenance; software' modification},
doi = {10.1109/TSE.1987.233166},
url = {doi.ieeecomputersociety.org/10.1109/TSE.1987.233166},
ISSN = {0098-5589},
month={03}
}