2384 search results - page 28 / 477 » Analyzing Requirements Engineering Processes: A Case Study |
143
click to vote
IFM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
153
click to vote
RE
2008
Springer
15 years 4 months ago
2008
Springer
For several decades there has been a debate in the computing sciences about the relative roles of design and empirical research, and about the contribution of design and research ...
129
click to vote
CHI
2010
ACM
15 years 10 months ago
2010
ACM
In this paper we portray a specific type of knowledge which we term ‘nomadic knowledge’. It is required periodically by different actors and travels along foreseeable paths be...
131
click to vote
ICSM
2002
IEEE
15 years 10 months ago
2002
IEEE
Unregulated evolution of software often leads to software ageing which not only makes the product difficult to maintain but also breaks the consistency between design and impleme...
147
click to vote
CVPR
2003
IEEE
16 years 7 months ago
2003
IEEE
A linear programming technique is introduced that jointly performs feature selection and classifier training so that a subset of features is optimally selected together with the c...