2586 search results - page 385 / 518 » Automatic Abstraction for Congruences |
194
click to vote
INAP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...
167
click to vote
PAKDD
2001
ACM
15 years 10 months ago
2001
ACM
Abstract. The standardized visual field assessment, which measures visual function in 76 locations of the central visual area, is an important diagnostic tool in the treatment of ...
153
click to vote
SAS
2001
Springer
15 years 10 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
154
click to vote
TACAS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. A message sequence chart (MSC) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication pro...
162
click to vote
TOOLS
2000
IEEE
15 years 10 months ago
2000
IEEE
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of softwar...