1128 search results - page 88 / 226 » Little Engines of Proof |
RE
2002
Springer
14 years 9 months ago
2002
Springer
The relationship between project selection and requirements analysis is important, yet has not received much attention. The decisions made during project selection directly affect...
100
click to vote
KBSE
2010
IEEE
14 years 7 months ago
2010
IEEE
User interface development is a time and resource consuming task. Thus, reusing existing UI components is a desirable approach for rapid UI development. To keep UIs maintainable, ...
KBSE
2010
IEEE
14 years 7 months ago
2010
IEEE
Scientists today conduct new research via software-based experimentation and validation in a host of disciplines, including materials science, life sciences, astronomy, and physic...
114
click to vote
ACL2
2006
ACM
15 years 3 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
AISC
1998
Springer
15 years 1 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...