Cantitate/Preț
Produs
Total produse
Vezi coșul
Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers de Frank S. de Boer

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers: Lecture Notes in Computer Science, cartea 6286

Editat de Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel
en Limba Engleză Paperback – 4 ian 2011

ABORDAREA PRACTICĂ: Formal Methods for Components and Objects realizează o tranziție necesară de la verificarea programelor de dimensiuni medii la gestionarea sistemelor software industriale complexe. În timp ce abordările tradiționale se concentrează adesea pe aspecte funcționale izolate, acest volum prioritizează structura, utilizând specificația și modelarea pentru a susține reusabilitatea și modularitatea în limbaje precum Java. Credem că valoarea tehnică a acestei lucrări rezidă în cele 17 contribuții selectate, care nu sunt simple prezentări teoretice, ci rezultate directe ale unor proiecte europene de anvergură (IST-FP6 și IST-FP7), precum DEPLOY sau HATS.

Suntem de părere că structura volumului oferă o perspectivă aplicată asupra modului în care metodele formale pot fi integrate în fluxurile de lucru moderne. Dacă Modular Specification and Verification of Object-Oriented Programs v-a oferit cadrul teoretic pentru programele orientate pe obiect, această carte oferă instrumentele practice necesare pentru implementarea acestor concepte în sisteme distribuite și embedded. În plus, volumul continuă direcția de cercetare a editorului Frank S. de Boer, care în lucrarea sa anterioară, Verification of Sequential and Concurrent Programs, a pus bazele metodelor compoziționale. Acolo unde lucrarea anterioară explora sintaxa și modelele de programare, volumul de față extinde analiza către arhitecturi adaptabile și servicii evolutive.

Fiecare capitol reflectă o experiență de cercetare din proiecte reale, abordând teme precum testarea bazată pe proprietăți sau verificarea sistemelor critice, cum ar fi semnalizarea feroviară europeană (INESS). Comparativ cu FME 2003: Formal Methods, care oferea o privire de ansamblu asupra stadiului cercetării de acum două decenii, acest volum din seria Lecture Notes in Computer Science se concentrează pe provocările actuale ale ingineriei software: scalabilitatea și fiabilitatea în medii industriale.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32261 lei

Preț vechi: 40326 lei
-20%

Puncte Express: 484

Carte disponibilă

Livrare economică 27 mai-10 iunie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783642170706
ISBN-10: 3642170706
Pagini: 352
Ilustrații: X, 339 p. 111 illus., 55 illus. in color.
Greutate: 0.5 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

De ce să citești această carte

Recomandăm această lucrare cercetătorilor și inginerilor software care doresc să implementeze metode formale în proiecte de scară largă. Cititorul câștigă acces la studii de caz din proiecte europene de elită, învățând cum să aplice modelarea și validarea pentru a crea sisteme software sigure și ușor de întreținut. Este un instrument esențial pentru tranziția de la teoria verificării la practica dezvoltării de sisteme complexe.

Descriere scurtă

All modern industries rely on large and complex software systems. In order toconstruct such large systems in a systematic manner, the focus of the developmentmethodologies has switched in the last two decades from functional to structuralissues. Formal methods have been applied successfully to the verification ofmedium-sized programs in protocol and hardware design. However, their applicationto the development of large systems requires a greater emphasis on specification,modeling, and validation techniques supporting the concepts of reusability andmodifiability, and their implementation in new extensions of existing programminglanguages like Java.This state-of-the-art survey presents the outcome of the 8th Symposium on FormalMethods for Components and Objects, held in Eindhoven, The Netherlands, inNovember 2009. The volume contains 17 revised contributions submitted after thesymposium by speakers from each of the following European IST projects: theIST-FP6 project BIONETS on biologically inspired services evolution for thepervasive age; the IST-FP7 project COMPAS on compliance-driven models, languages,and architectures for services; the IST-FP6 project CREDO on modelling andanalysis of evolutionary structures for distributed services; the IST-FP7 DEPLOYon industrial deployment of advanced system engineering methods for highproductivity and dependability; the IST-FP7 project HATS on highly adaptable andtrustworthy software using formal methods; the IST-FP7 project INESS on integratedEuropean railway signalling system; the IST-FP7 project MOGENTES on model-basedgeneration of tests for dependable embedded systems; the IST-FP6 project PROTESTon property based testing; and the IST-FP7 project QUASIMODO on quantitativesystem properties in model-driven-design of embedded systems.

Caracteristici

Up-to-date results Fast track conference proceedings State-of-the-art results