2576 search results - page 256 / 516 » A case study in test management |
197
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
178
click to vote
TSE
1998
15 years 6 months ago
1998
—We describe and analyze the process of requirements development in scenario-based design through consideration of a case study. In our project, a group of teachers and system de...
162
click to vote
ACE
2004
15 years 8 months ago
2004
In this paper we discuss using a case study to demonstrate the software engineering process from requirements, specification, preliminary user manual, prototyping, design, impleme...
185
click to vote
HIPEAC
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Designers of large parallel computers and clusters are becoming increasingly concerned with the cost and power consumption of the interconnection network. A simple way to...
181
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
The management of healthcare organizations starts to recognize the relevance of the definition of care products in relation to management information. In the turmoil between costs...