1733 search results - page 314 / 347 » The challenges of software engineering education |
123
click to vote
Publication
MetaML is a statically typed functional programming language with special support for program generation. In addition to providing the standard features of contemporary programming...
WWW
2006
ACM
15 years 10 months ago
2006
ACM
Wide-area distributed applications are challenging to debug, optimize, and maintain. We present Wide-Area Project 5 (WAP5), which aims to make these tasks easier by exposing the c...
106
click to vote
Publication
Given a single image of an arbitrary road, that may not be well-paved, or have clearly delineated edges, or some a priori known color or texture distribution, is it possible for a ...
AINA
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract — Governing business compliance with regulations, laws, best practices, contracts, and the like is not an easy task, and so far there are only limited software products ...
TACAS
2009
Springer
15 years 4 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...