10274 search results - page 408 / 2055 » Lean Software Development |
199
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
209
click to vote
SIGSOFT
2003
ACM
16 years 8 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
201
click to vote
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
The craft of software understanding and verification can benefit from technologies that enable evolution toward a true engineering discipline. In current practice, software develo...
196
click to vote
ICSM
2009
IEEE
16 years 2 months ago
2009
IEEE
Software clones are considered harmful in software maintenance and evolution. However, despite a decade of active research, there is a marked lack of work in the detection and ana...
175
click to vote
APSEC
2008
IEEE
16 years 2 months ago
2008
IEEE
Design and development scalability, in any engineering, requires information hiding and a specific composition mechanism in which composite items are made-up of other items. This ...