Cantitate/Preț
Produs
Total produse
Vezi coșul
Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers de Andrew Butterfield

Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers: Lecture Notes in Computer Science, cartea 5713

Editat de Andrew Butterfield
en Limba Engleză Paperback – 30 iul 2010

În acest volum din seria Lecture Notes in Computer Science, regăsim o explorare riguroasă a fundamentelor teoretice care unifică diversele paradigme de programare. Ne-a atras atenția în mod deosebit modul în care volumul Unifying Theories of Programming abordează tehnologii și concepte critice pentru siguranța software-ului, precum Calculul Rafinării, logica tranzacțională și model checking-ul temporal. Acestea nu sunt doar abstracții matematice, ci instrumente esențiale pentru dezvoltarea sistemelor critice, unde corectitudinea execuției este vitală. Ca și Zhiming Liu în Unifying Theories of Programming and Formal Engineering Methods, editorul Andrew Butterfield distilează experiență reală în principii acționabile, oferind o punte între cercetarea academică și ingineria software formală. Structura cărții urmărește o progresie logică, pornind de la fundamentarea contractelor software și evoluând spre aplicații complexe, cum ar fi semantica UTP pentru limbajul Handel-C sau codificarea programelor Circus în ProofPowerZ. Reținem, de asemenea, contribuțiile despre programarea reactivă și gestionarea întreruperilor, teme care rămân de o actualitate stringentă în dezvoltarea sistemelor embedded și de timp real. Față de abordările introductive, acest volum se distinge prin rigoarea post-procedurală, oferind lucrări revizuite care integrează feedback-ul comunității științifice internaționale.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32024 lei

Preț vechi: 40030 lei
-20%

Puncte Express: 480

Carte disponibilă

Livrare economică 14-28 mai

 Adaugă în coș

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

Specificații

ISBN-13: 9783642145209
ISBN-10: 3642145205
Pagini: 278
Ilustrații: IX, 279 p. 21 illus.
Dimensiuni: 7 x 91 x 25 mm
Greutate: 0.43 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Professional/practitioner

De ce să citești această carte

Recomandăm această carte cercetătorilor și inginerilor software care doresc să aprofundeze metodele formale de verificare și design. Cititorul câștigă o înțelegere sistemică asupra modului în care diverse teorii de programare pot fi unificate pentru a crea sisteme mai robuste. Este un resursă tehnică valoroasă pentru cei care lucrează cu limbaje de nivel sistem și instrumente de demonstrare automată a teoremelor.

Cuprins

Refinement Calculus as a Theory of Contracts (Invited Paper).- Transaction Calculus.- UTP and Temporal Logic Model Checking.- A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming.- Reasoning about Loops in Total and General Correctness.- Lazy UTP.- Monadic Maps and Folds for Multirelations in an Allegory.- Unifying Theories of Interrupts.- UTP Semantics for Handel-C.- Unifying Theories of Locations.- Unifying Input Output Conformance.- The Miracle of Reactive Programming.- Encoding Circus Programs in ProofPowerZ.- Component Publications and Compositions.- Denotational Approach to an Event-Driven System-Level Language.

Descriere

The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R & D community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science research forum available. The scope of LNCS, including its subseries LNAI and LNBI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes proceedings (published in time for the respective conference) post-proceedings (consisting of thoroughly revised final full papers) research monographs (which may be based on outstanding PhD work, research projects, technical reports, etc.) More recently, several color-cover sublines have been added featuring, beyond a collection of papers, various added-value components; these sublines include tutorials (textbook-like monographs or collections of lectures given at advanced courses) state-of-the-art surveys (offering complete and mediated coverage of a topic) hot topics (introducing emergent topics to the broader community) In parallel to the printed book, each new volume is published electronically in LNCS Online. Book jacket.