Muutke küpsiste eelistusi

E-raamat: Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Edited by , Edited by
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 6528
  • Ilmumisaeg: 18-Jan-2011
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783642180705
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.
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected PapersSuurem pilt
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 6528
  • Ilmumisaeg: 18-Jan-2011
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783642180705
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 thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. The 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C#. FoVeOOS 2010 aimed to foster collaboration and interactions among researchers in this area.
From a Proven Correct Microkernel to Trustworthy Large Systems 1(9)
June Andronick
Static Contract Checking with Abstract Interpretation
10(21)
Manuel Fahndrich
Francesco Logozzo
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?
31(15)
Davide Ancona
Andrea Corradi
Giovanni Lagorio
Ferruccio Damiani
Validating Timed Models of Deployment Components with Parametric Concurrency
46(15)
Einar Broch Johnsen
Olaf Owe
Rudolf Schlatte
Silvia Lizeth Tapia Tarifa
Verification of Software Product Lines with Delta-Oriented Slicing
61(15)
Daniel Bruns
Vladimir Klebanov
Ina Schaefer
Satisfiability Solving and Model Generation for Quantified First-Order Logic Formulas
76(16)
Christoph D. Gladisch
Sawja: Static Analysis Workshop for Java
92(15)
Laurent Hubert
Nicolas Barre
Frederic Besson
Delphine Demange
Thomas Jensen
Vincent Monfort
David Pichardie
Tiphaine Turpin
CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties
107(15)
Marieke Huisman
Dilian Gurov
Specifying Imperative ML-Like Programs Using Dynamic Logic
122(16)
Severine Maingaud
Vincent Balat
Richard Bubel
Reiner Hahnle
Alexandre Miquel
Dynamic Frames in Java Dynamic Logic
138(15)
Peter H. Schmitt
Mattias Ulbrich
Benjamin Weiß
A Refinement Methodology for Object-Oriented Programs
153(15)
Asma Tafat
Sylvain Boulme
Claude Marche
A Dynamic Logic for Unstructured Programs with Embedded Assertions
168(15)
Mattias Ulbrich
JMLUnit: The Next Generation
183(16)
Daniel M. Zimmerman
Rinkesh Nagmoti
Author Index 199
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97836421807052e.html
Märksõnad: