4418 search results - page 176 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
203
Voted
DAC
1997
ACM
15 years 11 months ago
1997
ACM
The design process for xed-point implementations either in software or in hardware requires a bit-true speci cation of the algorithm in order to analyze quantization e ects on an...
178
Voted
ICDCS
2002
IEEE
15 years 12 months ago
2002
IEEE
An Operational Information System (OIS) supports a real-time view of an organization’s information critical to its logistical business operations. A central component of an OIS ...
301
Voted
PVLDB
2010
15 years 5 months ago
2010
As the amount of user generated content grows, personal information management has become a challenging problem. Several information management approaches, such as desktop search,...
174
Voted
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
A pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification was proposed by Dwyer and his colleagues in [4, 3]...
172
Voted
ICFEM
2000
Springer
15 years 10 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...