FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15 19, 1997 : proceedings
This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods , held in Graz, Austria, in September 1997. The 35 revised full papers presented in the volume we...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science
1313 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • FME '97, industrial applications and strengthened foundations of formal methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, proceedings, John Fitzgerald, Cliff B. Jones, Peter Lucas, eds, 1997, Berlin, Springer, 1 vol. (XIII-684 p.), Lecture notes in computer science, 3-540-63533-5 • FME '97 Industrial Applications and Strengthened Foundations of Formal Methods, Texte imprimé, 9783662183335 |
| LEADER | 05770nam a22004697a 4500 | ||
|---|---|---|---|
| 001 | 945277 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155221310 | ||
| 020 | |a 9783540695936 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.1015113 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a International Symposium on Formal methods Europe |n (04 |d :1997 |c :Graz, Autriche). | |
| 245 | 1 | 0 | |a FME '97 : |b industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15 19, 1997 : proceedings |c [edited by] John Fitzgerald, Cliff B. Jones, Peter Lucas. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1313 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Diagrams and programming languages for programmable controllers -- Graphical specification and reasoning: Case study generalised railroad crossing -- A graphic notation for formal specifications of dynamic systems -- A semantic integration of object-Z and CSP for the specification of concurrent systems -- Class refinement and interface refinement in object-oriented programs -- Formalizing requirements for distributed systems with trace diagrams -- Consistent graphical specification of distributed systems -- Design of reactive control systems for event-driven operations -- An M-Net semantics for a real-time extension of SDL -- Reconciling real-time with asynchronous message passing -- Specifying the remote controlling of valves in an explosion test environment -- PICGAL: Practical use of formal specification to develop a complex critical system -- Mathematical modeling and analysis of an external memory manager -- Automatic translation of VDM-SL specifications into gofer -- Towards an Integrated CASE and theorem proving tool for VDM-SL -- Specification of required non-determinism -- A corrected failure-divergence model for CSP in Isabelle/HOL -- A proof obligation generator for VDM-SL -- Verification of cryptographic protocols: An experiment -- TLA + PROMELA: Conjecture, check, proof -- A TLA solution to the specification and verification of the RLP1 retransmission protocol -- An efficient technique for deadlock analysis of large scale process networks -- Implementing a model checker for LEGO -- Formal verification of transformations for peephole optimization -- A meta-method for formal method integration -- Reuse of verified design templates through extended pattern matching -- A compositional proof system for shared variable concurrency -- A framework for modular formal specification andverification -- A timed semantics for the StateMate implementation of statecharts -- Using PVS to prove a Z refinement: A case study -- Verification of reactive systems using DisCo and PVS -- Term rewrite systems to derive set boolean operations on 2D objects -- A normal form reduction strategy for hardware/software partitioning -- Viewpoint consistency in Z and LOTOS: A case study -- A UNITY mapping operator for distributed programs. | |
| 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 This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods , held in Graz, Austria, in September 1997. The 35 revised full papers presented in the volume were selected from a total of 94 submissions. Formal methods and mathematically based techniques are increasingly recognized as a viable technology for the development and engineering of computing systems. The majority of the papers in this volume describe industrial applications, extensions to existing techniques, or case studies; papers on theoretical aspects show clear potential applicability. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Systèmes, Conception de | ||
| 650 | |a Méthodologie | ||
| 650 | |a Logiciels |x Développement | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Fitzgerald, John, |d 1965- |4 pbd | |
| 700 | 1 | |a Jones, Cliff B., |d 1944- |4 pbd | |
| 700 | 1 | |a Lucas, Peter, |d 1955- |4 pbd | |
| 776 | 0 | |0 032435460 |t FME '97, industrial applications and strengthened foundations of formal methods |o 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 |o proceedings |f John Fitzgerald, Cliff B. Jones, Peter Lucas, eds |d 1997 |c Berlin |n Springer |p 1 vol. (XIII-684 p.) |s Lecture notes in computer science |z 3-540-63533-5 | |
| 776 | 0 | |t FME '97 Industrial Applications and Strengthened Foundations of Formal Methods |b Texte imprimé |z 9783662183335 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-63533-5 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-9VQ4BFLF-3 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747912092 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-63533-5 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750924888 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-63533-5 |z Accès INSA CVL | |
| 997 | |0 945277 |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/ | ||