1799 search results - page 40 / 360 » The Logic of Correctness in Software Engineering |
159
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
141
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Abstract. Hoare logic is widely used for software specification and verification. Frequently we need to prove the total correctness of a program: to prove that the program not only...
146
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
The recent release of UML 2.0 has corrected a lot of design diffi
199
Voted
PPDP
2005
Springer
15 years 11 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
174
click to vote
ICSM
1993
IEEE
15 years 10 months ago
1993
IEEE
The purpose of regression testing is to ensure that bug xes and new functionality introduced in a new version of a software do not adversely a ect the correct functionality inheri...