Zobrazeno 1 - 10
of 11
pro vyhledávání: '"Nafi Diallo"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 209, Iss Proc. Refine 2015, Pp 57-70 (2016)
Relative correctness is the property of a program to be more-correct than another program with respect to a given specification. Among the many properties of relative correctness, that which we found most intriguing is the property that program P' re
Externí odkaz:
https://doaj.org/article/d3bfe84ba52d4770b8c9577aed2f1e58
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 208, Iss Proc. PrePost 2016, Pp 1-15 (2016)
Relative correctness is the property of a program to be more-correct than another with respect to a given specification. Whereas the traditional definition of (absolute) correctness divides candidate program into two classes (correct, and incorrect),
Externí odkaz:
https://doaj.org/article/bf598a484b4b4d98ace8ef42c3dd0952
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 97:1-29
The condition under which a computation terminates, and the question of whether a computation terminates for a given initial state, have been the focus of much interest since the early days of computing. In this paper we argue that it is advantageous
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::10cde39f5a7d97cb66c06500929f5514
https://doi.org/10.1016/j.jlamp.2018.02.001
https://doi.org/10.1016/j.jlamp.2018.02.001
Publikováno v:
Innovations in Systems and Software Engineering. 13:219-239
Faults are an important concept in the study of system dependability, and most approaches to dependability can be characterized by the way in which they deal with faults (e.g., fault avoidance, fault removal, fault tolerance, fault forecasting). In t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0bc225691eafe0cf989ab23376c2379c
https://doi.org/10.1007/s11334-017-0300-7
https://doi.org/10.1007/s11334-017-0300-7
Publikováno v:
Science of Computer Programming. 138:26-48
Given a specification R, it is common for a candidate program P to be doing more than R requires; this is not necessarily bad, and is often unavoidable, due to programming language constraints or to otherwise sensible design decisions. In this paper,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::385b440e790178029466c3ce34696c5b
https://doi.org/10.1016/j.scico.2016.11.006
https://doi.org/10.1016/j.scico.2016.11.006
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 209, Iss Proc. Refine 2015, Pp 57-70 (2016)
Refine@FM
Refine@FM
Relative correctness is the property of a program to be more-correct than another program with respect to a given specification. Among the many properties of relative correctness, that which we found most intriguing is the property that program P' re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4723aa0a7445b2e5bec6a229f9d93e09
https://doaj.org/article/d3bfe84ba52d4770b8c9577aed2f1e58
https://doaj.org/article/d3bfe84ba52d4770b8c9577aed2f1e58
Publikováno v:
ICST
It is so inconceivable to debug a program without testing it that these two words are used nearly interchangeably. Yet we argue that using the concept of relative correctness we can indeed remove a fault from a program and prove that the fault has be
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::38a2be4364eaa3eda96a1411ee367154
https://doi.org/10.1109/icst.2016.12
https://doi.org/10.1109/icst.2016.12
Publikováno v:
PrePost@IFM
Electronic Proceedings in Theoretical Computer Science, Vol 208, Iss Proc. PrePost 2016, Pp 1-15 (2016)
Electronic Proceedings in Theoretical Computer Science, Vol 208, Iss Proc. PrePost 2016, Pp 1-15 (2016)
Relative correctness is the property of a program to be more-correct than another with respect to a given specification. Whereas the traditional definition of (absolute) correctness divides candidate program into two classes (correct, and incorrect),
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6a503a0698083b0ce41deb52c6176023
Publikováno v:
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c9eeacf2f45f587e741433b468b5bab8
https://doi.org/10.1109/icse.2015.200
https://doi.org/10.1109/icse.2015.200