TY - JOUR
TI - Knowledge Representation of Software Component Interconnection Information for Large-Scale Software Modifications
T2 - IEEE Transactions on Software Engineering
SP - 355
EP - 361
AU - S. Yau
AU - J. Tsai
PY - 1987
KW - validity checks
KW - Automated reasoning
KW - first-order logic
KW - integrity checking
KW - software component interconnection
KW - software development and maintenance
KW - software' modification
DO - 10.1109/TSE.1987.233166
JO - IEEE Transactions on Software Engineering
IS -
SN - 0098-5589
VO - 10.1109/TSE.1987.233166
VL - 13
JA - IEEE Transactions on Software Engineering
Y1 - March 1987
ER -