7430 search results - page 83 / 1486 » Programming Applications in CIFF |
ICST
2009
IEEE
13 years 5 months ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
TSP
2011
13 years 3 months ago
2011
—This paper deals with the problem of estimating the steering direction of a signal, embedded in Gaussian disturbance, under a general quadratic inequality constraint, representi...
CORR
2012
Springer
12 years 3 months ago
2012
Springer
: Software development is still based on manufactory production, and most of the programming code is still hand-crafted. Software development is very far away from the ultimate goa...
SIGCSE
2002
ACM
13 years 7 months ago
2002
ACM
Abstract This paper examines the use of a simulator to explore process interaction in Unix. The simulator allows instructors to trace through a variety of programs and to show how ...
CEFP
2009
Springer
13 years 6 months ago
2009
Springer
Programmers happily use induction to prove properties of recursive programs. To show properties of corecursive programs they employ coinduction, but perhaps less enthusiastically. ...