1799 search results - page 65 / 360 » The Logic of Correctness in Software Engineering |
195
click to vote
ECLIPSE
2005
ACM
15 years 7 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
160
click to vote
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
148
click to vote
RE
2004
Springer
15 years 11 months ago
2004
Springer
One of the most important principles in Software Engineering is the separation of concerns. When this principle is correctly applied, it helps to promote comprehensibility, mainta...
136
click to vote
FOSSACS
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. Graph logic (GL) is a spatial logic for querying graphs introduced by Cardelli et al. It has been observed that in terms of expressive power, this logic is a fragment of ...
165
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Nominal logic is a variant of first-order logic equipped with a “freshname quantifier” N and other features useful for reasoning about languages with bound names. I...