Matches in SemOpenAlex for { <https://semopenalex.org/work/W4247151952> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W4247151952 abstract "In an attempt to better integrate discrete mathematics into the introductory CS curriculum, we implemented ProVIDE, an enhanced integrated development environment (IDE) for Java that enables students to analyze their computer programs (in terms of their correctness) while they are creating them [1]. The primary goal of the construction of ProVIDE is the seamless integration of analysis with the creation of computer programs. Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory CS students preceive it is unnecessary and even irrelevant. The concept of contracts, on the other hand, is generally taught as an integral part of the programming process. As such, most introductory CS students have little difficulty understanding the need to establish contracts via preconditions and postconditions.The approach we have taken with ProVIDE is a modified version of the design by contract methodology. Rather than asking the student programmer for both a precondition and postcondition for each of his/her methods, ProVIDE asks the student to simply supply a postcondition. ProVIDE then helps the student construct the appropriate precondition by leading him/her through an axiomatic proof of the correctness of the method. Thus, the proof of correctness of the method is a side-effect of the student's need to construct an appropriate precondition.In this demonstration, we will show some examples of method precondition construction (including loop invariant construction) within ProVIDE, including the following squaring algorithms that uses only additions (which highlights the construction of a loop invariant for a single loop) and only increments and decrements (which highlights the construction of loop invariants for both sequential and nested loops), respectively." @default.
- W4247151952 created "2022-05-12" @default.
- W4247151952 creator A5007807791 @default.
- W4247151952 creator A5018454228 @default.
- W4247151952 creator A5026447357 @default.
- W4247151952 creator A5078279042 @default.
- W4247151952 creator A5078414062 @default.
- W4247151952 date "2003-01-01" @default.
- W4247151952 modified "2023-09-24" @default.
- W4247151952 title "Studying program correctness in ProVIDE" @default.
- W4247151952 doi "https://doi.org/10.1145/961623.961624" @default.
- W4247151952 hasPublicationYear "2003" @default.
- W4247151952 type Work @default.
- W4247151952 citedByCount "0" @default.
- W4247151952 crossrefType "proceedings-article" @default.
- W4247151952 hasAuthorship W4247151952A5007807791 @default.
- W4247151952 hasAuthorship W4247151952A5018454228 @default.
- W4247151952 hasAuthorship W4247151952A5026447357 @default.
- W4247151952 hasAuthorship W4247151952A5078279042 @default.
- W4247151952 hasAuthorship W4247151952A5078414062 @default.
- W4247151952 hasConcept C115903868 @default.
- W4247151952 hasConcept C156325763 @default.
- W4247151952 hasConcept C184337299 @default.
- W4247151952 hasConcept C190470478 @default.
- W4247151952 hasConcept C192465680 @default.
- W4247151952 hasConcept C199360897 @default.
- W4247151952 hasConcept C2778514511 @default.
- W4247151952 hasConcept C2780801425 @default.
- W4247151952 hasConcept C30128091 @default.
- W4247151952 hasConcept C33923547 @default.
- W4247151952 hasConcept C37914503 @default.
- W4247151952 hasConcept C41008148 @default.
- W4247151952 hasConcept C55439883 @default.
- W4247151952 hasConceptScore W4247151952C115903868 @default.
- W4247151952 hasConceptScore W4247151952C156325763 @default.
- W4247151952 hasConceptScore W4247151952C184337299 @default.
- W4247151952 hasConceptScore W4247151952C190470478 @default.
- W4247151952 hasConceptScore W4247151952C192465680 @default.
- W4247151952 hasConceptScore W4247151952C199360897 @default.
- W4247151952 hasConceptScore W4247151952C2778514511 @default.
- W4247151952 hasConceptScore W4247151952C2780801425 @default.
- W4247151952 hasConceptScore W4247151952C30128091 @default.
- W4247151952 hasConceptScore W4247151952C33923547 @default.
- W4247151952 hasConceptScore W4247151952C37914503 @default.
- W4247151952 hasConceptScore W4247151952C41008148 @default.
- W4247151952 hasConceptScore W4247151952C55439883 @default.
- W4247151952 hasLocation W42471519521 @default.
- W4247151952 hasOpenAccess W4247151952 @default.
- W4247151952 hasPrimaryLocation W42471519521 @default.
- W4247151952 hasRelatedWork W1605128268 @default.
- W4247151952 hasRelatedWork W2001644383 @default.
- W4247151952 hasRelatedWork W2128414769 @default.
- W4247151952 hasRelatedWork W2171877225 @default.
- W4247151952 hasRelatedWork W2536902987 @default.
- W4247151952 hasRelatedWork W2782958832 @default.
- W4247151952 hasRelatedWork W3137189469 @default.
- W4247151952 hasRelatedWork W33800742 @default.
- W4247151952 hasRelatedWork W4230589099 @default.
- W4247151952 hasRelatedWork W4297852701 @default.
- W4247151952 isParatext "false" @default.
- W4247151952 isRetracted "false" @default.
- W4247151952 workType "article" @default.