Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedings
The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed together with the thesis that it is suitable to model arbitrary computer systems on arbitrary abstraction leve...
Na minha lista:
| Autor Corporativo: | |
|---|---|
| Outros Autores: | , , , |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado em: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colecção: | Lecture notes in computer science
1912 |
| Assuntos: | |
| Acesso em linha: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Autre contributeur : Lothar Thiele (ed.) Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Abstract state machines, theory and applications, international workshop, ASM 2000, Monte Verità, Switzerland, March 2000, proceedings, Yuri Gurevich, Philipp W. Kutter, Martin Odersky, ... [et al.] (eds.), 2000, New York, Springer, 1 vol. (X-379 p.), Lecture notes in computer science, 3-540-67959-6 • Abstract State Machines - Theory and Applications, Texte imprimé, 9783662179208 |
| LEADER | 05680nam a22004697a 4500 | ||
|---|---|---|---|
| 001 | 949300 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155228471 | ||
| 020 | |a 9783540445180 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 511.3 | ||
| 111 | 2 | |a Abstract State Machines. |b International workshop |n (07 |d :2000 |c :Monte Verità, Suisse). | |
| 245 | 1 | 0 | |a Abstract state machines : |b theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedings |c [edited by] Yuri Gurevich, Philipp W. Kutter, Martin Odersky, ... [et al.]. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1912 |x 1611-3349 | |
| 500 | |a Autre contributeur : Lothar Thiele (ed.) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Abstract State Machines at the Cusp of the Millenium -- Mathematical Foundations -- Abstract State Machines and Pure Mathematics -- Abstract State Machines and Computationally Complete Query Languages -- On Verification of Refinements of Timed Distributed Algorithms -- Abstract State Machine Languages -- Objects + Views = Components? -- XASM- An Extensible, Component-Based Abstract State Machines Language -- Generic Facilities in Object-Oriented ASMs -- Distribution and Concurrency -- Towards an ASM Thesis for Unconventional Algorithms -- Partially Ordered Runs: A Case Study -- Investigating Java Concurrency Using Abstract State Machines -- Compilers and Semantics -- Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations -- An ASM Dynamic Semantics for Standard ML -- Modeling the Dynamics of UML State Machines -- On the Formal Semantics of SDL-2000:A Compilation Approach Based on an Abstract SDL Machine -- Description and Simulation of Microprocessor Instruction Sets Using ASMs -- Automatic Verication and Model Checking -- Symbolic Analysis of Transition Systems? -- Encoding Abstract State Machines in PVS -- Model Checking Abstract State Machines and Beyond -- Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study -- Industrial Applications -- Report on a Practical Application of ASMs in Software Design -- Using Abstract State Machines at Microsoft: A Case Study. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed together with the thesis that it is suitable to model arbitrary computer systems on arbitrary abstraction levels. ASMs have been successfully used to analyze and specify various hardware and software systems including numerous computer languages. The aim of the workshop was to bring together domain-experts, using ASMs as a practical speci cation method, and theorists working with ASMs and related methods. In addition the workshop served as a forum on theoretical and practical topics that relate to ASMs in a broad sense. Three tutorials including hands-on experience with tools were organized by U. Gl asser and G. del Castillo (on the topic \Specifying Concurrent Systems with ASMs"), H. Russ and N. Shankar (on the topic \A Tutorial Introduction to PVS"), M. Anlau , P.W. Kutter, and A. Pierantonio (on the topic \Developing Domain Speci c Languages"). In response to the organization committee s call for papers, 30 papers were submitted, each of which was independently reviewed by four members of the program committee. This volume presents a selection of 12 of the refereed papers and two reports on industrial ASM application at Siemens AG and Microsoft Research, together with contributions based on the invited talks given by A. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Automates mathématiques, Théorie des | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Gurevich, Yuri, |d 1940- |4 pbd | |
| 700 | 1 | |a Kutter, Philipp W. |4 pbd | |
| 700 | 1 | |a Odersky, Martin, |d 1958- |4 pbd | |
| 700 | 1 | |a Thiele, Lothar, |d 19..- |4 pbd | |
| 776 | 0 | |0 05224556X |t Abstract state machines |o theory and applications |o international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 |o proceedings |f Yuri Gurevich, Philipp W. Kutter, Martin Odersky, ... [et al.] (eds.) |d 2000 |c New York |n Springer |p 1 vol. (X-379 p.) |s Lecture notes in computer science |z 3-540-67959-6 | |
| 776 | 0 | |t Abstract State Machines - Theory and Applications |b Texte imprimé |z 9783662179208 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-44518-8 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-CWRDFPZL-S |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748056564 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-44518-8 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751507873 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-44518-8 |z Accès INSA CVL | |
| 997 | |0 949300 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||