| Property |
Value |
| dbo:abstract
|
- En informatique, une machine à états abstraits (en anglais abstract state machine ou ASM), est un automate fini dont les états ne portent pas simplement des noms, mais des structures au sens de la logique mathématique, c'est-à-dire des ensembles non vides munis de fonctions, d'opérations et de relations. Les structures peuvent être vues comme des algèbres, ce qui explique le nom d'algèbres évolutives donné initialement aux ASM. (fr)
- En informatique, une machine à états abstraits (en anglais abstract state machine ou ASM), est un automate fini dont les états ne portent pas simplement des noms, mais des structures au sens de la logique mathématique, c'est-à-dire des ensembles non vides munis de fonctions, d'opérations et de relations. Les structures peuvent être vues comme des algèbres, ce qui explique le nom d'algèbres évolutives donné initialement aux ASM. (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 10380 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1995 (xsd:integer)
- 2000 (xsd:integer)
- 2002 (xsd:integer)
- 2003 (xsd:integer)
|
| prop-fr:auteur
|
- Yuri Gurevich (fr)
- Egon Börger (fr)
- Lothar Thiele (fr)
- Martin Odersky (fr)
- Philipp W. Kutter (fr)
- Robert F. Stärk (fr)
- Yuri Gurevich (fr)
- Egon Börger (fr)
- Lothar Thiele (fr)
- Martin Odersky (fr)
- Philipp W. Kutter (fr)
- Robert F. Stärk (fr)
|
| prop-fr:auteurOuvrage
|
- Egon Börger (fr)
- Egon Börger (fr)
|
| prop-fr:collection
|
- Lecture Notes in Computer Science (fr)
- Lecture Notes in Computer Science (fr)
|
| prop-fr:id
|
- AmsBook (fr)
- LNCS1912 (fr)
- AmsBook (fr)
- LNCS1912 (fr)
|
| prop-fr:isbn
|
- 0 (xsd:integer)
- 978 (xsd:integer)
|
| prop-fr:journal
|
- Journal of Universal Computer Science (fr)
- Journal of Universal Computer Science (fr)
|
| prop-fr:langue
| |
| prop-fr:lireEnLigne
| |
| prop-fr:numéro
| |
| prop-fr:numéroDansCollection
| |
| prop-fr:pagesTotales
|
- 386 (xsd:integer)
- 438 (xsd:integer)
- 460 (xsd:integer)
|
| prop-fr:passage
| |
| prop-fr:sousTitre
|
- International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (fr)
- A Method for High-level System Design and Analysis ; with 19 Tables (fr)
- International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (fr)
- A Method for High-level System Design and Analysis ; with 19 Tables (fr)
|
| prop-fr:texte
|
- Abstract State Machines, 2003 (fr)
- Abstract State Machines, 2003 (fr)
|
| prop-fr:titre
|
- Abstract State Machines (fr)
- Abstract State Machines : Theory and Applications (fr)
- The origins and the development of the ASM method for high level (fr)
- Abstract State Machines (fr)
- Abstract State Machines : Theory and Applications (fr)
- The origins and the development of the ASM method for high level (fr)
|
| prop-fr:titreChapitre
|
- Evolving Algebras 1993: Lipari Guide (fr)
- Evolving Algebras 1993: Lipari Guide (fr)
|
| prop-fr:titreOuvrage
|
- Specification and validation methods (fr)
- Specification and validation methods (fr)
|
| prop-fr:url
| |
| prop-fr:volume
| |
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Oxford University Press, USA (fr)
- Springer Science & Business Media (fr)
- Oxford University Press, USA (fr)
- Springer Science & Business Media (fr)
|
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- En informatique, une machine à états abstraits (en anglais abstract state machine ou ASM), est un automate fini dont les états ne portent pas simplement des noms, mais des structures au sens de la logique mathématique, c'est-à-dire des ensembles non vides munis de fonctions, d'opérations et de relations. Les structures peuvent être vues comme des algèbres, ce qui explique le nom d'algèbres évolutives donné initialement aux ASM. (fr)
- En informatique, une machine à états abstraits (en anglais abstract state machine ou ASM), est un automate fini dont les états ne portent pas simplement des noms, mais des structures au sens de la logique mathématique, c'est-à-dire des ensembles non vides munis de fonctions, d'opérations et de relations. Les structures peuvent être vues comme des algèbres, ce qui explique le nom d'algèbres évolutives donné initialement aux ASM. (fr)
|
| rdfs:label
|
- Abstract state machine (en)
- Abstract state machine (it)
- Abstrakte Zustandsmaschine (de)
- Machine à états abstraits (fr)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
