Formal semantics and verification for feature modeling

Formal semantics and verification for feature modeling

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Saved in:
Bibliographic Details
Main Authors: Sun, J., Zhang, H., Li, Y.F., Wang, H.
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2013
Subjects:
Alloy
Domain Engineering
Feature Modeling
Feature Oriented Domain Analysis
Formal Verification
Z/EVES
Online Access:http://scholarbank.nus.edu.sg/handle/10635/40994
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-40994
record_format dspace
spelling sg-nus-scholar.10635-409942015-01-06T07:30:39Z Formal semantics and verification for feature modeling Sun, J. Zhang, H. Li, Y.F. Wang, H. COMPUTER SCIENCE Alloy Domain Engineering Feature Modeling Feature Oriented Domain Analysis Formal Verification Z/EVES Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 303-312 2013-07-04T08:17:10Z 2013-07-04T08:17:10Z 2005 Conference Paper Sun, J.,Zhang, H.,Li, Y.F.,Wang, H. (2005). Formal semantics and verification for feature modeling. Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS : 303-312. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/40994 NOT_IN_WOS Scopus
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
topic Alloy
Domain Engineering
Feature Modeling
Feature Oriented Domain Analysis
Formal Verification
Z/EVES
spellingShingle Alloy
Domain Engineering
Feature Modeling
Feature Oriented Domain Analysis
Formal Verification
Z/EVES
Sun, J.
Zhang, H.
Li, Y.F.
Wang, H.
Formal semantics and verification for feature modeling
description Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Sun, J.
Zhang, H.
Li, Y.F.
Wang, H.
format Conference or Workshop Item
author Sun, J.
Zhang, H.
Li, Y.F.
Wang, H.
author_sort Sun, J.
title Formal semantics and verification for feature modeling
title_short Formal semantics and verification for feature modeling
title_full Formal semantics and verification for feature modeling
title_fullStr Formal semantics and verification for feature modeling
title_full_unstemmed Formal semantics and verification for feature modeling
title_sort formal semantics and verification for feature modeling
publishDate 2013
url http://scholarbank.nus.edu.sg/handle/10635/40994
_version_ 1681082363731247104

Similar Items