6800 search results - page 514 / 1360 » Testing with Functions as Specifications |
196
click to vote
BMAS
2000
IEEE
16 years 2 days ago
2000
IEEE
System design requires experienced designers that use heuristics and built up knowledge to propose a high order solution. Behavioral models can help to formalise, optimise and spe...
200
click to vote
ICCAD
1999
IEEE
15 years 12 months ago
1999
IEEE
In this paper, an internal design model called FunState (functions driven by state machines) is presented that enables the representation of different types of system components a...
178
click to vote
KBSE
1999
IEEE
15 years 12 months ago
1999
IEEE
CYNTHIA is a novel editor for the functional programming language ML in which each function definition is represented as the proof of a simple specification. Users of CYNTHIA edit...
204
click to vote
IFL
1998
Springer
15 years 12 months ago
1998
Springer
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...
184
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract-- In many real-world scenarios, in contrast to standard benchmark optimization problems, we may face some uncertainties regarding the objective function. One source of the...