3302 search results - page 72 / 661 » Software Is More Than Code |
VMCAI
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
ISPW
2010
IEEE
14 years 2 months ago
2010
IEEE
Software Factories pose a paradigm shift that promises to turn application assembly more cost eective through systematic reuse. These advances in software industrialization have h...
KBSE
2008
IEEE
14 years 4 months ago
2008
IEEE
Code completion is a widely used productivity tool. It takes away the burden of remembering and typing the exact names of methods or classes: As a developer starts typing a name, ...
HOTOS
1997
IEEE
14 years 2 months ago
1997
IEEE
Although component software has emerged as one of the most significant and commercially successful technologies of the past few years, few operating systems are designed to host a...
ICFP
2009
ACM
14 years 10 months ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...