This book constitutes the first part of refereed proceedings of the 5th Computational Methods in Systems and Software 2021 (CoMeSySo 2021). The CoMeSySo 2021 Conference is breaking the barriers, being held online. CoMeSySo 2021 intends to provide an international forum for the discussion of the latest high-quality research results. The software engineering, computer science, and artificial intelligence are crucial topics for the research within an intelligent systems problem domain.
This book presents the latest research on software engineering application in informatics. The fields of software engineering, informatics, computer science, and artificial intelligence are critical for study in the intelligent systems issue space. This is the first part of the refereed proceedings of the 6th Computational Methods in Systems and Software 2022 (CoMeSySo 2022). The CoMeSySo 2022 conference, which is being hosted online, is breaking down barriers. CoMeSySo 2021 aims to provide a worldwide venue for debate of the most recent high-quality research findings.
Professionals in the interdisciplinary field of computer science focus on the design, operation, and maintenance of computational systems and software. Methodologies and tools of engineering are utilized alongside computer applications to develop efficient and precise information databases. Computer Systems and Software Engineering: Concepts, Methodologies, Tools, and Applications is a comprehensive reference source for the latest scholarly material on trends, techniques, and uses of various technology applications and examines the benefits and challenges of these computational developments. Highlighting a range of pertinent topics such as utility computing, computer security, and information systems applications, this multi-volume book is ideally designed for academicians, researchers, students, web designers, software developers, and practitioners interested in computer systems and software engineering.
Software engineering is a basic concept in the digital age. The seamless operation of a website is integral to the functioning of businesses, education, government services, and personal communications. As a foundation of our online interactions, a website must be meticulously crafted to provide an outstanding user experience supported by an innovative user interface. It is essential to explore core services required to host, manage, and access a secure modern website. Design and Implementation of Software Engineering for Modern Web Applications serves as a comprehensive guide to understanding the technologies and methodologies essential for designing, developing, and maintaining modern, secure websites. From domain structures and domain name systems to web protocols, database servers, and web browsers are introduced to the network concepts critical to server technologies. Covering topics such as requirements engineering, web applications, and website management, this book is an essential resource for postgraduate students, educators, web developers, researchers, academicians, and more.
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours. The second part offers specification and testing methods for formal development of software, based on the modelling languages CASL and UML. The third part takes the reader into the application domains of normative documents, human machine interfaces, and security. Use of notations and formalisms is uniform throughout the book. Topics and features: Explains foundations, and introduces specification, verification, and testing methods Explores various application domains Presents realistic and practical examples, illustrating concepts Brings together contributions from highly experienced educators and researchers Offers modelling and analysis methods for formal development of software Suitable for graduate and undergraduate courses in software engineering, this uniquely practical textbook will also be of value to students in informatics, as well as to scientists and practical engineers, who want to learn about or work more effectively with formal theories and methods. Markus Roggenbach is a Professor in the Dept. of Computer Science of Swansea University. Antonio Cerone is an Associate Professor in the Dept. of Computer Science of Nazarbayev University, Nur-Sultan. Bernd-Holger Schlingloff is a Professor in the Institut für Informatik of Humboldt-Universität zu Berlin. Gerardo Schneider is a Professor in the Dept. of Computer Science and Engineering of University of Gothenburg. Siraj Ahmed Shaikh is a Professor in the Institute for Future Transport and Cities of Coventry University. The companion site for the book offers additional resources, including further material for selected chapters, prepared lab classes, a list of errata, slides and teaching material, and virtual machines with preinstalled tools and resources for hands-on experience with examples from the book. The URL is: https://sefm-book.github.io
This book constitutes the proceedings of the 11th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2018, held in St. Petersburg, Russia, in October 2018. The 29 full papers presented in this volume were carefully reviewed and selected from 74 submissions. They were organized in topical sections named: role of programming and algorithmics in informatics for pupils of all ages; national concepts of teaching informatics; teacher education in informatics; contests and competitions in informatics; socio-psychological aspects of teaching informatics; and computer tools in teaching and studying informatics.
The book is addressed to young people interested in computer technologies and computer science. The objective of this book is to provide the reader with all the necessary elements to get him or her started in the modern field of informatics and to allow him or her to become aware of the relationship between key areas of computer science. The book is addressed not only to future software developers, but also to all who are interested in computing in a widely understood sense. The authors also expect that some computer professionals will want to review this book to lift themselves above the daily grind and to embrace the excellence of the whole field of computer science. Unlike existing books, this one bypasses issues concerning the construction of computers and focuses only on information processing. Recognizing the importance of the human factor in information processing, the authors intend to present the theoretical foundations of computer science, software development rules, and some business aspects of informatics in non-technocratic, humanistic terms.
This book summarizes the new research results presented at the 12th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2018), which took place on August 27–30, 2018 on the island of Corfu, Greece. The JCKBSE is a well-established international biennial conference that focuses on the applications of Artificial Intelligence in Software Engineering. The JCKBSE 2018 was organized by the Department of Informatics of the University of Piraeus, the Department of Computer and Information Engineering of Nippon Institute of Technology, and the Department of Informatics of Ionian University. The book will benefit not only experts and researchers in the field of (Knowledge-Based) Software Engineering, but also general readers in the fields of Artificial Intelligence, Computational Intelligence and Computer Science who wish to learn more about the field of (Knowledge-Based) Software Engineering and its applications. An extensive list of bibliographic references at the end of each paper encourages readers to probe further into the application areas that interest them most.
Evolving technological advancements in big data, smartphone and mobile software applications, the Internet of Things and a vast range of application areas in all sorts of human activities and professions, lead current research toward the efficient incorporation of artificial intelligence enhancements into software and the empowerment of software with artificial intelligence. The book at hand, devoted to Smart Software Applications in Cyber-Physical Systems, constitutes the second volume of a two-volume Handbook on Artificial Intelligence-empowered Applied Software Engineering. Topics include very significant advances in Smart Software Applications in (i) Scientific Document Processing, (ii) Enterprise Modeling, (iii) Education, (iv) Health care and Medicine, and (v) Infrastructure Monitoring. Professors, researchers, scientists, engineers, and students in artificial intelligence, software engineering, and computer science-related disciplines are expected to benefit from it, along with interested readers from other disciplines.
The latest advancements in software engineering are featured in this book, which contains the refereed proceedings of the part of the 12th Computer Science Online Conference 2023 (CSOC 2023), held online in April 2023. The software engineering research in system science session is focusing on the importance of software engineering in the field of system science. This section provides a platform for researchers to share their insights on modern research methodologies, machine learning, and statistical learning techniques in software engineering research. The session provides a unique opportunity for researchers and industry experts to explore the latest trends in software engineering and inspire future research directions. This session brings together experts from different fields to present their research and discuss the latest challenges and opportunities. One of the key themes of this session is the application of artificial intelligence in software engineering. Researchers are exploring how techniques can be used to automate various aspects of software engineering, such as testing, debugging, and maintenance. This helps improve the quality and efficiency of software development processes.
