Matches in SemOpenAlex for { <https://semopenalex.org/work/W2020345512> ?p ?o ?g. }
- W2020345512 endingPage "38" @default.
- W2020345512 startingPage "23" @default.
- W2020345512 abstract "Formal specifications play a crucial role in the design of reliable complex software systems. Executable formal specifications allow the designer to attain early validation and verification of design using static analysis techniques and accurate simulation of the runtime behavior of the system-to-be. With increasing complexity of software-intensive computer-based systems and the challenges of validation and verification of abstract software models prior to coding, the need for interactive software tools supporting executable formal specifications is even more evident. In this paper, we discuss how CoreASM, an environment for writing and running executable specifications according to the ASM method, provides flexibility and manages the complexity by using an innovative extensible language architecture." @default.
- W2020345512 created "2016-06-24" @default.
- W2020345512 creator A5025844676 @default.
- W2020345512 creator A5064049181 @default.
- W2020345512 creator A5078515281 @default.
- W2020345512 date "2014-01-01" @default.
- W2020345512 modified "2023-10-14" @default.
- W2020345512 title "Executable formal specifications of complex distributed systems with CoreASM" @default.
- W2020345512 cites W122719516 @default.
- W2020345512 cites W1494863586 @default.
- W2020345512 cites W1504525241 @default.
- W2020345512 cites W1510513163 @default.
- W2020345512 cites W1539438108 @default.
- W2020345512 cites W1542164216 @default.
- W2020345512 cites W1542875369 @default.
- W2020345512 cites W1543787834 @default.
- W2020345512 cites W1554047564 @default.
- W2020345512 cites W1555072416 @default.
- W2020345512 cites W1557646685 @default.
- W2020345512 cites W1559870885 @default.
- W2020345512 cites W157065520 @default.
- W2020345512 cites W1577384748 @default.
- W2020345512 cites W1585197271 @default.
- W2020345512 cites W1608057897 @default.
- W2020345512 cites W1626607324 @default.
- W2020345512 cites W174902311 @default.
- W2020345512 cites W1750253777 @default.
- W2020345512 cites W1821489642 @default.
- W2020345512 cites W1824578878 @default.
- W2020345512 cites W1853368733 @default.
- W2020345512 cites W1895387792 @default.
- W2020345512 cites W1969402593 @default.
- W2020345512 cites W1973097078 @default.
- W2020345512 cites W1981435285 @default.
- W2020345512 cites W2001793006 @default.
- W2020345512 cites W2026049208 @default.
- W2020345512 cites W2051562539 @default.
- W2020345512 cites W2068831082 @default.
- W2020345512 cites W2080748429 @default.
- W2020345512 cites W2093533128 @default.
- W2020345512 cites W2095544716 @default.
- W2020345512 cites W2113043472 @default.
- W2020345512 cites W2125522861 @default.
- W2020345512 cites W2144973245 @default.
- W2020345512 cites W2148817888 @default.
- W2020345512 cites W2161042426 @default.
- W2020345512 cites W2163578435 @default.
- W2020345512 cites W2164687814 @default.
- W2020345512 cites W2209502196 @default.
- W2020345512 cites W2244182879 @default.
- W2020345512 cites W2469689424 @default.
- W2020345512 cites W2526750663 @default.
- W2020345512 cites W2614998170 @default.
- W2020345512 cites W434402513 @default.
- W2020345512 cites W1662279475 @default.
- W2020345512 cites W2724963341 @default.
- W2020345512 doi "https://doi.org/10.1016/j.scico.2012.02.001" @default.
- W2020345512 hasPublicationYear "2014" @default.
- W2020345512 type Work @default.
- W2020345512 sameAs 2020345512 @default.
- W2020345512 citedByCount "3" @default.
- W2020345512 countsByYear W20203455122013 @default.
- W2020345512 countsByYear W20203455122014 @default.
- W2020345512 crossrefType "journal-article" @default.
- W2020345512 hasAuthorship W2020345512A5025844676 @default.
- W2020345512 hasAuthorship W2020345512A5064049181 @default.
- W2020345512 hasAuthorship W2020345512A5078515281 @default.
- W2020345512 hasBestOaLocation W20203455122 @default.
- W2020345512 hasConcept C111498074 @default.
- W2020345512 hasConcept C115903868 @default.
- W2020345512 hasConcept C116253237 @default.
- W2020345512 hasConcept C149091818 @default.
- W2020345512 hasConcept C160145156 @default.
- W2020345512 hasConcept C186846655 @default.
- W2020345512 hasConcept C199360897 @default.
- W2020345512 hasConcept C2777904410 @default.
- W2020345512 hasConcept C32833848 @default.
- W2020345512 hasConcept C33054407 @default.
- W2020345512 hasConcept C41008148 @default.
- W2020345512 hasConcept C75606506 @default.
- W2020345512 hasConceptScore W2020345512C111498074 @default.
- W2020345512 hasConceptScore W2020345512C115903868 @default.
- W2020345512 hasConceptScore W2020345512C116253237 @default.
- W2020345512 hasConceptScore W2020345512C149091818 @default.
- W2020345512 hasConceptScore W2020345512C160145156 @default.
- W2020345512 hasConceptScore W2020345512C186846655 @default.
- W2020345512 hasConceptScore W2020345512C199360897 @default.
- W2020345512 hasConceptScore W2020345512C2777904410 @default.
- W2020345512 hasConceptScore W2020345512C32833848 @default.
- W2020345512 hasConceptScore W2020345512C33054407 @default.
- W2020345512 hasConceptScore W2020345512C41008148 @default.
- W2020345512 hasConceptScore W2020345512C75606506 @default.
- W2020345512 hasLocation W20203455121 @default.
- W2020345512 hasLocation W20203455122 @default.
- W2020345512 hasOpenAccess W2020345512 @default.
- W2020345512 hasPrimaryLocation W20203455121 @default.
- W2020345512 hasRelatedWork W155099561 @default.
- W2020345512 hasRelatedWork W1805079015 @default.