6800 search results - page 199 / 1360 » Testing with Functions as Specifications |
116
Voted
EKAW
2004
Springer
15 years 8 months ago
2004
Springer
Functionality is one of the key concepts in understanding an artifact and in engineering domain knowledge. Although the importance of sharing of engineering knowledge in industry h...
151
click to vote
CODES
2004
IEEE
15 years 6 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...
140
Voted
PST
2004
15 years 4 months ago
2004
Syntax-based vulnerability testing is a static black-box testing method for protocol implementations. It involves testing the Implementation Under Test (IUT) with a large number o...
119
Voted
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Answer-set programming (ASP) is a well-acknowledged paradigm for declarative problem solving, yet comparably little effort has been spent on the investigation of methods to support...
122
Voted
ENTCS
2010
15 years 2 months ago
2010
Component based development allows to build software upon existing components and promises to improve software reuse and reduce costs. To gain reliability of a component based sys...