This book is Open Access under a CC BY licence.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
This book is Open Access under a CC BY licence.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
Condizione: new. Questo è un articolo print on demand. Codice articolo 2f0800bd21f2d83754c7cd182231dcbd
Quantità: Più di 20 disponibili
Da: Ria Christie Collections, Uxbridge, Regno Unito
Condizione: New. In. Codice articolo ria9783319893624_new
Quantità: Più di 20 disponibili
Da: Chiron Media, Wallingford, Regno Unito
Paperback. Condizione: New. Codice articolo 6666-IUK-9783319893624
Quantità: 10 disponibili
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections named: model-based software development; distributed program and system analysis; software design and verification; specification and program testing; family-based software development. 372 pp. Englisch. Codice articolo 9783319893624
Quantità: 2 disponibili
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New. 1st ed. 2018 edition NO-PA16APR2015-KAP. Codice articolo 26376474474
Quantità: 4 disponibili
Da: Majestic Books, Hounslow, Regno Unito
Condizione: New. Print on Demand. Codice articolo 369570997
Quantità: 4 disponibili
Da: Biblios, Frankfurt am main, HESSE, Germania
Condizione: New. PRINT ON DEMAND. Codice articolo 18376474464
Quantità: 4 disponibili
Da: moluna, Greven, Germania
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 201. Codice articolo 223629851
Quantità: Più di 20 disponibili
Da: Revaluation Books, Exeter, Regno Unito
Paperback. Condizione: Brand New. 372 pages. 9.25x6.10x1.26 inches. In Stock. Codice articolo x-3319893629
Quantità: 2 disponibili
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Model-Based Software Development.- A Formal Framework for Incremental Model Slicing.- Multiple Model Synchronization with Multiary Delta Lenses.- Controlling the Attack Surface of Object-Oriented Refactorings.- Efficient Analysis of Attack Trees: a Model-Driven Approach.- Distributed Program and System Analysis.- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis.- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism.- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems.- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States.- Software Design and Verification.- Hierarchical Specification and Verification of Architectural Design Patterns.- Supporting Verification-Driven Incremental Distributed Design of Components.- Summarizing Software API Usage Examples using Clustering Techniques.- Fast Computation of Arbitrary Control Dependencies.- Specification and Program Testing.- Iterative Generation of Diverse Models for Testing Specifications of SL Tools.- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications.- TCM: Test Case Mutation to Improve Crash Detection in Android.- CRETE: A Versatile Binary-Level Concolic Testing Framework.- Family-Based Software Development.- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL\*.- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems.- Taming Multi-Variability of Software Product Line Transformations.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 372 pp. Englisch. Codice articolo 9783319893624
Quantità: 1 disponibili