Please use this identifier to cite or link to this item:
|Title:||Verify feature models using protégé-OWL||Authors:||Wang, H.
|Issue Date:||2005||Citation:||Wang, H.,Li, Y.F.,Sun, J.,Zhang, H. (2005). Verify feature models using protégé-OWL. 14th International World Wide Web Conference, WWW2005 : 1038-1039. ScholarBank@NUS Repository. https://doi.org/10.1145/1062745.1062857||Abstract:||Feature models are widely used in domain engineering to capture common and variant features among systems in a particular domain. However, the lack of a widely-adopted means of precisely representing and formally verifying feature models has hindered the development of this area. This paper presents an approach to modeling and verifying feature diagrams using Semantic Web ontologies.||Source Title:||14th International World Wide Web Conference, WWW2005||URI:||http://scholarbank.nus.edu.sg/handle/10635/41702||ISBN:||1595930515||DOI:||10.1145/1062745.1062857|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Oct 6, 2022
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.