1799 search results - page 24 / 360 » The Logic of Correctness in Software Engineering |
CACM
2002
15 years 1 months ago
2002
ion, reviews, rigorous procedures, regression testing, metrics, and so forth) have been helpful, but we are still dealing with an intrinsically unsatisfactory situation. Especially...
109
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
122
click to vote
FOSSACS
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (se...
120
click to vote
APSEC
1999
IEEE
15 years 6 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
145
click to vote
ICST
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...