3792 search results - page 161 / 759 » Techniques for Trusted Software Engineering |
126
click to vote
AGILEDC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper analyzes the reflections of an agile team, developing a large-scale project in an industry setting. The team uses an Iteration Summary Meeting practice, which includes ...
143
click to vote
ESEC
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
167
click to vote
IJCAT
2010
15 years 2 months ago
2010
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...
133
click to vote
SARA
2009
Springer
15 years 10 months ago
2009
Springer
: Given a system design (SD), a key task is to optimize this design to reduce the probability of catastrophic failures. We consider the task of redesigning an SD to minimize the pr...
154
click to vote
DAWAK
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Data warehouse architectural choices and optimization techniques are critical to decision support query performance. To facilitate these choices, the performance of the d...