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.

• This report represents the work of one or more WPI undergraduate students submitted to the faculty as evidence of completion of a degree requirement. WPI routinely publishes these reports on its website without editorial or peer review.

Creator

• Gerratana, Frank Louis
• Maddock, Jordan Alfred
• Wallace, Scott Thomas

Publisher

• Worcester Polytechnic Institute

Identifier

• 03C037M

Advisor

• Fisler, Kathryn

Year

• 2003

Date created

• 2003-01-01

Resource type

• Major Qualifying Project

Major

• Electrical & Computer Engineering
• Computer Science

Rights statement

• In Copyright

Last modified

• 2021-10-11