FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2111626671> ?p ?o ?g. }

• W2111626671 abstract "A formal specification animator executes and interprets traces on a specification. Similar to software testing, animation can only show the presence of errors, never their absence. However, animation is a powerful means of finding errors, and it is important that we adequately exercise a specification when we animate it. The paper outlines a systematic approach to the animation of formal specifications. We demonstrate the method on a small example, and then discuss its application to a non-trivial, system-level specification. Our aim is to provide a method for planned, documented and maintainable animation of specifications, so that we can achieve a high level of coverage, evaluate the adequacy of the animation, and repeat the process at a later time." @default.
• W2111626671 created "2016-06-24" @default.
• W2111626671 creator A5028824146 @default.
• W2111626671 creator A5076924318 @default.
• W2111626671 date "2002-11-13" @default.
• W2111626671 modified "2023-09-28" @default.
• W2111626671 title "Animation can show only the presence of errors, never their absence" @default.
• W2111626671 cites W120580162 @default.
• W2111626671 cites W1527688737 @default.
• W2111626671 cites W1529212376 @default.
• W2111626671 cites W1556066129 @default.
• W2111626671 cites W1567147371 @default.
• W2111626671 cites W1574829620 @default.
• W2111626671 cites W1595351489 @default.
• W2111626671 cites W1775703967 @default.
• W2111626671 cites W1787500456 @default.
• W2111626671 cites W1809006150 @default.
• W2111626671 cites W1825542462 @default.
• W2111626671 cites W1828889393 @default.
• W2111626671 cites W1841176484 @default.
• W2111626671 cites W1896160926 @default.
• W2111626671 cites W1928300821 @default.
• W2111626671 cites W2016578292 @default.
• W2111626671 cites W2030256406 @default.
• W2111626671 cites W2048188766 @default.
• W2111626671 cites W2049695835 @default.
• W2111626671 cites W2052603522 @default.
• W2111626671 cites W2061439988 @default.
• W2111626671 cites W2095854845 @default.
• W2111626671 cites W2104241796 @default.
• W2111626671 cites W2111654822 @default.
• W2111626671 cites W2116047337 @default.
• W2111626671 cites W2119526945 @default.
• W2111626671 cites W2144973245 @default.
• W2111626671 cites W2146972408 @default.
• W2111626671 cites W2154397030 @default.
• W2111626671 cites W2170108788 @default.
• W2111626671 cites W2339337913 @default.
• W2111626671 cites W3010856131 @default.
• W2111626671 cites W92703253 @default.
• W2111626671 doi "https://doi.org/10.1109/aswec.2001.948500" @default.
• W2111626671 hasPublicationYear "2002" @default.
• W2111626671 type Work @default.
• W2111626671 sameAs 2111626671 @default.
• W2111626671 citedByCount "15" @default.
• W2111626671 countsByYear W21116266712012 @default.
• W2111626671 countsByYear W21116266712014 @default.
• W2111626671 countsByYear W21116266712018 @default.
• W2111626671 crossrefType "proceedings-article" @default.
• W2111626671 hasAuthorship W2111626671A5028824146 @default.
• W2111626671 hasAuthorship W2111626671A5076924318 @default.
• W2111626671 hasBestOaLocation W21116266712 @default.
• W2111626671 hasConcept C102780508 @default.
• W2111626671 hasConcept C115903868 @default.
• W2111626671 hasConcept C116253237 @default.
• W2111626671 hasConcept C121684516 @default.
• W2111626671 hasConcept C138591656 @default.
• W2111626671 hasConcept C199360897 @default.
• W2111626671 hasConcept C2777904410 @default.
• W2111626671 hasConcept C41008148 @default.
• W2111626671 hasConcept C502989409 @default.
• W2111626671 hasConcept C52913732 @default.
• W2111626671 hasConcept C529173508 @default.
• W2111626671 hasConcept C69369342 @default.
• W2111626671 hasConcept C75606506 @default.
• W2111626671 hasConcept C84651959 @default.
• W2111626671 hasConcept C98045186 @default.
• W2111626671 hasConceptScore W2111626671C102780508 @default.
• W2111626671 hasConceptScore W2111626671C115903868 @default.
• W2111626671 hasConceptScore W2111626671C116253237 @default.
• W2111626671 hasConceptScore W2111626671C121684516 @default.
• W2111626671 hasConceptScore W2111626671C138591656 @default.
• W2111626671 hasConceptScore W2111626671C199360897 @default.
• W2111626671 hasConceptScore W2111626671C2777904410 @default.
• W2111626671 hasConceptScore W2111626671C41008148 @default.
• W2111626671 hasConceptScore W2111626671C502989409 @default.
• W2111626671 hasConceptScore W2111626671C52913732 @default.
• W2111626671 hasConceptScore W2111626671C529173508 @default.
• W2111626671 hasConceptScore W2111626671C69369342 @default.
• W2111626671 hasConceptScore W2111626671C75606506 @default.
• W2111626671 hasConceptScore W2111626671C84651959 @default.
• W2111626671 hasConceptScore W2111626671C98045186 @default.
• W2111626671 hasLocation W21116266711 @default.
• W2111626671 hasLocation W21116266712 @default.
• W2111626671 hasOpenAccess W2111626671 @default.
• W2111626671 hasPrimaryLocation W21116266711 @default.
• W2111626671 hasRelatedWork W1574829620 @default.
• W2111626671 hasRelatedWork W1775703967 @default.
• W2111626671 hasRelatedWork W1787500456 @default.
• W2111626671 hasRelatedWork W1841176484 @default.
• W2111626671 hasRelatedWork W1885250447 @default.
• W2111626671 hasRelatedWork W2001375211 @default.
• W2111626671 hasRelatedWork W2070756052 @default.
• W2111626671 hasRelatedWork W2100731616 @default.
• W2111626671 hasRelatedWork W2104241796 @default.
• W2111626671 hasRelatedWork W2112317337 @default.
• W2111626671 hasRelatedWork W2119526945 @default.
• W2111626671 hasRelatedWork W2119669916 @default.
• W2111626671 hasRelatedWork W2121529536 @default.
• W2111626671 hasRelatedWork W2135275658 @default.

• next