486 search results - page 4 / 98 » Sound Methods and Effective Tools for Engineering Modeling a... |
147
click to vote
PPOPP
2010
ACM
16 years 14 days ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
113
click to vote
INTERACT
2003
15 years 4 months ago
2003
: Models from methods like Contextual Design (CD) are a sound basis for requirements engineering. But current software engineering processes are not prepared to use such models. To...
114
click to vote
CMG
2006
15 years 4 months ago
2006
We present a comprehensive model for quantitative evaluation and comparison of search engines. The model is based on the LSP method for system evaluation. The basic contribution of...
117
click to vote
QSIC
2005
IEEE
15 years 8 months ago
2005
IEEE
Software inspections are established means of ensuring quality in software engineering. The traditional paper-based inspections are considered too laborious for widespread usage, ...
125
click to vote
ISSRE
2002
IEEE
15 years 8 months ago
2002
IEEE
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...