KNOWLEDGE REPRESENTATION OF SOFTWARE LIFE-CYCLE INFORMATION USING FIRST-ORDER LOGIC.

Stephen S. Yau, Jing Pha Tsai, Robin A. Nicholl

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

Fingerprint Dive into the research topics of 'KNOWLEDGE REPRESENTATION OF SOFTWARE LIFE-CYCLE INFORMATION USING FIRST-ORDER LOGIC.'. Together they form a unique fingerprint.

Engineering & Materials Science