Please use this identifier to cite or link to this item:
http://localhost/handle/Hannan/627
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Russo, Alessandra. ; | en_US |
| dc.contributor.author | Scherr, Andy. ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:19:46Z | - |
| dc.date.available | 2020-05-17T08:19:46Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 9783319893631 ; | en_US |
| dc.identifier.isbn | 9783319893624 (print) ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/627 | - |
| dc.description | 005.1 ; 23 ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | Printed edition: ; 9783319893624. ; | en_US |
| dc.description | SpringerLink (Online service) ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description.abstract | This book is Open Access under a CC BY licence. ; | en_US |
| dc.description.statementofresponsibility | edited by Alessandra Russo, Andy Scherr. | en_US |
| dc.description.tableofcontents | 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. ; | en_US |
| dc.format.extent | XII, 357 p. 116 illus. ; online resource. ; | en_US |
| dc.publisher | Springer International Publishing : | en_US |
| dc.publisher | Imprint: Springer, | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10802. ; | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10802. ; | en_US |
| dc.relation.haspart | 9783319893631.pdf | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Computer organization. ; | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Programming Languages and Electronic Computers | en_US |
| dc.subject | Computers | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Programming Languages and Compilers and Interpreters | en_US |
| dc.subject | Computer Systems Organization and Communication Networks. ; | en_US |
| dc.subject | The Computing Profession. ; | en_US |
| dc.subject | Theory of Computation. ; | en_US |
| dc.subject.lcc | QA76.758 ; | en_US |
| dc.title | Fundamental Approaches to Software Engineering | en_US |
| dc.title.alternative | 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 / | en_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham : | en_US |
| Appears in Collections: | مدیریت فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319893631.pdf | 25.3 MB | Adobe PDF |  Preview File |
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Russo, Alessandra. ; | en_US |
| dc.contributor.author | Scherr, Andy. ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:19:46Z | - |
| dc.date.available | 2020-05-17T08:19:46Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 9783319893631 ; | en_US |
| dc.identifier.isbn | 9783319893624 (print) ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/627 | - |
| dc.description | 005.1 ; 23 ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | Printed edition: ; 9783319893624. ; | en_US |
| dc.description | SpringerLink (Online service) ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description.abstract | This book is Open Access under a CC BY licence. ; | en_US |
| dc.description.statementofresponsibility | edited by Alessandra Russo, Andy Scherr. | en_US |
| dc.description.tableofcontents | 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. ; | en_US |
| dc.format.extent | XII, 357 p. 116 illus. ; online resource. ; | en_US |
| dc.publisher | Springer International Publishing : | en_US |
| dc.publisher | Imprint: Springer, | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10802. ; | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10802. ; | en_US |
| dc.relation.haspart | 9783319893631.pdf | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Computer organization. ; | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Programming Languages and Electronic Computers | en_US |
| dc.subject | Computers | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Programming Languages and Compilers and Interpreters | en_US |
| dc.subject | Computer Systems Organization and Communication Networks. ; | en_US |
| dc.subject | The Computing Profession. ; | en_US |
| dc.subject | Theory of Computation. ; | en_US |
| dc.subject.lcc | QA76.758 ; | en_US |
| dc.title | Fundamental Approaches to Software Engineering | en_US |
| dc.title.alternative | 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 / | en_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham : | en_US |
| Appears in Collections: | مدیریت فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319893631.pdf | 25.3 MB | Adobe PDF | Preview File |
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Russo, Alessandra. ; | en_US |
| dc.contributor.author | Scherr, Andy. ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:19:46Z | - |
| dc.date.available | 2020-05-17T08:19:46Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 9783319893631 ; | en_US |
| dc.identifier.isbn | 9783319893624 (print) ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/627 | - |
| dc.description | 005.1 ; 23 ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | Printed edition: ; 9783319893624. ; | en_US |
| dc.description | SpringerLink (Online service) ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description.abstract | This book is Open Access under a CC BY licence. ; | en_US |
| dc.description.statementofresponsibility | edited by Alessandra Russo, Andy Scherr. | en_US |
| dc.description.tableofcontents | 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. ; | en_US |
| dc.format.extent | XII, 357 p. 116 illus. ; online resource. ; | en_US |
| dc.publisher | Springer International Publishing : | en_US |
| dc.publisher | Imprint: Springer, | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10802. ; | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10802. ; | en_US |
| dc.relation.haspart | 9783319893631.pdf | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Computer organization. ; | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Programming Languages and Electronic Computers | en_US |
| dc.subject | Computers | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Programming Languages and Compilers and Interpreters | en_US |
| dc.subject | Computer Systems Organization and Communication Networks. ; | en_US |
| dc.subject | The Computing Profession. ; | en_US |
| dc.subject | Theory of Computation. ; | en_US |
| dc.subject.lcc | QA76.758 ; | en_US |
| dc.title | Fundamental Approaches to Software Engineering | en_US |
| dc.title.alternative | 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 / | en_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham : | en_US |
| Appears in Collections: | مدیریت فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319893631.pdf | 25.3 MB | Adobe PDF | Preview File |