339 search results - page 24 / 68 » Basic concepts of abstract interpretation |
115
click to vote
AIS
2006
Springer
14 years 12 months ago
2006
Springer
Abstract This article attempts to demystify computer vision for novice programmers through a survey of new applications in the arts, system design considerations, and contemporary ...
EXPERT
2006
14 years 11 months ago
2006
o address the need for canonical abstraction, we've adopted software engineering's concept of signatures--a technique for defining software patterns or invariant procedur...
144
click to vote
PROCEDIA
2010
14 years 10 months ago
2010
We describe a new course designed to introduce engineering students to computational thinking. One of the most significant challenges in teaching an introductory-level applied co...
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
Generic libraries, such as the C++ Standard Template Library (STL), provide flexible, high-performance algorithms and data types, along with functional specifications and performa...
ER
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Definitions of the concepts derived from the goal concept (including functional and nonfunctional goal, hardgoal, and softgoal) used in requirements engineering are discu...