2018 International Symposium On Theoretical Aspects Of Software Engineering Tase

Author : IEEE Staff
Publisher : Unknown
Page : 128 pages
File Size : 52,5 Mb
Release : 2018-08-29
Category : Electronic
ISBN : 1538673061

Get Book

2018 International Symposium on Theoretical Aspects of Software Engineering (TASE) by IEEE Staff Pdf

Modern society is increasingly dependent on software systems that are becoming larger and more complex This poses new challenges to the various aspects of software engineering, for instance, software dependability in trusted computing, interaction with physical components in cyber physical systems, distribution in cloud computing applications, etc Hence, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects TASE 2018 aims to provide a forum for people from academia and industry to communicate their latest results on theoretical advances in software engineering

Author : Cristina David,Meng Sun
Publisher : Springer Nature
Page : 375 pages
File Size : 47,8 Mb
Release : 2023-06-26
Category : Computers
ISBN : 9783031352577

Get Book

Theoretical Aspects of Software Engineering by Cristina David,Meng Sun Pdf

This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4–6, 2023. The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems; object-oriented systems; quantum computing; formal verification and program semantics; static analysis; formal methods; verification and testing for AI systems; and AI for formal methods.

Author : Anonim
Publisher : Unknown
Page : 128 pages
File Size : 53,8 Mb
Release : 2016
Category : Computer software
ISBN : 1509017631

Get Book

The 10th International Symposium on Theoretical Aspects of Software Engineering by Anonim Pdf

Author : Wei-Ngan Chin,Zhiwu Xu
Publisher : Springer
Page : 0 pages
File Size : 52,7 Mb
Release : 2024-08-09
Category : Computers
ISBN : 3031646258

Get Book

Theoretical Aspects of Software Engineering by Wei-Ngan Chin,Zhiwu Xu Pdf

This book constitutes the refereed proceedings of the 18th International Symposium on Theoretical Aspects of Software Engineering, TASE 2024, held in Guiyang, China, during July 29–August 1, 2024. The 24 full papers, 2 short papers, 1 invited abstract and 1 invited papers were carefully selected from 76 submissions. The papers presented new results on innovative advances in software engineering, as well as the latest developments in formal and theoretical software engineering methods and techniques.

Author : Shengchao Qin,Jim Woodcock,Wenhui Zhang
Publisher : Springer Nature
Page : 327 pages
File Size : 48,8 Mb
Release : 2021-11-18
Category : Computers
ISBN : 9783030912659

Get Book

Dependable Software Engineering. Theories, Tools, and Applications by Shengchao Qin,Jim Woodcock,Wenhui Zhang Pdf

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 : Fritz Henglein,Sharon Shoham,Yakir Vizel
Publisher : Springer Nature
Page : 608 pages
File Size : 47,6 Mb
Release : 2021-01-11
Category : Computers
ISBN : 9783030670672

Get Book

Verification, Model Checking, and Abstract Interpretation by Fritz Henglein,Sharon Shoham,Yakir Vizel Pdf

This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021. The conference was planned to take place in Copenhagen, Denmark, but changed to an online event due to the COVID-19 pandemic. The 23 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. The papers presented in this volume were organized in the following topical sections: hyperproperties and infinite-state systems; concurrent and distributed systems; checking; synthesis and repair; applications; and decision procedures.

Author : Yamine Aït-Ameur,Florin Crăciun
Publisher : Springer Nature
Page : 441 pages
File Size : 52,6 Mb
Release : 2022-07-01
Category : Computers
ISBN : 9783031103636

Get Book

Theoretical Aspects of Software Engineering by Yamine Aït-Ameur,Florin Crăciun Pdf

This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest developments in in formal and theoretical software engineering methods and techniques.

Author : Wolfgang Böhm,Manfred Broy,Cornel Klein,Klaus Pohl,Bernhard Rumpe,Sebastian Schröck
Publisher : Springer Nature
Page : 404 pages
File Size : 41,5 Mb
Release : 2020-12-14
Category : Computers
ISBN : 9783030621360

Get Book

Model-Based Engineering of Collaborative Embedded Systems by Wolfgang Böhm,Manfred Broy,Cornel Klein,Klaus Pohl,Bernhard Rumpe,Sebastian Schröck Pdf

This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology. In order to manage the high complexity of the individual systems and the dynamically formed interaction structures at runtime, advanced and powerful development methods are required that extend the current state of the art in the development of embedded systems and cyber-physical systems. The methodological contributions of the project support the effective and efficient development of CESs in dynamic and uncertain contexts, with special emphasis on the reliability and variability of individual systems and the creation of networks of such systems at runtime. The project was funded by the German Federal Ministry of Education and Research (BMBF), and the case studies are therefore selected from areas that are highly relevant for Germany’s economy (automotive, industrial production, power generation, and robotics). It also supports the digitalization of complex and transformable industrial plants in the context of the German government's "Industry 4.0" initiative, and the project results provide a solid foundation for implementing the German government's high-tech strategy "Innovations for Germany" in the coming years.

Author : Yamine Ait-Ameur,Shengchao Qin
Publisher : Springer Nature
Page : 543 pages
File Size : 42,5 Mb
Release : 2019-10-28
Category : Computers
ISBN : 9783030324094

Get Book

Formal Methods and Software Engineering by Yamine Ait-Ameur,Shengchao Qin Pdf

This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods.

Author : Ilsun You,Hwankuk Kim,Taek-Young Youn,Francesco Palmieri,Igor Kotenko
Publisher : Springer Nature
Page : 428 pages
File Size : 45,5 Mb
Release : 2022-01-22
Category : Computers
ISBN : 9789811695766

Get Book

Mobile Internet Security by Ilsun You,Hwankuk Kim,Taek-Young Youn,Francesco Palmieri,Igor Kotenko Pdf

This book constitutes the refereed proceedings of the 5th International Symposium on Mobile Internet Security, MobiSec 2021, held in Jeju Island, Republic of Korea, in October 2021. The 28 revised full papers presented were carefully reviewed and selected from 66 submissions. The papers are organized in the topical sections: ​IoT and cyber security; blockchain security; digital forensic and malware analysis; 5G virtual Infrastructure, cryptography and network security.

Author : Jing Sun,Meng Sun
Publisher : Springer
Page : 474 pages
File Size : 47,7 Mb
Release : 2018-11-05
Category : Computers
ISBN : 9783030024505

Get Book

Formal Methods and Software Engineering by Jing Sun,Meng Sun Pdf

This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.

Author : H. Fujita,E. Herrera-Viedma
Publisher : IOS Press
Page : 1058 pages
File Size : 43,8 Mb
Release : 2018-09-18
Category : Computers
ISBN : 9781614999003

Get Book

New Trends in Intelligent Software Methodologies, Tools and Techniques by H. Fujita,E. Herrera-Viedma Pdf

Knowledge-based systems, fully integrated with software, have become essential enablers for both science and commerce. But current software methodologies, tools and techniques are not robust or reliable enough for the demands of a constantly changing and evolving market, and many promising approaches have proved to be no more than case-oriented methods that are not fully automated. This book presents the proceedings of the 17th international conference on New Trends in Intelligent Software Methodology, Tools and Techniques (SoMeT18) held in Granada, Spain, 26-28 September 2018. The SoMeT conferences provide a forum for the exchange of ideas and experience, foster new directions in software development methodologies and related tools and techniques, and focus on exploring innovations, controversies, and the current challenges facing the software engineering community. The 80 selected papers included here are divided into 13 chapters, and cover subjects as diverse as intelligent software systems; medical informatics and bioinformatics; artificial intelligence techniques; social learning software and sentiment analysis; cognitive systems and neural analytics; and security, among other things. Offering a state-of-the-art overview of methodologies, tools and techniques, this book will be of interest to all those whose work involves the development or application of software.

Author : Fabrizio Biondi,Thomas Given-Wilson,Axel Legay
Publisher : Springer Nature
Page : 269 pages
File Size : 47,7 Mb
Release : 2019-10-02
Category : Computers
ISBN : 9783030309237

Get Book

Model Checking Software by Fabrizio Biondi,Thomas Given-Wilson,Axel Legay Pdf

This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019. The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.

Author : Andrey A. Radionov,Vadim R. Gasiyarov
Publisher : Springer Nature
Page : 1296 pages
File Size : 41,7 Mb
Release : 2021-03-31
Category : Technology & Engineering
ISBN : 9783030548148

Get Book

Proceedings of the 6th International Conference on Industrial Engineering (ICIE 2020) by Andrey A. Radionov,Vadim R. Gasiyarov Pdf

This book highlights recent findings in industrial, manufacturing and mechanical engineering, and provides an overview of the state of the art in these fields, mainly in Russia and Eastern Europe. A broad range of topics and issues in modern engineering are discussed, including the dynamics of machines and working processes, friction, wear and lubrication in machines, surface transport and technological machines, manufacturing engineering of industrial facilities, materials engineering, metallurgy, control systems and their industrial applications, industrial mechatronics, automation and robotics. The book gathers selected papers presented at the 6th International Conference on Industrial Engineering (ICIE), held in Sochi, Russia in May 2020. The authors are experts in various fields of engineering, and all papers have been carefully reviewed. Given its scope, the book will be of interest to a wide readership, including mechanical and production engineers, lecturers in engineering disciplines, and engineering graduates.

Author : Xingming Sun,Jinwei Wang,Elisa Bertino
Publisher : Springer Nature
Page : 713 pages
File Size : 41,8 Mb
Release : 2020-09-12
Category : Computers
ISBN : 9789811580864

Get Book

Artificial Intelligence and Security by Xingming Sun,Jinwei Wang,Elisa Bertino Pdf

The 3-volume set CCIS 1252 until CCIS 1254 constitutes the refereed proceedings of the 6th International Conference on Artificial Intelligence and Security, ICAIS 2020, which was held in Hohhot, China, in July 2020. The conference was formerly called “International Conference on Cloud Computing and Security” with the acronym ICCCS. The total of 178 full papers and 8 short papers presented in this 3-volume proceedings was carefully reviewed and selected from 1064 submissions. The papers were organized in topical sections as follows: Part I: artificial intelligence; Part II: artificial intelligence; Internet of things; information security; Part III: information security; big data and cloud computing; information processing.