Matches in SemOpenAlex for { <https://semopenalex.org/work/W2126524415> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2126524415 abstract "The development of formal specifications may benefit from prototyping activities. The production of an executable model for a given description helps bridging the gap between this specification and the corresponding reality. The KIDS/VDM system, based on the KIDS environment, provides these prototyping facilities for the model-based specification language of VDM. This paper illustrates its use in the specification of a bank transfer operation. It shows how animation may be helpful at several stages of a specification process based on a series of refinements of an initial abstract specification." @default.
- W2126524415 created "2016-06-24" @default.
- W2126524415 creator A5034605686 @default.
- W2126524415 date "2002-11-19" @default.
- W2126524415 modified "2023-09-23" @default.
- W2126524415 title "Specification and animation of a bank transfer" @default.
- W2126524415 cites W1493986604 @default.
- W2126524415 cites W1525223041 @default.
- W2126524415 cites W1970003032 @default.
- W2126524415 cites W1970495662 @default.
- W2126524415 cites W1974536701 @default.
- W2126524415 cites W1986699246 @default.
- W2126524415 cites W2012637410 @default.
- W2126524415 cites W2052603522 @default.
- W2126524415 cites W2077986815 @default.
- W2126524415 cites W2095697973 @default.
- W2126524415 cites W2114754412 @default.
- W2126524415 cites W2129466151 @default.
- W2126524415 cites W2140748974 @default.
- W2126524415 cites W2144973245 @default.
- W2126524415 cites W1564605844 @default.
- W2126524415 doi "https://doi.org/10.1109/kbse.1995.490135" @default.
- W2126524415 hasPublicationYear "2002" @default.
- W2126524415 type Work @default.
- W2126524415 sameAs 2126524415 @default.
- W2126524415 citedByCount "2" @default.
- W2126524415 crossrefType "proceedings-article" @default.
- W2126524415 hasAuthorship W2126524415A5034605686 @default.
- W2126524415 hasConcept C102780508 @default.
- W2126524415 hasConcept C115903868 @default.
- W2126524415 hasConcept C116253237 @default.
- W2126524415 hasConcept C121684516 @default.
- W2126524415 hasConcept C127413603 @default.
- W2126524415 hasConcept C160145156 @default.
- W2126524415 hasConcept C174348530 @default.
- W2126524415 hasConcept C199360897 @default.
- W2126524415 hasConcept C201677973 @default.
- W2126524415 hasConcept C2776697782 @default.
- W2126524415 hasConcept C2777904410 @default.
- W2126524415 hasConcept C2780395129 @default.
- W2126524415 hasConcept C31258907 @default.
- W2126524415 hasConcept C41008148 @default.
- W2126524415 hasConcept C502989409 @default.
- W2126524415 hasConcept C52913732 @default.
- W2126524415 hasConcept C529173508 @default.
- W2126524415 hasConcept C75606506 @default.
- W2126524415 hasConcept C78519656 @default.
- W2126524415 hasConcept C84651959 @default.
- W2126524415 hasConcept C90069079 @default.
- W2126524415 hasConceptScore W2126524415C102780508 @default.
- W2126524415 hasConceptScore W2126524415C115903868 @default.
- W2126524415 hasConceptScore W2126524415C116253237 @default.
- W2126524415 hasConceptScore W2126524415C121684516 @default.
- W2126524415 hasConceptScore W2126524415C127413603 @default.
- W2126524415 hasConceptScore W2126524415C160145156 @default.
- W2126524415 hasConceptScore W2126524415C174348530 @default.
- W2126524415 hasConceptScore W2126524415C199360897 @default.
- W2126524415 hasConceptScore W2126524415C201677973 @default.
- W2126524415 hasConceptScore W2126524415C2776697782 @default.
- W2126524415 hasConceptScore W2126524415C2777904410 @default.
- W2126524415 hasConceptScore W2126524415C2780395129 @default.
- W2126524415 hasConceptScore W2126524415C31258907 @default.
- W2126524415 hasConceptScore W2126524415C41008148 @default.
- W2126524415 hasConceptScore W2126524415C502989409 @default.
- W2126524415 hasConceptScore W2126524415C52913732 @default.
- W2126524415 hasConceptScore W2126524415C529173508 @default.
- W2126524415 hasConceptScore W2126524415C75606506 @default.
- W2126524415 hasConceptScore W2126524415C78519656 @default.
- W2126524415 hasConceptScore W2126524415C84651959 @default.
- W2126524415 hasConceptScore W2126524415C90069079 @default.
- W2126524415 hasLocation W21265244151 @default.
- W2126524415 hasOpenAccess W2126524415 @default.
- W2126524415 hasPrimaryLocation W21265244151 @default.
- W2126524415 hasRelatedWork W1503319068 @default.
- W2126524415 hasRelatedWork W1510530156 @default.
- W2126524415 hasRelatedWork W1559579193 @default.
- W2126524415 hasRelatedWork W1592887751 @default.
- W2126524415 hasRelatedWork W1841176484 @default.
- W2126524415 hasRelatedWork W1862533057 @default.
- W2126524415 hasRelatedWork W2005952877 @default.
- W2126524415 hasRelatedWork W2006390854 @default.
- W2126524415 hasRelatedWork W2053598085 @default.
- W2126524415 hasRelatedWork W2070307517 @default.
- W2126524415 hasRelatedWork W2123524508 @default.
- W2126524415 hasRelatedWork W2159698722 @default.
- W2126524415 hasRelatedWork W2284606859 @default.
- W2126524415 hasRelatedWork W2378785653 @default.
- W2126524415 hasRelatedWork W2474035837 @default.
- W2126524415 hasRelatedWork W2607268704 @default.
- W2126524415 hasRelatedWork W3117927851 @default.
- W2126524415 hasRelatedWork W58568301 @default.
- W2126524415 hasRelatedWork W1926929563 @default.
- W2126524415 hasRelatedWork W69104294 @default.
- W2126524415 isParatext "false" @default.
- W2126524415 isRetracted "false" @default.
- W2126524415 magId "2126524415" @default.
- W2126524415 workType "article" @default.