Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings /

This book is Open Access under a CC BY licence.

保存先:
書誌詳細
団体著者: SpringerLink (Online service)
その他の著者: Russo, Alessandra (編集者), Schürr, Andy (編集者)
フォーマット: 電子媒体 eBook
言語:英語
出版事項: Cham : Springer International Publishing : Imprint: Springer, 2018.
版:1st ed. 2018.
シリーズ:Theoretical Computer Science and General Issues, 10802
主題:
オンライン・アクセス:Link to Metadata
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!

MARC

LEADER 00000nam a22000005i 4500
001 978-3-319-89363-1
003 DE-He213
005 20240314161857.0
007 cr nn 008mamaa
008 180403s2018 sz | s |||| 0|eng d
020 |a 9783319893631  |9 978-3-319-89363-1 
024 7 |a 10.1007/978-3-319-89363-1  |2 doi 
050 4 |a QA76.758 
072 7 |a UMZ  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
072 7 |a UMZ  |2 thema 
082 0 4 |a 005.1  |2 23 
245 1 0 |a Fundamental Approaches to Software Engineering  |h [electronic resource] :  |b 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings /  |c edited by Alessandra Russo, Andy Schürr. 
250 |a 1st ed. 2018. 
264 1 |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2018. 
300 |a XII, 357 p. 116 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Theoretical Computer Science and General Issues,  |x 2512-2029 ;  |v 10802 
505 0 |a 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. 
506 0 |a Open Access 
520 |a This book is Open Access under a CC BY licence. 
650 0 |a Software engineering. 
650 0 |a Compilers (Computer programs). 
650 0 |a Computer engineering. 
650 0 |a Computer networks . 
650 0 |a Computers. 
650 0 |a Professions. 
650 0 |a Computer science. 
650 1 4 |a Software Engineering. 
650 2 4 |a Compilers and Interpreters. 
650 2 4 |a Computer Engineering and Networks. 
650 2 4 |a The Computing Profession. 
650 2 4 |a Theory of Computation. 
700 1 |a Russo, Alessandra.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Schürr, Andy.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783319893624 
776 0 8 |i Printed edition:  |z 9783319893648 
830 0 |a Theoretical Computer Science and General Issues,  |x 2512-2029 ;  |v 10802 
856 4 0 |u https://doi.org/10.1007/978-3-319-89363-1  |z Link to Metadata 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
912 |a ZDB-2-LNC 
912 |a ZDB-2-SOB 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710)