Sciweavers

8810 search results - page 297 / 1762
» Open. Closed. Open
Sort
View
ASE
2005
102views more  ASE 2005»
15 years 6 months ago
Modular Verification of Open Features Using Three-Valued Model Checking
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
118
Voted
JASIS
2007
44views more  JASIS 2007»
15 years 6 months ago
Institutional journal costs in an open access environment
William H. Walters