Modular detection of feature interactions through theorem proving a case study.

Description

Thesis (M.S.)--Worcester Polytechnic Institute. / Keywords: theorem proving; modular verification; software verification; feature-oriented programming; feature interaction. Includes bibliographical references (p. 131-136).

Links & Downloads

1. http://www.wpi.edu/Pubs/ETD/Available/etd-0821103-122029

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/52999696
Date	January 2003
Creators	Roberts, Brian Glenn.
Source Sets	OCLC
Language	English
Detected Language	English
Source	Link to electronic thesis.