Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q333385> ?p ?o }
Showing triples 1 to 87 of
87
with 100 triples per page.
- Q333385 subject Q7483203.
- Q333385 subject Q8466124.
- Q333385 abstract "In computer science, an abstract state machine (ASM) is a state machine operating on states which are arbitrary data structures (structure in the sense of mathematical logic, that is a nonempty set together with a number of functions (operations over the set) and relations). The ASM Method is a practical and scientifically well-founded systems engineering method which bridges the gap between the two ends of system development: the human understanding and formulation of real-world problems (requirements capture by accurate high-level modeling at the level of abstraction determined by the given application domain) the deployment of their algorithmic solutions by code-executing machines on changing platforms (definition of design decisions, system and implementation details).The method builds upon three basic concepts: ASM: a precise form of pseudo-code, generalizing Finite State Machines to operate over arbitrary data structures ground model: a rigorous form of blueprints, serving as authoritative reference model for the design refinement: a most general scheme for stepwise instantiations of model abstractions to concrete system elements, providing controllable links between the more and more detailed descriptions at the successive stages of system development.In the original conception of ASMs, a single agent executes a program in a sequence of steps, possibly interacting with its environment. This notion was extended to capture distributed computations, in which multiple agents execute their programs concurrently.Since ASMs model algorithms at arbitrary levels of abstraction, they can provide high-level, low-level and mid-level views of a hardware or software design. ASM specifications often consist of a series of ASM models, starting with an abstract ground model and proceeding to greater levels of detail in successive refinements or coarsenings. Due to the algorithmic and mathematical nature of these three concepts, ASM models and their properties of interest can be analyzed using any rigorous form of verification (by reasoning) or validation (by experimentation, testing model executions).".
- Q333385 wikiPageExternalLink asmeta.sourceforge.net.
- Q333385 wikiPageExternalLink overview.html.
- Q333385 wikiPageExternalLink 06191.
- Q333385 wikiPageExternalLink abs77.html.
- Q333385 wikiPageExternalLink citation.cfm?id=1770371.
- Q333385 wikiPageExternalLink tocl.acm.org.
- Q333385 wikiPageExternalLink www.asmcenter.org.
- Q333385 wikiPageExternalLink AsmL.
- Q333385 wikiPageExternalLink www.coreasm.org.
- Q333385 wikiPageExternalLink 02101.
- Q333385 wikiPageExternalLink ?semnr=99241.
- Q333385 wikiPageExternalLink AsmBook.
- Q333385 wikiPageExternalLink jbook.
- Q333385 wikiPageExternalLink gasm.
- Q333385 wikiPageExternalLink index.php?action=record&rec_id=12626&prevQuery=&ps=10&m=or.
- Q333385 wikiPageExternalLink dag9523.html.
- Q333385 wikiPageExternalLink asm2000.html.
- Q333385 wikiPageExternalLink asm2003.html.
- Q333385 wikiPageExternalLink asm2004.html.
- Q333385 wikiPageExternalLink csl95.html.
- Q333385 wikiPageExternalLink fm1995.html.
- Q333385 wikiPageExternalLink korso1995fd.html.
- Q333385 wikiPageExternalLink lipari2007.html.
- Q333385 wikiPageExternalLink lncs5100-5199.html.
- Q333385 wikiPageExternalLink index.php?f=a&ACTION=View&id=100.
- Q333385 wikiPageExternalLink jucs-014-12.
- Q333385 wikiPageExternalLink integrating_asm.
- Q333385 wikiPageExternalLink jucs_6_7.
- Q333385 wikiPageExternalLink jucs_7_11.
- Q333385 wikiPageExternalLink formal_definition_of_sdl.
- Q333385 wikiPageExternalLink the_origins_and_the.
- Q333385 wikiPageExternalLink 016764239500006E.
- Q333385 wikiPageExternalLink 5674-2005-996639997-594598.
- Q333385 wikiPageExternalLink science?_ob=ArticleURL&_udi=B6V1G-4F29FP3-1&_user=10&_coverDate=05%2F26%2F2005&_rdoc=3&_fmt=high&_orig=browse&_srch=doc-info(%23toc%235674%232005%23996639997%23594598%23FLP%23display%23Volume)&_cdi=5674&_sort=d&_docanchor=&_ct=9&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=5a14862ea45a98308968d18283c588a6.
- Q333385 wikiPageExternalLink science?_ob=ArticleURL&_udi=B6VRG-48FKC55-2&_user=10&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=9da4c19ef309568c1598d3f6c48db4b6The.
- Q333385 wikiPageExternalLink 978-3-540-87602-1.
- Q333385 wikiPageExternalLink doktorarbeit.html.
- Q333385 wikiPageExternalLink asm05-contents.html.
- Q333385 wikiPageExternalLink XasmAnl00.html.
- Q333385 wikiPageWikiLink Q11348.
- Q333385 wikiPageWikiLink Q1166618.
- Q333385 wikiPageWikiLink Q130901.
- Q333385 wikiPageWikiLink Q1437424.
- Q333385 wikiPageWikiLink Q15777.
- Q333385 wikiPageWikiLink Q163310.
- Q333385 wikiPageWikiLink Q163468.
- Q333385 wikiPageWikiLink Q1636734.
- Q333385 wikiPageWikiLink Q169411.
- Q333385 wikiPageWikiLink Q176452.
- Q333385 wikiPageWikiLink Q176916.
- Q333385 wikiPageWikiLink Q180634.
- Q333385 wikiPageWikiLink Q187147.
- Q333385 wikiPageWikiLink Q188211.
- Q333385 wikiPageWikiLink Q189112.
- Q333385 wikiPageWikiLink Q202871.
- Q333385 wikiPageWikiLink Q21198.
- Q333385 wikiPageWikiLink Q217595.
- Q333385 wikiPageWikiLink Q2297769.
- Q333385 wikiPageWikiLink Q2303083.
- Q333385 wikiPageWikiLink Q232661.
- Q333385 wikiPageWikiLink Q251.
- Q333385 wikiPageWikiLink Q309157.
- Q333385 wikiPageWikiLink Q3417382.
- Q333385 wikiPageWikiLink Q36161.
- Q333385 wikiPageWikiLink Q3884033.
- Q333385 wikiPageWikiLink Q3966.
- Q333385 wikiPageWikiLink Q45045.
- Q333385 wikiPageWikiLink Q5170135.
- Q333385 wikiPageWikiLink Q5264354.
- Q333385 wikiPageWikiLink Q599031.
- Q333385 wikiPageWikiLink Q600637.
- Q333385 wikiPageWikiLink Q673661.
- Q333385 wikiPageWikiLink Q682496.
- Q333385 wikiPageWikiLink Q7397.
- Q333385 wikiPageWikiLink Q7483203.
- Q333385 wikiPageWikiLink Q748349.
- Q333385 wikiPageWikiLink Q7921330.
- Q333385 wikiPageWikiLink Q792542.
- Q333385 wikiPageWikiLink Q8061506.
- Q333385 wikiPageWikiLink Q8366.
- Q333385 wikiPageWikiLink Q8466124.
- Q333385 wikiPageWikiLink Q9143.
- Q333385 comment "In computer science, an abstract state machine (ASM) is a state machine operating on states which are arbitrary data structures (structure in the sense of mathematical logic, that is a nonempty set together with a number of functions (operations over the set) and relations).".
- Q333385 label "Abstract state machines".