Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Abstract_state_machines> ?p ?o }
- Abstract_state_machines 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).".
- Abstract_state_machines wikiPageExternalLink asmeta.sourceforge.net.
- Abstract_state_machines wikiPageExternalLink overview.html.
- Abstract_state_machines wikiPageExternalLink 06191.
- Abstract_state_machines wikiPageExternalLink abs77.html.
- Abstract_state_machines wikiPageExternalLink citation.cfm?id=1770371.
- Abstract_state_machines wikiPageExternalLink tocl.acm.org.
- Abstract_state_machines wikiPageExternalLink www.asmcenter.org.
- Abstract_state_machines wikiPageExternalLink AsmL.
- Abstract_state_machines wikiPageExternalLink www.coreasm.org.
- Abstract_state_machines wikiPageExternalLink 02101.
- Abstract_state_machines wikiPageExternalLink ?semnr=99241.
- Abstract_state_machines wikiPageExternalLink AsmBook.
- Abstract_state_machines wikiPageExternalLink jbook.
- Abstract_state_machines wikiPageExternalLink gasm.
- Abstract_state_machines wikiPageExternalLink index.php?action=record&rec_id=12626&prevQuery=&ps=10&m=or.
- Abstract_state_machines wikiPageExternalLink dag9523.html.
- Abstract_state_machines wikiPageExternalLink asm2000.html.
- Abstract_state_machines wikiPageExternalLink asm2003.html.
- Abstract_state_machines wikiPageExternalLink asm2004.html.
- Abstract_state_machines wikiPageExternalLink csl95.html.
- Abstract_state_machines wikiPageExternalLink fm1995.html.
- Abstract_state_machines wikiPageExternalLink korso1995fd.html.
- Abstract_state_machines wikiPageExternalLink lipari2007.html.
- Abstract_state_machines wikiPageExternalLink lncs5100-5199.html.
- Abstract_state_machines wikiPageExternalLink index.php?f=a&ACTION=View&id=100.
- Abstract_state_machines wikiPageExternalLink jucs-014-12.
- Abstract_state_machines wikiPageExternalLink integrating_asm.
- Abstract_state_machines wikiPageExternalLink jucs_6_7.
- Abstract_state_machines wikiPageExternalLink jucs_7_11.
- Abstract_state_machines wikiPageExternalLink formal_definition_of_sdl.
- Abstract_state_machines wikiPageExternalLink the_origins_and_the.
- Abstract_state_machines wikiPageExternalLink 016764239500006E.
- Abstract_state_machines wikiPageExternalLink 5674-2005-996639997-594598.
- Abstract_state_machines 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.
- Abstract_state_machines 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.
- Abstract_state_machines wikiPageExternalLink 978-3-540-87602-1.
- Abstract_state_machines wikiPageExternalLink doktorarbeit.html.
- Abstract_state_machines wikiPageExternalLink asm05-contents.html.
- Abstract_state_machines wikiPageExternalLink XasmAnl00.html.
- Abstract_state_machines wikiPageID "2575836".
- Abstract_state_machines wikiPageLength "10130".
- Abstract_state_machines wikiPageOutDegree "47".
- Abstract_state_machines wikiPageRevisionID "678244593".
- Abstract_state_machines wikiPageWikiLink Abstraction.
- Abstract_state_machines wikiPageWikiLink Algorithm.
- Abstract_state_machines wikiPageWikiLink Axiomatic_system.
- Abstract_state_machines wikiPageWikiLink Binary_relation.
- Abstract_state_machines wikiPageWikiLink C_(programming_language).
- Abstract_state_machines wikiPageWikiLink Category:Formal_methods.
- Abstract_state_machines wikiPageWikiLink Category:Models_of_computation.
- Abstract_state_machines wikiPageWikiLink Church–Turing_thesis.
- Abstract_state_machines wikiPageWikiLink Computer_hardware.
- Abstract_state_machines wikiPageWikiLink Computer_science.
- Abstract_state_machines wikiPageWikiLink CoreASM.
- Abstract_state_machines wikiPageWikiLink Design_language.
- Abstract_state_machines wikiPageWikiLink Distributed_computing.
- Abstract_state_machines wikiPageWikiLink Emulator.
- Abstract_state_machines wikiPageWikiLink Finite-state_machine.
- Abstract_state_machines wikiPageWikiLink Formal_specification.
- Abstract_state_machines wikiPageWikiLink Function_(mathematics).
- Abstract_state_machines wikiPageWikiLink Invariant_(mathematics).
- Abstract_state_machines wikiPageWikiLink Isomorphism.
- Abstract_state_machines wikiPageWikiLink Java_(programming_language).
- Abstract_state_machines wikiPageWikiLink Mathematical_logic.
- Abstract_state_machines wikiPageWikiLink Mathematical_structure.
- Abstract_state_machines wikiPageWikiLink Operation_(mathematics).
- Abstract_state_machines wikiPageWikiLink Oxford_University_Press.
- Abstract_state_machines wikiPageWikiLink Parallel_computing.
- Abstract_state_machines wikiPageWikiLink Programming_language.
- Abstract_state_machines wikiPageWikiLink Prolog.
- Abstract_state_machines wikiPageWikiLink Refinement_(computing).
- Abstract_state_machines wikiPageWikiLink Requirements_analysis.
- Abstract_state_machines wikiPageWikiLink Set_(mathematics).
- Abstract_state_machines wikiPageWikiLink Simulation.
- Abstract_state_machines wikiPageWikiLink Software.
- Abstract_state_machines wikiPageWikiLink Software_agent.
- Abstract_state_machines wikiPageWikiLink Software_verification_and_validation.
- Abstract_state_machines wikiPageWikiLink Specification_and_Description_Language.
- Abstract_state_machines wikiPageWikiLink Springer_Science+Business_Media.
- Abstract_state_machines wikiPageWikiLink State_(computer_science).
- Abstract_state_machines wikiPageWikiLink State_transition_table.
- Abstract_state_machines wikiPageWikiLink Systems_engineering.
- Abstract_state_machines wikiPageWikiLink Turing_machine.
- Abstract_state_machines wikiPageWikiLink Unified_Modeling_Language.
- Abstract_state_machines wikiPageWikiLink Universal_algebra.
- Abstract_state_machines wikiPageWikiLink Yuri_Gurevich.
- Abstract_state_machines wikiPageWikiLinkText "Abstract state machine".
- Abstract_state_machines wikiPageWikiLinkText "Abstract state machines".
- Abstract_state_machines wikiPageWikiLinkText "abstract state machines".
- Abstract_state_machines subject Category:Formal_methods.
- Abstract_state_machines subject Category:Models_of_computation.
- Abstract_state_machines hypernym Machine.
- Abstract_state_machines type Area.
- Abstract_state_machines type Model.
- Abstract_state_machines type Software.
- Abstract_state_machines type Area.
- Abstract_state_machines type Method.
- Abstract_state_machines type Model.
- Abstract_state_machines type Redirect.