1481 search results - page 204 / 297 » Enriching the Software Development Process by Formal Methods |
133
click to vote
AH
2008
Springer
15 years 10 months ago
2008
Springer
In an attempt to support traditional classroom assessment processes with fully computerized methods, we have developed a method for adaptive assessment suitable for well structured...
149
click to vote
TSE
1998
15 years 3 months ago
1998
—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...
135
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
121
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Since the seminal book by the Gang of Four, design patterns have proven an important tool in software development. Over time, more and more patterns have been discovered ...
137
click to vote
POLICY
2004
Springer
15 years 9 months ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...