Formal Methods and Software Engineering

Formal Methods and Software Engineering

Author: Kazuhiro Ogata

Publisher: Springer

Published: 2016-10-31

Total Pages: 503

ISBN-13: 331947846X

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.


Model-Driven Engineering and Software Development

Model-Driven Engineering and Software Development

Author: Slimane Hammoudi

Publisher: Springer Nature

Published: 2020-01-03

Total Pages: 412

ISBN-13: 303037873X

DOWNLOAD EBOOK

This book constitutes thoroughly revised and selected papers from the 7th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019, held in Prague, Czech Republic, in February 2019. The 16 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 76 submissions. They address some of the most relevant challenges being faced by researchers and practitioners in the field of model-driven engineering and software development and cover topics like language design and tooling; programming support tools; code and text generation from models, behavior modeling and analysis; model transformations and multi-view modeling; as well as applications of MDD and its related techniques to cyber-physical systems, cyber security, IoT, autonomous vehicles and healthcare.


Guide to the Software Engineering Body of Knowledge (Swebok(r))

Guide to the Software Engineering Body of Knowledge (Swebok(r))

Author: IEEE Computer Society

Publisher:

Published: 2014

Total Pages: 348

ISBN-13: 9780769551661

DOWNLOAD EBOOK

In the Guide to the Software Engineering Body of Knowledge (SWEBOK(R) Guide), the IEEE Computer Society establishes a baseline for the body of knowledge for the field of software engineering, and the work supports the Society's responsibility to promote the advancement of both theory and practice in this field. It should be noted that the Guide does not purport to define the body of knowledge but rather to serve as a compendium and guide to the knowledge that has been developing and evolving over the past four decades. Now in Version 3.0, the Guide's 15 knowledge areas summarize generally accepted topics and list references for detailed information. The editors for Version 3.0 of the SWEBOK(R) Guide are Pierre Bourque (Ecole de technologie superieure (ETS), Universite du Quebec) and Richard E. (Dick) Fairley (Software and Systems Engineering Associates (S2EA)).


New Perspectives in Software Engineering

New Perspectives in Software Engineering

Author: Jezreel Mejia

Publisher: Springer Nature

Published: 2020-11-06

Total Pages: 378

ISBN-13: 3030633292

DOWNLOAD EBOOK

This book contains a selection of papers from the 2020 International Conference on Software Process Improvement (CIMPS 20), held between the 21st and 23rd of October in Mazatlán, Sinaloa, México. The CIMPS 20 is a global forum for researchers and practitioners that present and discuss the most recent innovations, trends, results, experiences and concerns in the several perspectives of Software Engineering with clear relationship but not limited to software processes, Security in Information and Communication Technology and Big Data Field. The main topics covered are: Organizational Models, Standards and Methodologies, Software Process Improvement, Knowledge Management, Software Systems, Applications and Tools, Information and Communication Technologies and Processes in Non-software Domains (mining, automotive, aerospace, business, health care, manufacturing, etc.) with a demonstrated relationship to Software Engineering Challenges.


Proceedings of the 3rd International Conference on Management Science and Software Engineering (ICMSSE 2023)

Proceedings of the 3rd International Conference on Management Science and Software Engineering (ICMSSE 2023)

Author: Abdul Rauf

Publisher: Springer Nature

Published: 2023-11-06

Total Pages: 1197

ISBN-13: 9464632623

DOWNLOAD EBOOK

This is an open access book.The 3rd International Conference on Management Science and Software Engineering (ICMSSE 2023) is to be held on July 21-23, 2023 at Qingdao, China. ICMSSE is China's annual conference since 2021. It was held in Chengdu, Chongqing from 2021 to 2022. Every year, there are many attendees from Asia, Europe, America, etc., and quite a few well-known experts give plenary speeches. Management science and engineering is a discipline that comprehensively uses systems science, management science, mathematics, economics and behavioral science and engineering methods, combined with information technology to study and solve management problems in society, economy, engineering and other aspects. In addition to the current situation of management science at home and abroad discussed in the first two sessions, this session realized that with the development of science and technology, the intersection of disciplines, coupled with the continuous expansion of the field of management science and engineering research, for online risk management (ERB, BRP system) and virtual organizations, virtual enterprises, etc., will become the focus of management science and engineering research in the future. This conference will also conduct in-depth research on these aspects, hoping to further promote the economic development of enterprises and provide them for their development. more clear direction and guidance.


Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud

Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud

Author: Dietmar Winkler

Publisher: Springer

Published: 2019-01-07

Total Pages: 176

ISBN-13: 3030057674

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 11th Software Quality Days Conference, SWQD 2019, held in Vienna, Austria, in January 2019. 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 2019 is “The Complexity and Challenges of Software Engineering and Software Quality in the Cloud”. The 5 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 17 submissions. The volume also contains 2 invited talks. The contributions were organized in topical sections named: multi-disciplinary systems and software engineering; software quality and process improvement; software testing; knowledge engineering and machine learning; source code analysis; and software maintenance.


Evaluation of Novel Approaches to Software Engineering

Evaluation of Novel Approaches to Software Engineering

Author: Raian Ali

Publisher: Springer Nature

Published: 2021-02-26

Total Pages: 503

ISBN-13: 3030700062

DOWNLOAD EBOOK

This book constitutes selected, revised and extended papers of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2020, held in virtual format, in May 2020. The 19 revised full papers presented were carefully reviewed and selected from 96 submissions. The papers included in this book contribute to the understanding of relevant trends of current research on novel approaches to software engineering for the development and maintenance of systems and applications, specically with relation to: model-driven software engineering, requirements engineering, empirical software engineering, service-oriented software engineering, business process management and engineering, knowledge management and engineering, reverse software engineering, software process improvement, software change and configuration management, software metrics, software patterns and refactoring, application integration, software architecture, cloud computing, and formal methods.