%0 Conference Paper %1 conf/spice/KabaaleWWR16 %A Kabaale, Edward %A Wen, Lian %A Wang, Zhe %A Rout, Terry %B SPICE %D 2016 %E Clarke, Paul M. %E O'Connor, Rory V. %E Rout, Terry %E Dorling, Alec %I Springer %K dblp %P 362-376 %T Representing Software Process in Description Logics: An Ontology Approach for Software Process Reasoning and Verification. %U http://dblp.uni-trier.de/db/conf/spice/spice2016.html#KabaaleWWR16 %V 609 %@ 978-3-319-38979-0

@inproceedings{conf/spice/KabaaleWWR16, added-at = {2018-11-07T00:00:00.000+0100}, author = {Kabaale, Edward and Wen, Lian and Wang, Zhe and Rout, Terry}, biburl = {https://www.bibsonomy.org/bibtex/29902cafa16e20f1c803682992adb3f01/dblp}, booktitle = {SPICE}, crossref = {conf/spice/2016}, editor = {Clarke, Paul M. and O'Connor, Rory V. and Rout, Terry and Dorling, Alec}, ee = {https://doi.org/10.1007/978-3-319-38980-6_26}, interhash = {917e4d6e5431c7991eae3d986b6acf49}, intrahash = {9902cafa16e20f1c803682992adb3f01}, isbn = {978-3-319-38979-0}, keywords = {dblp}, pages = {362-376}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2018-11-08T11:37:39.000+0100}, title = {Representing Software Process in Description Logics: An Ontology Approach for Software Process Reasoning and Verification.}, url = {http://dblp.uni-trier.de/db/conf/spice/spice2016.html#KabaaleWWR16}, volume = 609, year = 2016 }