3799 search results - page 369 / 760 » An Engineering Approach to Formal Methods |
167
click to vote
JAR
2007
15 years 6 months ago
2007
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to u...
161
click to vote
APSEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Code implementing a crosscutting concern spreads over many parts of the Linux code. Identifying these code automatically can benefit both the maintainability and evolvability of Li...
185
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
198
click to vote
EMSOFT
2011
Springer
14 years 6 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
163
click to vote
CSMR
2007
IEEE
16 years 1 months ago
2007
IEEE
Libraries provide implementation for the concepts of a particular domain. When programmers use a library, they do not work any more with the real-world concepts but with their imp...