Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949087358> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2949087358 abstract "A framework for the elicitation and debugging of formal specifications for Cyber-Physical Systems is presented. The elicitation of specifications is handled through a graphical interface. Two debugging algorithms are presented. The first checks for erroneous or incomplete temporal logic specifications without considering the system. The second can be utilized for the analysis of reactive requirements with respect to system test traces. The specification debugging framework is applied on a number of formal specifications collected through a user study. The user study establishes that requirement errors are common and that the debugging framework can resolve many insidious specification errors." @default.
- W2949087358 created "2019-06-27" @default.
- W2949087358 creator A5029218442 @default.
- W2949087358 creator A5044251694 @default.
- W2949087358 creator A5058732387 @default.
- W2949087358 date "2016-07-08" @default.
- W2949087358 modified "2023-09-27" @default.
- W2949087358 title "Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems" @default.
- W2949087358 hasPublicationYear "2016" @default.
- W2949087358 type Work @default.
- W2949087358 sameAs 2949087358 @default.
- W2949087358 citedByCount "0" @default.
- W2949087358 crossrefType "posted-content" @default.
- W2949087358 hasAuthorship W2949087358A5029218442 @default.
- W2949087358 hasAuthorship W2949087358A5044251694 @default.
- W2949087358 hasAuthorship W2949087358A5058732387 @default.
- W2949087358 hasConcept C111498074 @default.
- W2949087358 hasConcept C115903868 @default.
- W2949087358 hasConcept C116253237 @default.
- W2949087358 hasConcept C136388014 @default.
- W2949087358 hasConcept C168065819 @default.
- W2949087358 hasConcept C199360897 @default.
- W2949087358 hasConcept C41008148 @default.
- W2949087358 hasConcept C75606506 @default.
- W2949087358 hasConceptScore W2949087358C111498074 @default.
- W2949087358 hasConceptScore W2949087358C115903868 @default.
- W2949087358 hasConceptScore W2949087358C116253237 @default.
- W2949087358 hasConceptScore W2949087358C136388014 @default.
- W2949087358 hasConceptScore W2949087358C168065819 @default.
- W2949087358 hasConceptScore W2949087358C199360897 @default.
- W2949087358 hasConceptScore W2949087358C41008148 @default.
- W2949087358 hasConceptScore W2949087358C75606506 @default.
- W2949087358 hasLocation W29490873581 @default.
- W2949087358 hasOpenAccess W2949087358 @default.
- W2949087358 hasPrimaryLocation W29490873581 @default.
- W2949087358 hasRelatedWork W1578361860 @default.
- W2949087358 hasRelatedWork W1733526792 @default.
- W2949087358 hasRelatedWork W1995362218 @default.
- W2949087358 hasRelatedWork W2019261678 @default.
- W2949087358 hasRelatedWork W2020345512 @default.
- W2949087358 hasRelatedWork W2037721516 @default.
- W2949087358 hasRelatedWork W2038658767 @default.
- W2949087358 hasRelatedWork W2040153910 @default.
- W2949087358 hasRelatedWork W2096536569 @default.
- W2949087358 hasRelatedWork W2100748999 @default.
- W2949087358 hasRelatedWork W2124268470 @default.
- W2949087358 hasRelatedWork W2164892954 @default.
- W2949087358 hasRelatedWork W2406943729 @default.
- W2949087358 hasRelatedWork W2517268547 @default.
- W2949087358 hasRelatedWork W266923508 @default.
- W2949087358 hasRelatedWork W2796400167 @default.
- W2949087358 hasRelatedWork W2982066856 @default.
- W2949087358 hasRelatedWork W3152154405 @default.
- W2949087358 hasRelatedWork W35505870 @default.
- W2949087358 hasRelatedWork W2100676127 @default.
- W2949087358 isParatext "false" @default.
- W2949087358 isRetracted "false" @default.
- W2949087358 magId "2949087358" @default.
- W2949087358 workType "article" @default.