Open AccessA Formal Specification and Checking Technique of Feature model using Z language
Author(s) -
Chee-Yang Song,
Eun-Sook Cho,
Chul-Jin Kim
Publication year - 2013
Publication title -
han-guk keompyuteo jeongbo hakoe nonmunji/han'gug keompyuteo jeongbo haghoe nonmunji
Language(s) - English
Resource type - Journals
eISSN - 2383-9945
pISSN - 1598-849X
DOI - 10.9708/jksci.2013.18.1.123
Subject(s) - computer science , correctness , model checking , programming language , schema (genetic algorithms) , syntax , feature (linguistics) , abstract syntax , feature model , specification language , formal specification , domain model , abstract syntax tree , artificial intelligence , software , machine learning , linguistics , philosophy , process (computing)