A Modular Model Checking Algorithm for Cyclic Feature Compositions
Feature-oriented software architecture is a way of organizing code around the features that the program provides instead of the program's objects and components. In the development of a feature-oriented software system, the developers, supplied with a set of features, select and organize featur...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Published: |
Digital WPI
2005
|
| Subjects: | |
| Online Access: | https://digitalcommons.wpi.edu/etd-theses/64 https://digitalcommons.wpi.edu/cgi/viewcontent.cgi?article=1063&context=etd-theses |