Open AccessA Formal Specification and Checking Technique of Feature model using Z language
Author(s) -
Chee-Yang Song,
Eun-Sook Cho,
ChulJin Kim
Publication year - 2013
Publication title -
journal of the korea society of computer and information
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)
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom