431 search results - page 7 / 87 » Using Formal Methods to Reason about Architectural Standards |
KR
2004
Springer
15 years 5 months ago
2004
Springer
This article presents a general framework for integrating reasoning about object structure and concept taxonomies. The structural relations in the domain of objects discussed are ...
ZUM
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. This paper presents some of our requirements for a Z typechecker: that the typechecker accept all well-typeable formulations, however contrived; that it gather informatio...
SIGSOFT
2005
ACM
16 years 11 days ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
SAFECOMP
2004
Springer
15 years 5 months ago
2004
Springer
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...
88
Voted
CSB
2004
IEEE
15 years 3 months ago
2004
IEEE
Ascertaining the similarity amongst molecules is a fundamental problem in biology and drug discovery. Since similar molecules tend to have similar biological properties, the notio...