1585 search results - page 247 / 317 » A framework for computer-aided validation |
149
Voted
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
107
Voted
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
164
Voted
COLT
2000
Springer
15 years 7 months ago
2000
Springer
In the present paper, we present the theoretical basis, as well as an empirical validation, of a protocol designed to obtain effective VC dimension estimations in the case of a si...
131
Voted
OOPSLA
2000
Springer
15 years 7 months ago
2000
Springer
Reverse engineering is the process of uncovering the design and the design rationale from a functioning software system. Reverse engineering is an integral part of any successful ...
132
Voted
ICSE
1997
IEEE-ACM
15 years 7 months ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...