1799 search results - page 32 / 360 » The Logic of Correctness in Software Engineering |
120
click to vote
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
TCAD
2010
14 years 8 months ago
2010
129
click to vote
SAC
2010
ACM
14 years 12 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
SERP
2007
15 years 3 months ago
2007
– The use of design patterns such as the GRASP (General Responsibility Assignment Software Principles) or GoF (Gang-of-Four) patterns in software engineering has been well-docume...
121
click to vote
SEKE
2004
Springer
15 years 7 months ago
2004
Springer
One of the challenging research problems in validating a software engineering methodology (SEM), and a part of its validation process, is to answer “How to fairly collect, presen...