1781 search results - page 144 / 357 » An Emerging Need for a New Software Engineering Method |
RE
2006
Springer
15 years 21 days ago
2006
Springer
Domain knowledge is one of crucial factors to get a great success in requirements elicitation of high quality, and only domain experts, not requirements analysts, have it. We prop...
96
Voted
SIGSOFT
2006
ACM
16 years 1 months ago
2006
ACM
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...
107
Voted
EUROMICRO
2006
IEEE
15 years 6 months ago
2006
IEEE
Software architecture description languages (ADLs) were a particularly active research area in the 1990s. In 2000, we published an extensive study of existing ADLs, which has serv...
101
click to vote
CIKM
2008
Springer
15 years 2 months ago
2008
Springer
Search engine logs are an emerging new type of data that offers interesting opportunities for data mining. Existing work on mining such data has mostly attempted to discover knowl...
121
Voted
FASE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...