2132 search results - page 207 / 427 » Automated software winnowing |
146
click to vote
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
127
click to vote
GIS
1995
ACM
15 years 7 months ago
1995
ACM
We stress the importance of requirements engineering (RE) for the development of large scale software in general and for GIS-applications in particular. RE analyses the problem do...
114
click to vote
CANDC
2005
ACM
15 years 5 months ago
2005
ACM
Important design problems are raised in developing software for amateur users, a group distinguished here from novices. The authors argue that these design problems can be approac...
138
Voted
VAMOS
2010
Springer
15 years 5 months ago
2010
Springer
Deriving products from a software product line is difficult, particularly when there are many constraints in the variability of the product line. Understanding the impact of variab...
134
click to vote
FORTE
2001
15 years 5 months ago
2001
Use cases are useful in various stages of the software process. They are very often described using text that has to be interpreted by system designers. This could lead to implemen...