2700 search results - page 220 / 540 » The role of abstraction in software engineering |
161
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
138
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—While log data are being increasingly used as digital evidence in judicial disputes, the extent to which existing secure logging protocols used to collect log data fulï¬...
169
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study the problem of generating a database and parameters for a given parameterized SQL query satisfying a given test condition. We introduce a formal background theor...
167
click to vote
SEFM
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract. Algebraic laws have been proposed to support program transformation in several paradigms. In general, and for object-orientation in particular, these laws tend to ignore ...
136
click to vote
CISIS
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract— In this paper, we integrate the traditional ï¬nitestate automata (words, or string based) into the membrane computing paradigm, as previous work prevalently concentrat...