Muutke küpsiste eelistusi

E-raamat: FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings

Edited by , Edited by
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 5014
  • Ilmumisaeg: 05-Jun-2008
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783540682370
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 55,56 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, ProceedingsSuurem pilt
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 5014
  • Ilmumisaeg: 05-Jun-2008
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783540682370
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.
Session
1. Invited Talks.- Aspects and Formal Methods.- Getting Formal
Verification into Design Flow.- Lessons in the Weird and Unexpected: Some
Experiences from Checking Large Real Systems.- Simulation, Orchestration and
Logical Clocks.- Session
2. Programming Language Analysis.- CoVaC: Compiler
Validation by Program Analysis of the Cross-Product.- Lazy Behavioral
Subtyping.- Checking Well-Formedness of Pure-Method Specifications.- Session
3. Verification.- Verifying Dynamic Pointer-Manipulating Threads.- Proofs and
Refutations for Probabilistic Refinement.- Assume-Guarantee Verification for
Interface Automata.- Session
4. Real-Time and Concurrency.- Automated
Verification of Dense-Time MTL Specifications Via Discrete-Time
Approximation.- A Model Checking Language for Concurrent Value-Passing
Systems.- Session
5. Grand Chellenge Problems.- Verification of Mondex
Electronic Purses with KIV: From a Security Protocol to Verified Code.-
Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing
System Using VDM.- Session
6. FM Practice.- Industrial Use of Formal Methods
for a High-Level Security Evaluation.- Secret Ninja Formal Methods.-
Specification and Checking of Software Contracts for Conditional Information
Flow.- Session
7. Runtime Moitoring and Analysis.- JML Runtime Assertion
Checking: Improved Error Reporting and Efficiency Using Strong Validity.-
Provably Correct Runtime Monitoring.- Session
8. Communication.- A
Schedulerless Semantics of TLM Models Written in SystemC Via Translation into
LOTOS.- A Rigorous Approach to Networking: TCP, from Implementation to
Protocol to Service.- Session
9. Constraint Analysis.- Constraint
Prioritization for Efficient Analysis of Declarative Models.- Finding Minimal
Unsatisfiable Cores of Declarative Specifications.- Precise Interval Analysis
vs. Parity Games.- Session
10. Design.- Introducing Objects through
Refinement.- Masking Faults While Providing Bounded-Time Phased Recovery.-
Towards Consistent Specifications of Product Families.- Session
11. Industry
Day.- Formal Methods for Trustworthy Skies: Building Confidence in the
Security of Aircraft Assets Distribution.- An Industrial Case: Pitfalls and
Benefits of Applying Formal Methods to the Development of a Network-Centric
RTOS.- Software Engineering with Formal Methods: Experiences with the
Development of a Storm Surge Barrier Control System.- Application of a Formal
Specification Language in the Development of the Mobile FeliCa IC Chip
Firmware for Embedding in Mobile Phone.- Safe and Reliable Metro Platform
Screen Doors Control/Command Systems.
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97835406823702e.html
Märksõnad: