The integration of applied intelligence with software has been an essential enabler for science and the new economy, creating new possibilities for a more reliable, flexible and robust society. But current software methodologies, tools, and techniques often fall short of expectations, and are not yet sufficiently robust or reliable for a constantly changing and evolving market. This book presents the proceedings of SoMeT_22, the 21st International Conference on New Trends in Intelligent Software Methodology Tools, and Techniques, held from 20 - 22 September 2022 in Kitakyushu, Japan. The SoMeT conference provides a platform for the exchange of ideas and experience in the field of software technology, with the emphasis on human-centric software methodologies, end-user development techniques, and emotional reasoning for optimal performance. The 58 papers presented here were each carefully reviewed by 3 or 4 referees for technical soundness, relevance, originality, significance and clarity, they were then revised before being selected by the international reviewing committee. The papers are arranged in 9 chapters: software systems with intelligent design; software systems security and techniques; formal techniques for system software and quality assessment; applied intelligence in software; intelligent decision support systems; cyber-physical systems; knowledge science and intelligent computing; ontology in data and software; and machine learning in systems software. The book assembles the work of scholars from the international research community to capture the essence of the new state-of-the-art in software science and its supporting technology, and will be of interest to all those working in the field.

Software is an essential enabler for science and the new economy, but current software methodologies, tools, and techniques are often still not sufficiently robust or reliable for the 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 SoMeT_23, the 22nd International Conference on New Trends in Intelligent Software Methodology, Tools, and Techniques, held from 20–22 September 2023 in Naples, Italy. The conference brings together researchers and practitioners to share original research and practical development experience in software science and related new technologies, and is an opportunity for the software-science community to take stock of where they are today and consider future directions. The 25 papers included here were carefully selected from the many high-quality submissions received after a rigorous review process, with each paper typically being reviewed by 3 or 4 reviewers. Topics covered range from research practices, techniques and methodologies to the solutions required by global business. SoMeT_23 focused in particular on intelligent software, the application of artificial intelligence techniques in software development, and tackling human interaction in the development process for better high-level interface, with an emphasis on human-centric software methodologies, end-user development techniques, and emotional reasoning for an optimum performance between design tool and user. Exploring trends, theories, and challenges in the integration of software and science for tomorrow’s global information society, the book captures a new state-of-the-art in software science and its supporting technology and will be of interest to all those working in the field.

Software is the essential enabling means for science and the new economy. It helps us to create a more reliable, flexible and robust society. But software often falls short of our expectations. Current methodologies, tools, and techniques remain expensive and are not yet sufficiently reliable, while many promising approaches have proved to be no more than case-by-case oriented methods. This book contains extensively reviewed papers from the thirteenth International Conference on New Trends in software Methodology, Tools and Techniques (SoMeT_14), held in Langkawi, Malaysia, in September 2014. The conference provides an opportunity for scholars from the international research community to discuss and share research experiences of new software methodologies and techniques, and the contributions presented here address issues ranging from research practices and techniques and methodologies to proposing and reporting solutions for global world business. The emphasis has been on human-centric software methodologies, end-user development techniques and emotional reasoning, for an optimally harmonized performance between the design tool and the user. Topics covered include the handling of cognitive issues in software development to adapt it to the user's mental state and intelligent software design in software utilizing new aspects on conceptual ontology and semantics reflected on knowledge base system models. This book provides an opportunity for the software science community to show where we are today and where the future may take us.

Software has become an essential enabler for science and the economy. Not only does it create new markets and the possibility of a more reliable, flexible and robust society, it also empowers our exploration of the world in ever increasing depth. However software often falls short of our expectations, with current methodologies, tools and techniques remaining insufficiently robust and reliable for constantly changing and evolving needs. This book presents papers from the 15th International Conference on New Trends in Intelligent Software Methodology Tools and Techniques (SoMeT 16), held in Larnaca, Cyprus, in September 2016. The SoMeT conference focuses on exploring the innovations, controversies and challenges facing the software engineering community, bringing together theory and experience to propose and evaluate solutions to software engineering problems with an emphasis on human-centric software methodologies, end-user development techniques, and emotional reasoning, for an optimally harmonized performance between the design tool and the user. The book is divided into six chapters covering the following areas: decision support systems; software methodologies and tools; requirement engineering; software for biomedicine and bioinformatics; software engineering models, and formal techniques for software representation; and intelligent software development and social networking. The book explores new trends and theories which illuminate the direction of developments in the field, and will be of interest to all in the software science community.

Software methodologies, tools and techniques have become an ever more important part of our lives, and are crucial to the decision-making processes that affect us every day. This book presents papers from the 19th International Conference on New Trends in Intelligent Software Methodology Tools, and Techniques (SoMeT20), held in Kitakyushu, Japan from 22–24 September 2020. The SoMeT conferences bring together researchers and practitioners to share their original research results and experience of practical developments in software science and related new technologies, and this book explores new trends and theories that highlight the direction and development of intelligent software methodologies, tools and techniques. It covers newly developed techniques, enhanced methodologies, software related solutions and recently developed tools, as well as indicating the direction of future research, and the 40 revised papers included here have been selected by the SoMeT20 international reviewing committee on the basis of technical soundness, relevance, originality, significance, and clarity. The book is divided into 5 chapters: artificial intelligence techniques on software engineering, and requirement engineering; software methods for informatics, medical informatics and bio-medicine applications; applied software tools, techniques and related software engineering models; intelligent-software systems design, software quality, software evolution and validation techniques; and knowledge science and intelligent computing. Providing an overview of the state-of-the-art in software science and its supporting technology, this book will be of interest to all those working in the field.

This book constitutes the best papers selection from the proceedings of the 14th International Conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 2015, held in Naples, Italy, in September 2015. The 47 full papers presented together with one short paper were carefully reviewed and selected from 118 submissions. The papers are organized in topical sections on embedded and mobile software systems, theory and application; real-time systems; requirement engineering, high-assurance and testing system; social networks and big data; cloud computing and semantic web; artificial intelligence techniques and intelligent system design; software development and integration; security and software methodologies for reliable software design; new software techniques in image processing and computer graphics; software applications systems for medical health care.

Software has become ever more crucial as an enabler, from daily routines to important national decisions. But from time to time, as society adapts to frequent and rapid changes in technology, software development fails to come up to expectations due to issues with efficiency, reliability and security, and with the robustness of methodologies, tools and techniques not keeping pace with the rapidly evolving market. This book presents the proceedings of SoMeT_19, the 18th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques, held in Kuching, Malaysia, from 23–25 September 2019. The book explores new trends and theories that highlight the direction and development of software methodologies, tools and techniques, and aims to capture the essence of a new state of the art in software science and its supporting technology, and to identify the challenges that such a technology will have to master. The book also investigates other comparable theories and practices in software science, including emerging technologies, from their computational foundations in terms of models, methodologies, and tools. The 56 papers included here are divided into 5 chapters: Intelligent software systems design and techniques in software engineering; Machine learning techniques for software systems; Requirements engineering, software design and development techniques; Software methodologies, tools and techniques for industry; and Knowledge science and intelligent computing. This comprehensive overview of information systems and research projects will be invaluable to all those whose work involves the assessment and solution of real-world software problems.

Software is the essential enabling means for science and the new economy. It helps us to create a more reliable, flexible and robust society. But software often falls short of our expectations. Current methodologies, tools, and techniques remain expensive and are not yet sufficiently reliable, while many promising approaches have proved to be no more than case-by-case oriented methods. This book contains extensively reviewed papers from the eleventh International Conference on New Trends in software Methodology, Tools and Techniques (SoMeT_12), held in Genoa, Italy, in September 2012. The conference provides an opportunity for scholars from the international research community to discuss and share research experiences of new software methodologies and techniques, and the contributions presented here address issues ranging from research practices and techniques and methodologies to proposing and reporting solutions for global world business. The emphasis has been on human-centric software methodologies, end-user development techniques and emotional reasoning, for an optimally harmonized performance between the design tool and the user.Topics covered include the handling of cognitive issues in software development to adapt it to the user's mental state and intelligent software design in software utilizing new aspects on conceptual ontology and semantics reflected on knowledge base system models. This book provides an opportunity for the software science community to show where we are today and where the future may take us.

This book, Advanced Tools and Methods for Treewidth-Based Problem Solving, contains selected results from the author’s PhD studies, which were carried out from 2015 to 2021. For his PhD thesis, Markus Hecher received the EurAI Dissertation Award 2021 and the GI Dissertation Award 2021, amongst others. The aim of the book is to present a new toolkit for using the structural parameter of treewidth to solve problems in knowledge representation and reasoning (KR) and artificial intelligence (AI), thereby establishing both theoretical upper and lower bounds, as well as methods to deal with treewidth efficiently in practice. The key foundations outlined in the book provide runtime lower bounds – under reasonable assumptions in computational complexity – for evaluating quantified Boolean formulas and logic programs which match the known upper bounds already published in 2004 and 2009. The general nature of the developed tools and techniques means that a wide applicability beyond the selected problems and formalisms tackled in the book is anticipated, and it is hoped that the book will serve as a starting point for future theoretical and practical investigations, which will no doubt establish further results and gain deeper insights.

This book presents the proceedings of the International Conference on Computers Communications and Control 2020 (ICCCC2020), covering topics such as theory for computing and communications, integrated solutions in computer-based control, computational intelligence and soft computing, decision-making and support systems. The ICCCC was founded in Romania in 2006, and its eight editions have featured respected keynote speakers and leading computer scientists from around the globe.