Edward Kabaale, Lian Wen, Zhe Wang, Terry Rout. Representing Software Process in Description Logics: An Ontology Approach for Software Process Reasoning and Verification. In Paul M. Clarke, Rory V. O'Connor, Terry Rout, Alec Dorling, editors, Software Process Improvement and Capability Determination - 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedings. Volume 609 of Communications in Computer and Information Science, pages 362-376, Springer, 2016. [doi]