8197 search results - page 466 / 1640 » Adaptive functional programming |
196
click to vote
SNPD
2004
15 years 9 months ago
2004
The problem of testing programs without test oracles is well known. A commonly used approach is to use special values in testing but this is often insufficient to ensure program c...
191
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
401
click to vote
FM
2011
Springer
14 years 11 months ago
2011
Springer
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
184
click to vote
ICIP
2003
IEEE
16 years 9 months ago
2003
IEEE
Analog video digitized from noisy sources can suffer of line registration problems due to bad synchronization pulses. The effect is that the image lines are randomly shiftedwith r...
189
click to vote
ICSEA
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—In order to check the fulfilment of non-functional requirements at an early system design and development stage, we provide a framework that facilitates the combination ...