Muutke küpsiste eelistusi

Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers 2011 ed. [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 199 pages, kõrgus x laius: 235x155 mm, kaal: 329 g, 1 Illustrations, color; 44 Illustrations, black and white; X, 199 p. 45 illus., 1 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 6528
  • Ilmumisaeg: 14-Jan-2011
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642180698
  • ISBN-13: 9783642180699
Teised raamatud teemal:
  • Pehme köide
  • Hind: 48,70 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 57,29 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers 2011 ed.Suurem pilt
  • Formaat: Paperback / softback, 199 pages, kõrgus x laius: 235x155 mm, kaal: 329 g, 1 Illustrations, color; 44 Illustrations, black and white; X, 199 p. 45 illus., 1 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 6528
  • Ilmumisaeg: 14-Jan-2011
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642180698
  • ISBN-13: 9783642180699
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783642180699.html
Märksõnad:
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