2 search results - page 1 / 1 » Elements of Style: Analyzing a Software Design Feature with ... |
ISSTA
1996
ACM
13 years 9 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
RE
2010
Springer
12 years 11 months ago
2010
Springer
The design of the variability of a software product line is crucial to its success and evolution. Meaningful variable features need to be elicited, analyzed, documented and validat...