Formal semantics and verification for feature modeling

Jing Sun; Hongyu Zhang; Yuan-Fang Li; Hai Wang

Formal semantics and verification for feature modeling

Jing Sun
, Hongyu Zhang
, Yuan-Fang Li
, Hai Wang

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Original language	English
Title of host publication	10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005)
Subtitle of host publication	Proceedings
Editors	Shaoying Liu, Jim Woodcock
Place of Publication	Los Alamitos CA USA
Publisher	IEEE, Institute of Electrical and Electronics Engineers
Pages	303 - 312
Number of pages	10
ISBN (Print)	076952284X
Publication status	Published - 2005
Externally published	Yes
Event	IEEE International Conference on Engineering of Complex Computer Systems 2005 - Shanghai, China Duration: 16 Jun 2005 → 20 Jun 2005 Conference number: 10th https://ieeexplore.ieee.org/xpl/conhome/9905/proceeding (Proceedings)

Conference

Conference	IEEE International Conference on Engineering of Complex Computer Systems 2005
Abbreviated title	ICECCS 2005
Country/Territory	China
City	Shanghai
Period	16/06/05 → 20/06/05
Internet address	https://ieeexplore.ieee.org/xpl/conhome/9905/proceeding (Proceedings)

Cite this

@inproceedings{06d960b89b884cd7bb8b54386e5ee7d7,

title = "Formal semantics and verification for feature modeling",

author = "Jing Sun and Hongyu Zhang and Yuan-Fang Li and Hai Wang",

year = "2005",

language = "English",

isbn = "076952284X",

pages = "303 -- 312",

editor = "Shaoying Liu and Jim Woodcock",

booktitle = "10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005)",

publisher = "IEEE, Institute of Electrical and Electronics Engineers",

address = "United States of America",

note = "IEEE International Conference on Engineering of Complex Computer Systems 2005, ICECCS 2005 ; Conference date: 16-06-2005 Through 20-06-2005",

url = "https://ieeexplore.ieee.org/xpl/conhome/9905/proceeding",

}

Sun, J, Zhang, H, Li, Y-F & Wang, H 2005, Formal semantics and verification for feature modeling. in S Liu & J Woodcock (eds), 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005): Proceedings. IEEE, Institute of Electrical and Electronics Engineers, Los Alamitos CA USA, pp. 303 - 312, IEEE International Conference on Engineering of Complex Computer Systems 2005, Shanghai, China, 16/06/05.

Formal semantics and verification for feature modeling. / Sun, Jing; Zhang, Hongyu; Li, Yuan-Fang et al.
10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005): Proceedings. ed. / Shaoying Liu; Jim Woodcock. Los Alamitos CA USA: IEEE, Institute of Electrical and Electronics Engineers, 2005. p. 303 - 312.

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

T1 - Formal semantics and verification for feature modeling

AU - Sun, Jing

AU - Zhang, Hongyu

AU - Li, Yuan-Fang

AU - Wang, Hai

N1 - Conference code: 10th

PY - 2005

Y1 - 2005

M3 - Conference Paper

SN - 076952284X

SP - 303

EP - 312

BT - 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005)

A2 - Liu, Shaoying

A2 - Woodcock, Jim

PB - IEEE, Institute of Electrical and Electronics Engineers

CY - Los Alamitos CA USA

T2 - IEEE International Conference on Engineering of Complex Computer Systems 2005

Y2 - 16 June 2005 through 20 June 2005

ER -