127 search results - page 21 / 26 » A Formal Object-Oriented Analysis for Software Reliability: ... |
328
click to vote
CASES
2011
ACM
14 years 5 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
159
click to vote
POPL
2000
ACM
15 years 9 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
143
click to vote
SIGSOFT
2008
ACM
16 years 6 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
157
click to vote
EUROSYS
2007
ACM
16 years 2 months ago
2007
ACM
In most modern operating systems, a process is a -protected abstraction for isolating code and data. This protection, however, is selective. Many common mechanisms—dynamic code ...
195
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...