FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19 23, 1993 : proceedings
The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive systems, and to hardware design. In that time, many theoretical problems have been tackled and solved, and many continue to be worked...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
670 |
| Matèries: | |
| Accés en línia: | 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: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • FME '93, industrial-strength formal methods, proceedings, First International symposium of Formal methods Europe, Odense, Denmark, April 19-23, 1993, Berlin, Springer-Verlag, 1993, 1 vol. (XI-689 p.), Lecture notes in computer science, 3-540-56662-7 • FME '93: Industrial-Strength Formal Methods, Texte imprimé, 9783662195673 |
| LEADER | 05573nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 945241 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155219553 | ||
| 020 | |a 9783540476238 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.131 | ||
| 082 | |a 004 | ||
| 110 | 2 | |a Formal methods Europe. |b International symposium |n (01 |d :1993 |c :Odense, Danemark). |4 aut | |
| 245 | 1 | 0 | |a FME '93 : |b industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19 23, 1993 : proceedings |c [edited by] J. C. P. Woodcock, P. G. Larsen. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 670 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Reasoning about interference in an object-based design method -- Using relative refinement for fault tolerance -- Specification and validation of a security policy model -- Experiences from applications of RAISE -- Role of VDM(++) in the development of a real-time tracking and tracing system -- The integration of LOTOS with an object oriented development method -- An industrial experience on LOTOS-based prototyping for switching systems design -- Towards an implementation-oriented specification of TP protocol in LOTOS -- A metalanguage for the formal requirement specification of reactive systems -- Model checking in practice -- Algorithm refinement with read and write frames -- Invariants, frames and postconditions: a comparison of the VDM and B notations -- The industrial take-up of formal methods in safety-critical and other areas: A perspective -- A proof environment for concurrent programs -- A VDM ? study of Fault-Tolerant stable storage Towards a computer engineering mathematics -- Applications of modal logic for the specification of real-time systems -- Formal methods reality check: Industrial usage -- Automating the generation and sequencing of test cases from model-based specifications -- The parallel abstract machine: A common execution model for FDTs -- Generalizing Abadi & Lamport's method to solve a problem posed by A. Pnueli -- Real-time refinement -- Different FDT's confronted with different ODP-viewpoints of the trader -- On the derivation of executable database programs from formal specifications -- A concurrency case study using RAISE -- Specifying a safety-critical control system in Z -- An overview of the SPRINT method -- Application of composition development method for definition of SYNTHESIS information resource query language semantics -- Verification tools in thedevelopment of provably correct compilers -- Encoding | |
| 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 last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive systems, and to hardware design. In that time, many theoretical problems have been tackled and solved, and many continue to be worked upon. Yet it is by the suitability of their industrial application and the extent of their usage that formal methods will ultimately be judged. This volume presents the proceedings of the first international symposium of Formal Methods Europe, FME'93. The symposium focuses on the application of industrial-strength formal methods. Authors address the difficulties of scaling their techniques up to industrial-sized problems, and their suitability in the workplace, and discuss techniques that are formal (that is, they have a mathematical basis) and that are industrially applicable. The volume has four parts: - Invited lectures, containing a lecture by Cliff B. Jones and a lecture by Antonio Cau and Willem-Paul de Roever; - Industrial usage reports, containing 6 reports; - Papers, containing 32 selected and refereedpapers; - Tool descriptions, containing 11 descriptions. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Logiciels |x Développement | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Larsen, Peter Gorm, |d 1964- |4 pbd | |
| 700 | 1 | |a Woodcock, Jim, |d 1956- |4 pbd | |
| 776 | 0 | |0 016745566 |t FME '93, industrial-strength formal methods |o proceedings |f First International symposium of Formal methods Europe, Odense, Denmark, April 19-23, 1993 |c Berlin |n Springer-Verlag |d 1993 |p 1 vol. (XI-689 p.) |s Lecture notes in computer science |z 3-540-56662-7 | |
| 776 | 0 | |t FME '93: Industrial-Strength Formal Methods |b Texte imprimé |z 9783662195673 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0024633 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-CXKS4GDS-8 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747912408 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0024633 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750925213 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0024633 |z Accès INSA CVL | |
| 997 | |0 945241 |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/ | ||