FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12 16, 2001 : proceedings
FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. It follows four VDM Europe Symposia, four other Formal Methods Euro...
Đã lưu trong:
| Tác giả của công ty: | |
|---|---|
| Tác giả khác: | , |
| Định dạng: | Livre numérique |
| Ngôn ngữ: | Anglais |
| Được phát hành: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Loạt: | Lecture notes in computer science
2021 |
| Những chủ đề: | |
| Truy cập trực tuyến: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Chú thích: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • FME 2001, formal methods for increasing software productivity, [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, proceedings, José Nuno Oliveira, Pamela Zave (eds.), 2001, New York, Springer, 1 vol. (XIII-628 p.), Lecture notes in computer science, 3-540-41791-5 • FME 2001: Formal Methods for Increasing Software Productivity, Texte imprimé, 9783662163719 |
| LEADER | 06153nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 948800 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155190016 | ||
| 020 | |a 9783540452515 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.1 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a International Symposium of Formal Methods Europe |n (10 |d :2001 |c :Berlin). | |
| 245 | 1 | 0 | |a FME 2001 : |b formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12 16, 2001 : proceedings |c [edited by] José Nuno Oliveira, Pamela Zave. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2021 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Lightweight Formal Methods -- Reformulation: a Way to Combine Dynamic Properties and B Refinement -- Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries -- Proofs of Correctness of Cache-Coherence Protocols -- Model-Checking Over Multi-Valued Logics -- How to Make FDR Spin LTL Model Checking of CSP by Refinement -- Avoiding State Explosion for Distributed Systems with Timestamps -- Secrecy-Preserving Refinement -- Information Flow Control and Applications Bridging a Gap -- A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures -- A Formal Model for Reasoning About Adaptive QoS-Enabled Middleware -- A Programming Model for Wide-Area Computing -- A Formal Model of Object-Oriented Design and GoF Design Patterns -- Validation of UML Models Thanks to Z and Lustre -- Components, Contracts, and Connectors for the Unified Modelling Language UML -- An Integrated Approach to Specification and Validation of Real-Time Systems -- Real-Time Logic Revisited -- Improvements in BDD-Based Reachability Analysis of Timed Automata -- Serialising Parallel Processes in a Hardware/Software Partitioning Context -- Verifying Implementation Relations -- An Adequate Logic for Full LOTOS -- Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics (M C ? ) -- Faithful Translations Among Models and Specifications -- Composing Contracts: An Adventure in Financial Engineering -- From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study -- Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System -- Using Formal Verification Techniques to Reduce Simulation and Test Effort -- Transacted Memory for Smart Cards -- Houdini, an Annotation Assistant for ESC/Java -- A Heuristic for SymmetryReductions with Scalarsets -- View Updatability Based on the Models of a Formal Specification -- Grammar Adaptation -- Test-Case Calculation Through Abstraction -- A Modular Approach to the Specification and Validation of an Electrical Flight Control System -- A Combined Testing and Verification Approach for Software Reliability. | |
| 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 FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. It follows four VDM Europe Symposia, four other Formal Methods Europe S- posia, and the 1999 World Congress on Formal Methods in the Development of Computing Systems. These meetings have been notably successful in bringing - gether a community of users, researchers, and developers of precise mathematical methods for software development. FME 2001 took place in Berlin, Germany and was organized by the C- puter Science Department of the Humboldt-Universit at zu Berlin. The theme of the symposium was Formal Methods for Increasing Software Productivity. This theme recognizes that formal methods have the potential to do more for industrial software development than enhance software quality { they can also increase productivity at many di erent points in the software life-cycle. The importance of the theme is borne out by the many contributed papers showing how formal methods can make software development more e cient. There is an emphasis on tools that nd errors automatically, or with relatively little human e ort. There is also an emphasis on the use of formal methods to assist with critical, labor-intensive tasks such as program design and test-case generation. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Logiciels |x Développement | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Oliveira, José Nuno, |d 1955- |4 pbd | |
| 700 | 1 | |a Zave, Pamela, |d 1948- |4 pbd | |
| 776 | 0 | |0 055447910 |t FME 2001 |o formal methods for increasing software productivity |o [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 |o proceedings |f José Nuno Oliveira, Pamela Zave (eds.) |d 2001 |c New York |n Springer |p 1 vol. (XIII-628 p.) |s Lecture notes in computer science |z 3-540-41791-5 | |
| 776 | 0 | |t FME 2001: Formal Methods for Increasing Software Productivity |b Texte imprimé |z 9783662163719 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-45251-6 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-HN98JF9R-5 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748061932 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-45251-6 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751513547 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-45251-6 |z Accès INSA CVL | |
| 997 | |0 948800 |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/ | ||