Matches in SemOpenAlex for { <https://semopenalex.org/work/W2008012305> ?p ?o ?g. }
Showing items 1 to 44 of
44
with 100 items per page.
- W2008012305 abstract "This paper presents our SpecDiff tool that exploits the model differencing technique for debugging and understanding evolving behaviors of formal specifications. SpecDiff has been integrated in the Process Analysis Toolkit (PAT), a framework for formal specification, verification and simulation. SpecDiff is able to assist in diagnosing system faults, understanding the impacts of specification optimization techniques, and revealing the system change patterns." @default.
- W2008012305 created "2016-06-24" @default.
- W2008012305 creator A5023363049 @default.
- W2008012305 creator A5028641941 @default.
- W2008012305 creator A5068911982 @default.
- W2008012305 creator A5085067496 @default.
- W2008012305 date "2010-09-20" @default.
- W2008012305 modified "2023-09-26" @default.
- W2008012305 title "SpecDiff" @default.
- W2008012305 cites W1515421996 @default.
- W2008012305 cites W2049461910 @default.
- W2008012305 cites W2068115726 @default.
- W2008012305 cites W2101819268 @default.
- W2008012305 cites W2129901874 @default.
- W2008012305 cites W2136880809 @default.
- W2008012305 doi "https://doi.org/10.1145/1858996.1859072" @default.
- W2008012305 hasPublicationYear "2010" @default.
- W2008012305 type Work @default.
- W2008012305 sameAs 2008012305 @default.
- W2008012305 citedByCount "0" @default.
- W2008012305 crossrefType "proceedings-article" @default.
- W2008012305 hasAuthorship W2008012305A5023363049 @default.
- W2008012305 hasAuthorship W2008012305A5028641941 @default.
- W2008012305 hasAuthorship W2008012305A5068911982 @default.
- W2008012305 hasAuthorship W2008012305A5085067496 @default.
- W2008012305 hasConcept C41008148 @default.
- W2008012305 hasConceptScore W2008012305C41008148 @default.
- W2008012305 hasLocation W20080123051 @default.
- W2008012305 hasOpenAccess W2008012305 @default.
- W2008012305 hasPrimaryLocation W20080123051 @default.
- W2008012305 hasRelatedWork W2093578348 @default.
- W2008012305 hasRelatedWork W2130043461 @default.
- W2008012305 hasRelatedWork W2350741829 @default.
- W2008012305 hasRelatedWork W2358668433 @default.
- W2008012305 hasRelatedWork W2376932109 @default.
- W2008012305 hasRelatedWork W2382290278 @default.
- W2008012305 hasRelatedWork W2390279801 @default.
- W2008012305 hasRelatedWork W2748952813 @default.
- W2008012305 hasRelatedWork W2899084033 @default.
- W2008012305 hasRelatedWork W3004735627 @default.
- W2008012305 isParatext "false" @default.
- W2008012305 isRetracted "false" @default.
- W2008012305 magId "2008012305" @default.
- W2008012305 workType "article" @default.