Results 331 to 340 of about 2,493,519 (340)

Maintaining Correctness in Scientific Programs

Computing in Science and Engineering, 2005
exaly  

Specifications, programs, and total correctness

Science of Computer Programming, 1999
Eric C R Hehner
exaly  

Correctness and Completeness of Logic Programs

ACM Transactions on Computational Logic, 2016
Włodzimierz Drabent
exaly  

A formal model of correctness in a cadastre

Computers, Environment and Urban Systems, 2002
Andrew U Frank
exaly  

Legal Certainty and Correctness

, 2015
R. Alexy
semanticscholar   +1 more source

“So my program doesn’t run!” Definition, origins, and practical expressions of students’ (mis)conceptions of correctness

Computer Science Education, 2008
exaly  

Correction

IEEE Computational Intelligence Magazine, 2010
openaire   +1 more source

Subsumption, correctness and relative correctness: Implications for software testing

Science of Computer Programming
Ali Mili, Amani Ayad, Besma Khaireddine   +2 more
exaly  

Correcting Corrections

2017
openaire   +1 more source

Automating the correctness assessment of AI-generated code for security contexts

Journal of Systems and Software
Domenico Cotroneo, Cristina Improta, Pietro Liguori   +2 more
exaly