About: Automata-based programming (Shalyto's approach)

An Entity of Type: company, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Automata-based programming is a programming technology. Its defining characteristic is the use of finite state machines to describe program behavior. The transition graphs of state machines are used in all stages of software development (specification, implementation, debugging and documentation). Automata-based programming technology was introduced by Anatoly Shalyto in 1991. was developed to support automata-based programming. Automata-based programming is considered to be rather general purpose program development methodology than just another one finite state machine implementation.

Property	Value
dbo:abstract	Automata-based programming is a programming technology. Its defining characteristic is the use of finite state machines to describe program behavior. The transition graphs of state machines are used in all stages of software development (specification, implementation, debugging and documentation). Automata-based programming technology was introduced by Anatoly Shalyto in 1991. was developed to support automata-based programming. Automata-based programming is considered to be rather general purpose program development methodology than just another one finite state machine implementation. (en)
dbo:wikiPageExternalLink	http://www-verimag.imag.fr/~caspi/PAPIERS/iee03.pdf http://www.tik.ee.ethz.ch/tik/education/lectures/hswcd/papers/Statecharts.pdf%7Cdoi-access=free http://unimod.sourceforge.net/). https://web.archive.org/web/20070422105816/http:/www.tik.ee.ethz.ch/tik/education/lectures/hswcd/papers/Statecharts.pdf http://is.ifmo.ru/articles_en/_kimas05-1.pdf http://is.ifmo.ru/articles_en/_unimod.pdf http://is.ifmo.ru/english/ http://is.ifmo.ru/foundation/moving http://is.ifmo.ru/projects/dg/ http://is.ifmo.ru/projects/robocode2/ http://is.ifmo.ru/projects/tanks/ http://is.ifmo.ru/unimod-projects-en/ http://is.ifmo.ru/unimod-projects/ http://is.ifmo.ru/works/_a_visualizerExample.pdf http://is.ifmo.ru/works/_aut_oop.pdf http://is.ifmo.ru/works/app-aplu/1/ http://is.ifmo.ru/works/arew/1/ http://is.ifmo.ru/works/heapsort/ http://is.ifmo.ru/works/iter/ http://is.ifmo.ru/works/mirk/ http://is.ifmo.ru/works/open_doc/ http://is.ifmo.ru/works/switch/1/ http://is.ifmo.ru/works/switch_prr/ http://is.ifmo.ru/works/sync_prog/ http://is.ifmo.ru/works/tanks_new/ http://is.ifmo.ru/works/traverse/ http://is.ifmo.ru/works/uml-switch-eclipse/ http://is.ifmo.ru/books/_book.pdf http://unimod.sourceforge.net/intro.html http://is.ifmo.ru/articles_en/_logic_control_and_reactive_systems.pdf http://is.ifmo.ru/books/switch/1 http://is.ifmo.ru
dbo:wikiPageID	16352023 (xsd:integer)
dbo:wikiPageLength	21417 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1124248170 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Computer_software dbr:Russia dbr:Glossary_of_graph_theory dbr:Graph_(discrete_mathematics) dbr:Control_theory dbr:Refactoring dbr:Subroutine dbr:Communicating_sequential_processes dbr:Computer_memory dbr:Programmable_logic_controller dbr:State_(computer_science) dbr:C_(programming_language) dbr:Anatoly_Shalyto dbr:Eclipse_(software) dbr:Europe dbr:Event-driven_programming dbr:Feedback dbr:Isomorphism dbr:Unified_Modeling_Language dbr:Procedural_programming dbr:Real-time_operating_system dbr:Java_(programming_language) dbc:Programming_paradigms dbr:Binary_data dbr:Synchronous_programming_language dbr:High-level_programming_language dbc:ITMO_University dbr:Embedded_systems dbr:ITMO_University dbr:Open-source_software dbr:Operating_system dbr:Real-time_systems dbr:Turing_machine dbr:Executable_UML dbr:Finite_state_machine dbr:Finite_state_machines dbr:Switch-technology
dbp:wikiPageUsesTemplate	dbt:Citation dbt:Cite_book dbt:Cite_journal dbt:Cite_web dbt:Other_uses dbt:Primary_sources dbt:Refbegin dbt:Refend dbt:Reflist dbt:Sfn
dcterms:subject	dbc:Programming_paradigms dbc:ITMO_University
gold:hypernym	dbr:Technology
rdf:type	dbo:Company yago:Abstraction100002137 yago:GrammaticalRelation113796779 yago:Inflection113803782 yago:LinguisticRelation113797142 yago:Paradigm113804375 yago:Relation100031921 yago:WikicatProgrammingParadigms
rdfs:comment	Automata-based programming is a programming technology. Its defining characteristic is the use of finite state machines to describe program behavior. The transition graphs of state machines are used in all stages of software development (specification, implementation, debugging and documentation). Automata-based programming technology was introduced by Anatoly Shalyto in 1991. was developed to support automata-based programming. Automata-based programming is considered to be rather general purpose program development methodology than just another one finite state machine implementation. (en)
rdfs:label	Automata-based programming (Shalyto's approach) (en)
owl:sameAs	freebase:Automata-based programming (Shalyto's approach) yago-res:Automata-based programming (Shalyto's approach) wikidata:Automata-based programming (Shalyto's approach) https://global.dbpedia.org/id/4U7uz
prov:wasDerivedFrom	wikipedia-en:Automata-based_programming_(Shalyto's_approach)?oldid=1124248170&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Automata-based_programming_(Shalyto's_approach)
is dbo:wikiPageRedirects of	dbr:Automata-based_programming_(programming_technology)
is dbo:wikiPageWikiLink of	dbr:Automata-based_programming_(programming_technology)
is foaf:primaryTopic of	wikipedia-en:Automata-based_programming_(Shalyto's_approach)