Switch-technology is a technology for automata-based programming support. It was proposed by Anatoly Shalyto in 1991. It involves software specification, design, implementation, debugging, documentation and maintenance. The term “automata-based programming” is used not only for finite automata building and implementation, but also the whole process of software design and implementation, when automata are used to describe programs’ behavior.

PropertyValue
dbpprop:abstract
  • Switch-technology is a technology for automata-based programming support. It was proposed by Anatoly Shalyto in 1991. It involves software specification, design, implementation, debugging, documentation and maintenance. The term “automata-based programming” is used not only for finite automata building and implementation, but also the whole process of software design and implementation, when automata are used to describe programs’ behavior.
  • Switch-технология — технология разработки систем логического управления на базе конечных автоматов, охватывающая процесс спецификации, проектирования, реализации, отладки, верификации, документирования и сопровождения. Предложена А. А. Шалыто в 1991 году .
dbpprop:hasPhotoCollection
dbpprop:reference
rdf:type
rdfs:comment
  • Switch-technology is a technology for automata-based programming support. It was proposed by Anatoly Shalyto in 1991. It involves software specification, design, implementation, debugging, documentation and maintenance. The term “automata-based programming” is used not only for finite automata building and implementation, but also the whole process of software design and implementation, when automata are used to describe programs’ behavior.
  • Switch-технология — технология разработки систем логического управления на базе конечных автоматов, охватывающая процесс спецификации, проектирования, реализации, отладки, верификации, документирования и сопровождения. Предложена А. А. Шалыто в 1991 году .
rdfs:label
  • Switch-technology
  • Switch-технология
owl:sameAs
skos:subject
foaf:page
is dbpedia-owl:Person/knownFor of
is dbpedia-owl:knownFor of
is dbpprop:knownFor of
is owl:sameAs of