Matches in SemOpenAlex for { <https://semopenalex.org/work/W4220926650> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W4220926650 endingPage "160" @default.
- W4220926650 startingPage "155" @default.
- W4220926650 abstract "The current state of the art in integrated circuit design is based on the use of special hardware design languages such as VHDL. In the context of the development of an intelligent, knowledge-based debugging aid for VHDL programs, we are dealing with analysis and diagnosis of a subset of VHDL (which is similar to conventional concurrent programming languages). We present an adaptation of conventional model-based diagnosis methods to the debugging of VHDL expressions and signal assignments. The examination of possible faults in VHDL expressions leads to the use of fault models (i. e., a representation of typical errors) as an aid to focusing, and as a basis for proposing repair actions for small errors in these programs." @default.
- W4220926650 created "2022-04-03" @default.
- W4220926650 creator A5011388533 @default.
- W4220926650 creator A5019515177 @default.
- W4220926650 date "2022-03-29" @default.
- W4220926650 modified "2023-09-28" @default.
- W4220926650 title "Model-Based Program Debugging and Repair*" @default.
- W4220926650 doi "https://doi.org/10.1201/9780429332111-27" @default.
- W4220926650 hasPublicationYear "2022" @default.
- W4220926650 type Work @default.
- W4220926650 citedByCount "2" @default.
- W4220926650 countsByYear W42209266502014 @default.
- W4220926650 countsByYear W42209266502021 @default.
- W4220926650 crossrefType "book-chapter" @default.
- W4220926650 hasAuthorship W4220926650A5011388533 @default.
- W4220926650 hasAuthorship W4220926650A5019515177 @default.
- W4220926650 hasConcept C115903868 @default.
- W4220926650 hasConcept C118524514 @default.
- W4220926650 hasConcept C136388014 @default.
- W4220926650 hasConcept C149635348 @default.
- W4220926650 hasConcept C151730666 @default.
- W4220926650 hasConcept C168065819 @default.
- W4220926650 hasConcept C17744445 @default.
- W4220926650 hasConcept C199360897 @default.
- W4220926650 hasConcept C199539241 @default.
- W4220926650 hasConcept C2776359362 @default.
- W4220926650 hasConcept C2779343474 @default.
- W4220926650 hasConcept C36941000 @default.
- W4220926650 hasConcept C41008148 @default.
- W4220926650 hasConcept C42143788 @default.
- W4220926650 hasConcept C42935608 @default.
- W4220926650 hasConcept C86803240 @default.
- W4220926650 hasConcept C94625758 @default.
- W4220926650 hasConceptScore W4220926650C115903868 @default.
- W4220926650 hasConceptScore W4220926650C118524514 @default.
- W4220926650 hasConceptScore W4220926650C136388014 @default.
- W4220926650 hasConceptScore W4220926650C149635348 @default.
- W4220926650 hasConceptScore W4220926650C151730666 @default.
- W4220926650 hasConceptScore W4220926650C168065819 @default.
- W4220926650 hasConceptScore W4220926650C17744445 @default.
- W4220926650 hasConceptScore W4220926650C199360897 @default.
- W4220926650 hasConceptScore W4220926650C199539241 @default.
- W4220926650 hasConceptScore W4220926650C2776359362 @default.
- W4220926650 hasConceptScore W4220926650C2779343474 @default.
- W4220926650 hasConceptScore W4220926650C36941000 @default.
- W4220926650 hasConceptScore W4220926650C41008148 @default.
- W4220926650 hasConceptScore W4220926650C42143788 @default.
- W4220926650 hasConceptScore W4220926650C42935608 @default.
- W4220926650 hasConceptScore W4220926650C86803240 @default.
- W4220926650 hasConceptScore W4220926650C94625758 @default.
- W4220926650 hasLocation W42209266501 @default.
- W4220926650 hasOpenAccess W4220926650 @default.
- W4220926650 hasPrimaryLocation W42209266501 @default.
- W4220926650 hasRelatedWork W1078554 @default.
- W4220926650 hasRelatedWork W1093909 @default.
- W4220926650 hasRelatedWork W15047792 @default.
- W4220926650 hasRelatedWork W204884 @default.
- W4220926650 hasRelatedWork W2129597 @default.
- W4220926650 hasRelatedWork W386281 @default.
- W4220926650 hasRelatedWork W426461 @default.
- W4220926650 hasRelatedWork W4794157 @default.
- W4220926650 hasRelatedWork W651119 @default.
- W4220926650 hasRelatedWork W798986 @default.
- W4220926650 isParatext "false" @default.
- W4220926650 isRetracted "false" @default.
- W4220926650 workType "book-chapter" @default.