2019 34th IEEE/ACM International Conference on Automated Software Engineering PDF Download

Author:
Publisher:
ISBN:
Category : Computer-aided software engineering
Languages : en
Pages : 0

View

Book Description

Author:
Publisher:
ISBN:
Category : Computer-aided software engineering
Languages : en
Pages :

View

Book Description

Author: David Clark
Publisher: Springer Nature
ISBN: 3031046730
Category : Computers
Languages : en
Pages : 242

View

Book Description
This book constitutes the refereed proceedings of the 33rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2021, which was supposed to be held in London, UK, but was held virtually due to the COVID-19 pandemic. The 10 regular papers and 7 short papers presented were carefully reviewed and selected from 36 submissions. Additionally, the volume includes 6 project reports. The papers are divided into the following topical subheadings: Finite State Machine-based Testing; Test Generation and Selection; AI-based Techniques; Use Cases; Project Reports.

Author: Wei Dong
Publisher: Springer Nature
ISBN: 3031212134
Category : Computers
Languages : en
Pages : 249

View

Book Description
This book constitutes the proceedings of the 8th International Symposium on Dependable Software Engineering, SETTA 2022, held in Beijing, China, in October 2022. The 11 full papers and 3 short papers in this volume were carefully reviewed and selected from 29 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.

Author: Michael W. Whalen
Publisher: TU Wien Academic Press
ISBN: 3854480466
Category : Computers
Languages : en
Pages : 297

View

Book Description
Our life is dominated by hardware: a USB stick, the processor in our laptops or the SIM card in our smart phone. But who or what makes sure that these systems work stably, safely and securely from the word go? The computer - with a little help from humans. The overall name for this is CAD (computer-aided design), and it’s become hard to imagine our modern industrial world without it. So how can we be sure that the hardware and computer systems we use are reliable? By using formal methods: these are techniques and tools to calculate whether a system description is in itself consistent or whether requirements have been developed and implemented correctly. Or to put it another way: they can be used to check the safety and security of hardware and software. Just how this works in real life was also of interest at the annual conference on "Formal Methods in Computer-Aided Design (FMCAD)". Under the direction of Ruzica Piskac and Michael Whalen, the 21st Conference in October 2021 addressed the results of the latest research in the field of formal methods. A volume of conference proceedings with over 30 articles covering a wide range of formal methods has now been published for this online conference: starting from the verification of hardware, parallel and distributed systems as well as neuronal networks, right through to machine learning and decision-making procedures. This volume provides a fascinating insight into revolutionary methods, technologies, theoretical results and tools for formal logic in computer systems and system developments.

Author: Shengchao Qin
Publisher: Springer Nature
ISBN: 3030912655
Category : Computers
Languages : en
Pages : 327

View

Book Description
This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021. The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.

Author: Stephanie Weirich
Publisher: Springer Nature
ISBN: 303157267X
Category :
Languages : en
Pages : 462

View

Book Description

Author: Thais Batista
Publisher: Springer Nature
ISBN: 3031368894
Category : Computers
Languages : en
Pages : 492

View

Book Description
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 16th European Conference on Software Architecture, ECSA 2022, held in Prague, Czech Republic, in September 2022. The 26 full papers presented together with 4 short papers and 2 tutorial papers in this volume were carefully reviewed and selected from 61 submissions. Papers presented were accepted into the following tracks and workshops: Industry track; Tools and Demonstrations Track; Doctoral Symposium; Tutorials; 8th International Workshop on Automotive System/Software Architectures (WASA); 5th Context-Aware, Autonomous and Smart Architectures International Workshop (CASA); 6th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS); 3rd Workshop on Systems, Architectures, and Solutions for Industry 4.0 (SASI4); 2nd International Workshop on Designing and Measuring Security in Software Architectures (DeMeSSA); 2nd International Workshop on Software Architecture and Machine Learning (SAML); 9th Workshop on Software Architecture Erosion and Architectural Consistency (SAEroCon); 2nd International Workshop on Mining Software Repositories for Software Architecture (MSR4SA); and 1st International Workshop on Digital Twin Architecture (TwinArch).

Author: Nobuko Yoshida
Publisher: Springer Nature
ISBN: 3030720195
Category : Computers
Languages : en
Pages : 693

View

Book Description
This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

Author: Edgar Roman-Rangel
Publisher: Springer Nature
ISBN: 3030770044
Category : Computers
Languages : en
Pages : 380

View

Book Description
This book constitutes the proceedings of the 13th Mexican Conference on Pattern Recognition, MCPR 2021, which was planned to be held in Mexico City, Mexico, in June 2021. The conference was instead held virtually. The 35 papers presented in this volume were carefully reviewed and selected from 75 submissions. They are organized in the following topical sections: artificial intelligence techniques and recognition; pattern recognition techniques; neural networks and deep learning; computer vision; image processing and analysis; and medical applications of pattern recognition.