11784 search results - page 675 / 2357 » Improving Software Process Improvement |
167
click to vote
FM
1994
Springer
15 years 11 months ago
1994
Springer
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it i...
157
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
Feature models are commonly used to describe software product lines in terms of features. Features are linked by relations, which may introduce errors in the model. This paper give...
171
click to vote
ASWEC
2001
IEEE
15 years 11 months ago
2001
IEEE
Animation tools haveproven to be effective asa means of visualising formal specijcations. Specijcations that might otherwise be impenetrable can be communicated to a wide range of...
194
click to vote
FSTTCS
2000
Springer
15 years 10 months ago
2000
Springer
We present a new scheme for storing a planar graph in external memory so that any online path can be traversed in an I-O efficient way. Our storage scheme significantly improves th...
198
click to vote
CIBSE
2008
ACM
15 years 9 months ago
2008
ACM
Typical problems of a requirements document, regarding its contents and organization, involve deficient modularization where requirements artifacts may deal with too much informati...