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.

Produktinformation

Utgivningsdatum2018-04-04
Mått155 x 235 x 21 mm
Vikt563 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor357
FörlagSpringer International Publishing AG
ISBN9783319893624

Tillhör följande kategorier

Informationsteknik: allmänt inom Data och IT
Programvaruutveckling inom Data och IT
Programmeringsböcker inom Data och IT
Hårdvara inom Data och IT

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.

Mer från samma författare

New Antiquity

Alessandra Russo

Inbunden, 2024

1 449 kr

Untranslatable Image

Alessandra Russo

Häftad, 2023

669 kr

Atlas of Microsurgery of the Lateral Skull Base

Mario Sanna, Gianluca Piras, Wenlong Tang, Abdelkader Taibah, Alessandra Russo, Fernando Mancini

Inbunden, 2025

2 599 kr

Governance Beyond the Law

Abel Polese, Alessandra Russo, Francesco Strazzari

Inbunden, 2019

1 989 kr

International Relations and Area Studies

Silvia D'Amato, Matteo Dian, Alessandra Russo

Inbunden, 2023

1 929 kr

International Relations and Area Studies

Silvia D'Amato, Matteo Dian, Alessandra Russo

Häftad, 2024

1 929 kr

Atlas of Acoustic Neurinoma Microsurgery

Mario Sanna, Fernando Mancini, Alessandra Russo, Abdelkader Taibah, Maurizio Falcioni, Giuseppe Di Trapani

Inbunden, 2010

3 409 kr

Color Atlas of Endo-Otoscopy

Mario Sanna, Alessandra Russo, Antonio Caruso, Abdelkader Taibah, Gianluca Piras

Inbunden, 2017

1 869 kr

Temporal Bone

Mario Sanna, Alessandra Russo, Abdelkader Taibah, Gianluca Piras, Wenlong Tang

Inbunden, 2018

2 279 kr

Regions in Transition in the Former Soviet Area

Alessandra Russo

Inbunden, 2017

1 439 kr

Mer från samma serie

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

749 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

729 kr

Compiler Construction

Albert Cohen

Häftad, 2014

719 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

729 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

749 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

749 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

749 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 219 kr

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

749 kr

Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi - Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops, Häftad

Del 15401

Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops

Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi

Häftad, 2025

969 kr

Du kanske också är intresserad av

Fundamental Approaches to Software Engineering

Perdita Stevens, Andrzej Wąsowski

Häftad, 2016

749 kr

Fundamental Approaches to Software Engineering

Tom Maibaum

Häftad, 2000

749 kr

Del 12076

Fundamental Approaches to Software Engineering

Heike Wehrheim, Jordi Cabot

Häftad, 2020

599 kr

Fundamental Approaches to Software Engineering

Marsha Chechik, Martin Wirsing

Häftad, 2009

749 kr

Del 14573

Fundamental Approaches to Software Engineering

Dirk Beyer, Ana Cavalcanti

Häftad, 2024

599 kr

Fundamental Approaches to Software Engineering

Egidio Astesiano

Häftad, 1998

749 kr

Fundamental Approaches to Software Engineering

Mauro Pezzè

Häftad, 2003

749 kr

Fundamental Approaches to Software Engineering

Dimitra Giannakopoulou, Fernando Orejas

Häftad, 2011

749 kr

Del 13991

Fundamental Approaches to Software Engineering

Leen Lambers, Sebastián Uchitel

Häftad, 2023

599 kr

Del 15693

Fundamental Approaches to Software Engineering

Artur Boronat, Gordon Fraser

Häftad, 2025

599 kr

Del 10802 i serien Lecture Notes in Computer Science

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

Häftad, Engelska, 2018

AvAlessandra Russo,Andy Schürr

749 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (10)

Häftad

929 kr

Skickas inom 3-6 vardagar

Inbunden

1 009 kr

Skickas inom 5-8 vardagar

Häftad

749 kr

Skickas inom 10-15 vardagar

Häftad

599 kr

Skickas inom 10-15 vardagar

Häftad

599 kr

Skickas inom 10-15 vardagar

Häftad

599 kr

Skickas inom 10-15 vardagar

Häftad

599 kr

Skickas inom 10-15 vardagar

Häftad

599 kr

Skickas inom 10-15 vardagar

Häftad

599 kr

Skickas inom 5-8 vardagar

Häftad

599 kr

Skickas inom 10-15 vardagar

Produktinformation

Utgivningsdatum2018-04-04
Mått155 x 235 x 21 mm
Vikt563 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor357
FörlagSpringer International Publishing AG
ISBN9783319893624

Tillhör följande kategorier

Informationsteknik: allmänt inom Data och IT
Programvaruutveckling inom Data och IT
Programmeringsböcker inom Data och IT
Hårdvara inom Data och IT

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.