1121 search results - page 34 / 225 » Building Formal Requirements Models for Reliable Software |
WSC
2008
14 years 12 months ago
2008
For simulation practitioners, the common steps in a simulation modeling engagement are likely familiar: problem assessment, requirements specification, model building, verificatio...
79
Voted
FM
2003
Springer
15 years 2 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
68
Voted
WER
2007
Springer
15 years 3 months ago
2007
Springer
Compliance with privacy legislation is a primary concern for health care institutions that are building information systems support for their business processes. This paper descri...
AC
2006
Springer
14 years 9 months ago
2006
Springer
In this chapter, we characterize problems for web applications, examine existing testing techniques that are potentially applicable to the web environment, and introduce a strateg...
77
Voted
SIGIR
2006
ACM
15 years 3 months ago
2006
ACM
Searching an organization’s document repositories for experts provides a cost effective solution for the task of expert finding. We present two general strategies to expert se...