1121 search results - page 34 / 225 » Building Formal Requirements Models for Reliable Software |
WSC
2008
15 years 2 months ago
2008
For simulation practitioners, the common steps in a simulation modeling engagement are likely familiar: problem assessment, requirements specification, model building, verificatio...
FM
2003
Springer
15 years 5 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 ...
WER
2007
Springer
15 years 6 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 12 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...
SIGIR
2006
ACM
15 years 5 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...