Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 November 1, 2013, proceedings
This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88...
Uloženo v:
| Další autoři: | , |
|---|---|
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
[20..].
Cham : Springer Nature |
| Vydání: | 1st ed. 2013. |
| Edice: | Programming and Software Engineering
8144 |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Formal Methods and Software Engineering, Texte imprimé, 9783642412011 • Formal Methods and Software Engineering, Texte imprimé, 9783642412035 |
| LEADER | 04823nam a22003497a 4500 | ||
|---|---|---|---|
| 001 | 947441 | ||
| 008 | 140205q2000 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN176115811 | ||
| 020 | |a 9783642412028 | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.1 | ||
| 245 | 0 | 0 | |a Formal methods and software engineering : |b 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 November 1, 2013, proceedings |c edited by Lindsay Groves, Jing Sun. |
| 250 | |a 1st ed. 2013. | ||
| 260 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Programming and Software Engineering |v 8144 |x 2945-9168 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 1 | |a Keynote Lattices of Information for Security: Deterministic, Demonic, Probabilistic Specification Algebraic Laws for Process Subtyping Boundness Issues in CCSL Specifications Mining Dataflow Sensitive Specifications Proof A Proof Slicing Framework for Program Verification Formally Verified System Initialisation Verifying an Aircraft Proximity Characterization Method in Coq Testing Assisting Specification Refinement by Random Testing Generation of Checking Sequences Using Identification Sets The Circus Testing Theory Revisited in Isabelle/HOL Timed Systems A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction Concurrency A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems A UTP Semantics for Communicating Processes with Shared Variables Verification of Static and Dynamic Barrier Synchronization Using- Bounded Permissions SysML/MDD Formal Models of SysML Blocks Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML Translation from Workflow Nets to MSVL Verification Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems Verification of Functional and Non-functional Requirements of Web Service Composition vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems Application Formal Kinematic Analysis of the Two-Link Planar Manipulator Formal Modelling of Resilient Data Storage in Cloud Linking Operational Semantics and Algebraic Semantics for Wireless Networks Static Analysis Automated Specification Discovery via User-Defined Predicates Path-Sensitive Data Flow Analysis Simplified Reconstructing Paths for Reachable Code The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software | |
| 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 the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation | ||
| 700 | 1 | |a Sun, Jing, |d 1961- |4 pbd | |
| 700 | 1 | |a Groves, Lindsay. |4 pbd | |
| 776 | 0 | |t Formal Methods and Software Engineering |b Texte imprimé |z 9783642412011 | |
| 776 | 0 | |t Formal Methods and Software Engineering |b Texte imprimé |z 9783642412035 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-3-642-41202-8 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-RC0LRZQ6-6 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747812942 |u https://ezproxy.univ-orleans.fr/login?url=https://dx.doi.org/10.1007/978-3-642-41202-8 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750829265 |u https://ezproxy.insa-cvl.fr/login?qurl=https://dx.doi.org/10.1007/978-3-642-41202-8 |z Accès INSA CVL | |
| 997 | |0 947441 |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/ | ||