1799 search results - page 134 / 360 » The Logic of Correctness in Software Engineering |
151
click to vote
ECBS
2002
IEEE
15 years 11 months ago
2002
IEEE
When designing a software module or system, a systems engineer must consider and differentiate between how the system responds to external and internal errors. External errors can...
158
click to vote
FSTTCS
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Hybrid knowledge bases (HKB’s) [11] were developed to provide formal models for the mediation of data and knowledge bases [14,15]. They are based on Generalized Annotat...
146
click to vote
FSTTCS
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...
155
click to vote
CISIS
2008
IEEE
16 years 23 days ago
2008
IEEE
—Techniques for detecting synthetic lethal mutations in double gene deletion experiments are emerging as powerful tool for analysing genes in parallel or overlapping pathways wit...
137
click to vote
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
We develop an equational definition of exception monads that characterizes Moggi’s exception monad transformer. This axiomatization is then used to define an extension of previ...