6800 search results - page 251 / 1360 » Testing with Functions as Specifications |
139
click to vote
EUROPLOP
2006
15 years 7 months ago
2006
We consider how to add security to the Broker distribution pattern. We do so by examining how systems using Broker are secured in practice, and by then revising the pattern to ref...
155
click to vote
JAR
2008
15 years 6 months ago
2008
This article describes the formal verification of a compilation algorithm that transforms parallel moves (parallel assignments between variables) into a semanticallyequivalent sequ...
199
click to vote
AAIP
2009
15 years 3 months ago
2009
Given an appropriate domain specific language (DSL), it is possible to describe the relationship between Haskell data types and many generic functions, typically type-class instan...
145
click to vote
ICST
2008
IEEE
16 years 13 days ago
2008
IEEE
Evidence suggests that as software ages the original realizations of design patterns remain in place, and participants in design pattern realizations accumulate “grime” – no...
153
click to vote
ETS
2006
IEEE
16 years 2 days ago
2006
IEEE
— Accurate generation of circuit specifications from test signatures is a difficult problem, since analytical expressions cannot precisely describe the nonlinear relationships ...