Author: IEEE Staff
Publisher:
ISBN: 9781728117614
Category :
Languages : en
Pages :
Book Description
ICSE is the premier forum for researchers to present and discuss the most recent innovations, trends, outcomes, experiences, and challenges in the field of software engineering The scope is broad and includes all original and unpublished results of empirical, conceptual, experimental, and theoretical software engineering research
2019 IEEE ACM 41st International Conference on Software Engineering Software Engineering in Practice (ICSE SEIP)
Author: IEEE Staff
Publisher:
ISBN: 9781728117614
Category :
Languages : en
Pages :
Book Description
ICSE is the premier forum for researchers to present and discuss the most recent innovations, trends, outcomes, experiences, and challenges in the field of software engineering The scope is broad and includes all original and unpublished results of empirical, conceptual, experimental, and theoretical software engineering research
Publisher:
ISBN: 9781728117614
Category :
Languages : en
Pages :
Book Description
ICSE is the premier forum for researchers to present and discuss the most recent innovations, trends, outcomes, experiences, and challenges in the field of software engineering The scope is broad and includes all original and unpublished results of empirical, conceptual, experimental, and theoretical software engineering research
2019 IEEE/ACM 41st International Conference on Software Engineering
Author:
Publisher:
ISBN: 9781728108698
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN: 9781728108698
Category :
Languages : en
Pages :
Book Description
Fundamentals of Software Engineering
Author: Hossein Hojjat
Publisher: Springer Nature
ISBN: 3030892476
Category : Computers
Languages : en
Pages : 235
Book Description
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in May 2021. The 12 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 38 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on coordination, logic, networks, parallel computation, and testing.
Publisher: Springer Nature
ISBN: 3030892476
Category : Computers
Languages : en
Pages : 235
Book Description
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in May 2021. The 12 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 38 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on coordination, logic, networks, parallel computation, and testing.
Software Engineering for Robotics
Author: Ana Cavalcanti
Publisher: Springer Nature
ISBN: 3030664945
Category : Computers
Languages : en
Pages : 483
Book Description
The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics and regulation. In terms of techniques, there are results on model-based engineering, product lines, mission specification, component-based development, simulation, testing, and proof. Applications range from manufacturing to service robots, to autonomous vehicles, and even robots than evolve in the real world. A final chapter summarizes issues on ethics and regulation based on discussions from a panel of experts. The origin of this book is a two-day event, entitled RoboSoft, that took place in November 2019, in London. Organized with the generous support of the Royal Academy of Engineering and the University of York, UK, RoboSoft brought together more than 100 scientists, engineers and practitioners from all over the world, representing 70 international institutions. The intended readership includes researchers and practitioners with all levels of experience interested in working in the area of robotics, and software engineering more generally. The chapters are all self-contained, include explanations of the core concepts, and finish with a discussion of directions for further work. Chapters 'Towards Autonomous Robot Evolution', 'Composition, Separation of Roles and Model-Driven Approaches as Enabler of a Robotics Software Ecosystem' and 'Verifiable Autonomy and Responsible Robotics' are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Publisher: Springer Nature
ISBN: 3030664945
Category : Computers
Languages : en
Pages : 483
Book Description
The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics and regulation. In terms of techniques, there are results on model-based engineering, product lines, mission specification, component-based development, simulation, testing, and proof. Applications range from manufacturing to service robots, to autonomous vehicles, and even robots than evolve in the real world. A final chapter summarizes issues on ethics and regulation based on discussions from a panel of experts. The origin of this book is a two-day event, entitled RoboSoft, that took place in November 2019, in London. Organized with the generous support of the Royal Academy of Engineering and the University of York, UK, RoboSoft brought together more than 100 scientists, engineers and practitioners from all over the world, representing 70 international institutions. The intended readership includes researchers and practitioners with all levels of experience interested in working in the area of robotics, and software engineering more generally. The chapters are all self-contained, include explanations of the core concepts, and finish with a discussion of directions for further work. Chapters 'Towards Autonomous Robot Evolution', 'Composition, Separation of Roles and Model-Driven Approaches as Enabler of a Robotics Software Ecosystem' and 'Verifiable Autonomy and Responsible Robotics' are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Software Quality: Future Perspectives on Software Engineering Quality
Author: Dietmar Winkler
Publisher: Springer Nature
ISBN: 3030658546
Category : Computers
Languages : en
Pages : 162
Book Description
This book constitutes the refereed proceedings of the 13th Software Quality Days Conference, SWQD 2021, which was planned to be held in Vienna, Austria, during January 19–21, 2021. Due to the COVID-19 pandemic, the conference was cancelled and will be merged with SWQD 2022. The Software Quality Days (SWQD) conference started in 2009 and has grown to the biggest conference on software quality in Europe with a strong community. The program of the SWQD conference is designed to encompass a stimulating mixture of practical presentations and new research topics in scientific presentations. The guiding conference topic of the SWQD 2021 is “Future Perspectives on Software Engineering Quality”. The 3 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 13 submissions. The volume also contains 2 invited talks and one introductory paper for an interactive session. The contributions were organized in topical sections named: automation in software engineering; quality assurance for AI-based systems; machine learning applications; industry-academia collaboration; and experimentation in software engineering.
Publisher: Springer Nature
ISBN: 3030658546
Category : Computers
Languages : en
Pages : 162
Book Description
This book constitutes the refereed proceedings of the 13th Software Quality Days Conference, SWQD 2021, which was planned to be held in Vienna, Austria, during January 19–21, 2021. Due to the COVID-19 pandemic, the conference was cancelled and will be merged with SWQD 2022. The Software Quality Days (SWQD) conference started in 2009 and has grown to the biggest conference on software quality in Europe with a strong community. The program of the SWQD conference is designed to encompass a stimulating mixture of practical presentations and new research topics in scientific presentations. The guiding conference topic of the SWQD 2021 is “Future Perspectives on Software Engineering Quality”. The 3 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 13 submissions. The volume also contains 2 invited talks and one introductory paper for an interactive session. The contributions were organized in topical sections named: automation in software engineering; quality assurance for AI-based systems; machine learning applications; industry-academia collaboration; and experimentation in software engineering.
Evaluation of Novel Approaches to Software Engineering
Author: Hermann Kaindl
Publisher: Springer Nature
ISBN: 3031641825
Category :
Languages : en
Pages : 356
Book Description
Publisher: Springer Nature
ISBN: 3031641825
Category :
Languages : en
Pages : 356
Book Description
2019 IEEE ACM 41st International Conference on Software Engineering Software Engineering in Society (ICSE SEIS)
Author: IEEE Staff
Publisher:
ISBN: 9781728117638
Category :
Languages : en
Pages :
Book Description
ICSE is the premier forum for researchers to present and discuss the most recent innovations, trends, outcomes, experiences, and challenges in the field of software engineering The scope is broad and includes all original and unpublished results of empirical, conceptual, experimental, and theoretical software engineering research
Publisher:
ISBN: 9781728117638
Category :
Languages : en
Pages :
Book Description
ICSE is the premier forum for researchers to present and discuss the most recent innovations, trends, outcomes, experiences, and challenges in the field of software engineering The scope is broad and includes all original and unpublished results of empirical, conceptual, experimental, and theoretical software engineering research
Proceedings of the Future Technologies Conference (FTC) 2021, Volume 1
Author: Kohei Arai
Publisher: Springer Nature
ISBN: 3030899063
Category : Technology & Engineering
Languages : en
Pages : 1020
Book Description
This book covers a wide range of important topics including but not limited to Technology Trends, Computing, Artificial Intelligence, Machine Vision, Communication, Security, e-Learning, and Ambient Intelligence and their applications to the real world. The sixth Future Technologies Conference 2021 was organized virtually and received a total of 531 submissions from academic pioneering researchers, scientists, industrial engineers, and students from all over the world.. After a double-blind peer review process, 191 submissions have been selected to be included in these proceedings. One of the meaningful and valuable dimensions of this conference is the way it brings together a large group of technology geniuses in one venue to not only present breakthrough research in future technologies, but also to promote discussions and debate of relevant issues, challenges, opportunities and research findings. We hope that readers find the book interesting, exciting, and inspiring; it provides the state-of-the-art intelligent methods and techniques for solving real-world problems along with a vision of the future research.
Publisher: Springer Nature
ISBN: 3030899063
Category : Technology & Engineering
Languages : en
Pages : 1020
Book Description
This book covers a wide range of important topics including but not limited to Technology Trends, Computing, Artificial Intelligence, Machine Vision, Communication, Security, e-Learning, and Ambient Intelligence and their applications to the real world. The sixth Future Technologies Conference 2021 was organized virtually and received a total of 531 submissions from academic pioneering researchers, scientists, industrial engineers, and students from all over the world.. After a double-blind peer review process, 191 submissions have been selected to be included in these proceedings. One of the meaningful and valuable dimensions of this conference is the way it brings together a large group of technology geniuses in one venue to not only present breakthrough research in future technologies, but also to promote discussions and debate of relevant issues, challenges, opportunities and research findings. We hope that readers find the book interesting, exciting, and inspiring; it provides the state-of-the-art intelligent methods and techniques for solving real-world problems along with a vision of the future research.
Fundamental Approaches to Software Engineering
Author: Esther Guerra
Publisher: Springer Nature
ISBN: 3030715000
Category : Computers
Languages : en
Pages : 373
Book Description
This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions.
Publisher: Springer Nature
ISBN: 3030715000
Category : Computers
Languages : en
Pages : 373
Book Description
This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions.
Advances in Information and Communication
Author: Kohei Arai
Publisher: Springer Nature
ISBN: 3031540530
Category :
Languages : en
Pages : 721
Book Description
Publisher: Springer Nature
ISBN: 3031540530
Category :
Languages : en
Pages : 721
Book Description