1799 search results - page 174 / 360 » The Logic of Correctness in Software Engineering |
160
click to vote
IWPC
2008
IEEE
16 years 27 days ago
2008
IEEE
Inheritance is an important mechanism when developing object-oriented programs with class-based programming languages: it enables subtyping, polymorphism, and code reuse. Inherita...
200
click to vote
SEFM
2008
IEEE
16 years 27 days ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
159
click to vote
B
2007
Springer
16 years 21 days ago
2007
Springer
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ...
167
click to vote
VMCAI
2007
Springer
16 years 19 days ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
158
click to vote
ECLIPSE
2006
ACM
16 years 15 days ago
2006
ACM
Frameworks provide means to reuse existing design and functionality, but first require developers to understand how to use them. Learning the correct usage of a framework can be ...