4036 search results - page 215 / 808 » Formal Methods |
156
click to vote
AFP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Refactoring is the process of improving the design of existing programs without changing their functionality. These notes cover refactoring in functional languages, using...
160
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
148
click to vote
CATS
2006
15 years 8 months ago
2006
This paper gives an overview of a pilot project on the specification and verification of the L4 highperformance microkernel. Of the three aspects examined in the project, we descr...
139
click to vote
IJCAI
1997
15 years 7 months ago
1997
The paper describes a transition logic, TL, and a deductive formalism for it. It shows how various important aspects (such as ramification, qualification, specificity, simultaneit...
150
click to vote
FOIS
2010
15 years 8 months ago
2010
Science aims to develop an accurate understanding of reality through a variety of rigorously empirical and formal methods. Ontologies are used to formalize the meaning of terms wit...