Matches in SemOpenAlex for { <https://semopenalex.org/work/W3138361403> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W3138361403 endingPage "24" @default.
- W3138361403 startingPage "23" @default.
- W3138361403 abstract "Robert Balzer began the session by presenting an overview of where debugging fits into knowledge-based programming systems. He distinguished between differences in <italic>paradigm</italic> (the traditional software engineering approach in which the source code is the first formal representation vs. the operational specification approach in which the specification is both formal and <italic>executable</italic> and from which the implementation is formally derived) and differences in <italic>technology</italic> (traditional debuggers vs. knowledge-based tools), pointing out that it is possible to use traditional debugging techniques with the operational specification paradigm as well as use knowledge-based tools with the traditional software engineering paradigm. Balzer presented the operational specification paradigm for software development. The basic idea is that an implementation is derived from a specification through transformations chosen by the programmer and applied by the system. Assuming each transformation is correct, the resulting implementation will accurately reflect the intentions of the specification." @default.
- W3138361403 created "2021-03-29" @default.
- W3138361403 creator A5015359300 @default.
- W3138361403 creator A5019208930 @default.
- W3138361403 creator A5025664027 @default.
- W3138361403 creator A5034110732 @default.
- W3138361403 creator A5036213805 @default.
- W3138361403 creator A5036916274 @default.
- W3138361403 creator A5063340891 @default.
- W3138361403 creator A5072156836 @default.
- W3138361403 date "1983-03-20" @default.
- W3138361403 modified "2023-10-18" @default.
- W3138361403 title "Knowledge-based debugging" @default.
- W3138361403 doi "https://doi.org/10.1145/1006142.1006153" @default.
- W3138361403 hasPublicationYear "1983" @default.
- W3138361403 type Work @default.
- W3138361403 sameAs 3138361403 @default.
- W3138361403 citedByCount "0" @default.
- W3138361403 crossrefType "journal-article" @default.
- W3138361403 hasAuthorship W3138361403A5015359300 @default.
- W3138361403 hasAuthorship W3138361403A5019208930 @default.
- W3138361403 hasAuthorship W3138361403A5025664027 @default.
- W3138361403 hasAuthorship W3138361403A5034110732 @default.
- W3138361403 hasAuthorship W3138361403A5036213805 @default.
- W3138361403 hasAuthorship W3138361403A5036916274 @default.
- W3138361403 hasAuthorship W3138361403A5063340891 @default.
- W3138361403 hasAuthorship W3138361403A5072156836 @default.
- W3138361403 hasBestOaLocation W31383614031 @default.
- W3138361403 hasConcept C115903868 @default.
- W3138361403 hasConcept C116253237 @default.
- W3138361403 hasConcept C136764020 @default.
- W3138361403 hasConcept C160145156 @default.
- W3138361403 hasConcept C168065819 @default.
- W3138361403 hasConcept C199360897 @default.
- W3138361403 hasConcept C2777904410 @default.
- W3138361403 hasConcept C2778514511 @default.
- W3138361403 hasConcept C2779182362 @default.
- W3138361403 hasConcept C41008148 @default.
- W3138361403 hasConcept C529173508 @default.
- W3138361403 hasConcept C75606506 @default.
- W3138361403 hasConceptScore W3138361403C115903868 @default.
- W3138361403 hasConceptScore W3138361403C116253237 @default.
- W3138361403 hasConceptScore W3138361403C136764020 @default.
- W3138361403 hasConceptScore W3138361403C160145156 @default.
- W3138361403 hasConceptScore W3138361403C168065819 @default.
- W3138361403 hasConceptScore W3138361403C199360897 @default.
- W3138361403 hasConceptScore W3138361403C2777904410 @default.
- W3138361403 hasConceptScore W3138361403C2778514511 @default.
- W3138361403 hasConceptScore W3138361403C2779182362 @default.
- W3138361403 hasConceptScore W3138361403C41008148 @default.
- W3138361403 hasConceptScore W3138361403C529173508 @default.
- W3138361403 hasConceptScore W3138361403C75606506 @default.
- W3138361403 hasIssue "8" @default.
- W3138361403 hasLocation W31383614031 @default.
- W3138361403 hasOpenAccess W3138361403 @default.
- W3138361403 hasPrimaryLocation W31383614031 @default.
- W3138361403 hasRelatedWork W1536968357 @default.
- W3138361403 hasRelatedWork W2051386633 @default.
- W3138361403 hasRelatedWork W2117659007 @default.
- W3138361403 hasRelatedWork W2743135336 @default.
- W3138361403 hasRelatedWork W2971184128 @default.
- W3138361403 hasRelatedWork W4231974777 @default.
- W3138361403 hasRelatedWork W4237105841 @default.
- W3138361403 hasRelatedWork W4240473828 @default.
- W3138361403 hasRelatedWork W4361193698 @default.
- W3138361403 hasRelatedWork W1941754455 @default.
- W3138361403 hasVolume "18" @default.
- W3138361403 isParatext "false" @default.
- W3138361403 isRetracted "false" @default.
- W3138361403 magId "3138361403" @default.
- W3138361403 workType "article" @default.