Kategoria BISAC: Computers >> Software Development & Engineering - General

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023.

The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.

The 196 papers were selected from the 829 submissions for the Research Track, and 58 papers were selected from the 239 submissions for the Applied Data Science Track. 

The volumes are organized in topical sections as follows:

Part I: Active Learning; Adversarial Machine Learning; Anomaly Detection; Applications;...

The book Large-Scale Agile Frameworks provides practical solutions for cross-team and cross-functional prioritization of requirements and documentation for enterprises. It reflects the interplay of current technology trends such as cloud computing and organizational requirements for microservices. Organizations are increasingly required to align their IT strategy with customer needs for customer-centric and service-oriented products and services. 

The book analyzes the unique requirements of a differentiated software service offering and shows how agile principles are effective...

The 196 papers were selected from the 829 submissions for the Research Track, and 58 papers were selected from the 239 submissions for the Applied Data Science Track. 

The volumes are organized in topical sections as follows:

Part I: Active Learning; Adversarial Machine Learning; Anomaly Detection;...

This book constitutes the refereed proceedings of the XXIInd International Conference on AIxIA 2023 – Advances in Artificial Intelligence, AIxIA 2023, held in Rome, Italy, during November 6–10, 2023.

The 33 full papers  included in this book were carefully reviewed and selected from 53 submissions. They were organized in topical sections as follows: Argumentation and Logic Programming, Natural Language Processing, Machine Learning, Hybrid AI and Applications of AI.