Faculty Advisor

Fisler, Kathryn

Abstract

Feature-oriented code is a new approach in modern software engineering, whereby features are consolidated into modules rather than spread throughout multiple classes. This method of organization may be beneficial when used with automated verification systems. Features can potentially be isolated and verified individually, lessening the time needed for verification. Features might also be verified before being added to a system. This project examines using verification tools on feature-oriented code, with an eye on verifying individual features separated from the system.

Publisher

Worcester Polytechnic Institute

Date Accepted

January 2003

Major

Computer Science

Major

Electrical and Computer Engineering

Project Type

Major Qualifying Project

Accessibility

Restricted-WPI community only

Advisor Department

Computer Science

Advisor Program

Computer Science

Share

COinS