- Table View
- List View
Software Design for Resilient Computer Systems
by Igor Schagaev Eugene Zouev Kaegi ThomasThis book addresses the question of how system software should be designed to account for faults, and which fault tolerance features it should provide for highest reliability. With this second edition of Software Design for Resilient Computer Systems the book is thoroughly updated to contain the newest advice regarding software resilience. With additional chapters on computer system performance and system resilience, as well as online resources, the new edition is ideal for researchers and industry professionals.The authors first show how the system software interacts with the hardware to tolerate faults. They analyze and further develop the theory of fault tolerance to understand the different ways to increase the reliability of a system, with special attention on the role of system software in this process. They further develop the general algorithm of fault tolerance (GAFT) with its three main processes: hardware checking, preparation for recovery, and the recovery procedure. For each of the three processes, they analyze the requirements and properties theoretically and give possible implementation scenarios and system software support required. Based on the theoretical results, the authors derive an Oberon-based programming language with direct support of the three processes of GAFT. In the last part of this book, they introduce a simulator, using it as a proof of concept implementation of a novel fault tolerant processor architecture (ERRIC) and its newly developed runtime system feature-wise and performance-wise. Due to the wide reaching nature of the content, this book applies to a host of industries and research areas, including military, aviation, intensive health care, industrial control, and space exploration.
Software Designers in Action: A Human-Centric Look at Design Work
by André van der Hoek Marian PetreSoftware Designers in Action: A Human-Centric Look at Design Work examines how developers actually perform software design in their day-to-day work. The book offers a comprehensive look at early software design, exploring the work of professional designers from a range of different viewpoints. Divided into four sections, it discusses various theore
Software Due Diligence: Softwareentwicklung als Asset bewertet
by Christian DemantDieses praxisnahe Buch gibt einen Einblick in die Besonderheiten und vermeintlichen Geheimnisse der Softwareentwicklung. Dabei werden Methoden aufgezeigt, um die in der Softwareentwicklung versteckten Verm#65533;genswerte zu ermitteln und transparent zu machen. Software durchdringt immer mehr Bereiche in Industrie und Wirtschaft. IT-Management und Softwareentwicklung, die aktuell vielerorts noch als reine Unterst#65533;tzungs-Funktionen betrachtet werden, k#65533;nnten sich im Zuge der Digitalisierung in den n#65533;chsten Jahren in vielen Unternehmen zu Kernkompetenzen entwickeln. Um hierf#65533;r die aus unternehmerischer Sicht richtigen Weichenstellungen vornehmen zu k#65533;nnen, ist eine Positionsbestimmung die Voraussetzung. Die Zielgruppen Das Buch richtet sich an Wirtschaftspr#65533;fer, Steuerberater, Investoren, Business-Angels, M&A-Verantwortliche bei Banken sowie Inhaber und Gesch#65533;ftsf#65533;hrer von Softwareunternehmen oder Unternehmen, in denen die Softwareentwicklung einen wesentlichen Beitrag zur Wertsch#65533;pfung liefert.
Software Engineering: A Practitioner's Approach
by Bruce R. Maxim Roger S. PressmanFor almost four decades, Software Engineering: A Practitioner's Approach (SEPA) has been the world's leading textbook in software engineering. The ninth edition represents a major restructuring and update of previous editions, solidifying the book's position as the most comprehensive guide to this important subject.
Software Engineering and Algorithms: Proceedings of 10th Computer Science On-line Conference 2021, Vol. 1 (Lecture Notes in Networks and Systems #230)
by Radek SilhavyThis book constitutes the refereed proceedings of the Software Engineering and Algorithms section of the 10th Computer Science On-line Conference 2021 (CSOC 2021), held on-line in April 2021. Software engineering research and its applications to intelligent algorithms take an essential role in computer science research. In this book, modern research methods, application of machine and statistical learning in the software engineering research are presented.
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers (Lecture Notes in Computer Science #12524)
by Loek Cleophas Mieke MassinkThis volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 15 full papers presented together with 8 short papers in this volume were carefully reviewed and selected from a total of 35 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops: ASYDE 2020: Second International Workshop on Automated and Verifiable Software System Development; CIFMA 2020: Second International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and CoSim-CPS 2020: Fourth International Workshop on Formal Co-Simulation of Cyber-Physical Systems. Due to the Corona pandemic this event was held virtually.
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers (Lecture Notes in Computer Science #13230)
by Antonio Cerone Marco Autili Alessio Bucaioni Cláudio Gomes Pierluigi Graziani Maurizio Palmieri Marco Temperini Gentiane VentureThis volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6–10, 2021.The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks.SEFM 2021 presents the following four workshops:CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems;OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology;ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem Development.Due to the Corona pandemic this event was held virtually.
Software Engineering and Management: Volume 16 (Studies in Computational Intelligence #1137)
by Roger LeeThe book reports state of the art results in Software Engineering Research, Management & Applications in both printed and electronic form. SCI (Studies in Computation Intelligence) has grown into the most comprehensive computational intelligence research forum available in the world.This volume published original papers on both theory and practice that address foundations, state of the art problems and solutions, and crucial challenges.
Software Engineering Application in Informatics: Proceedings of 5th Computational Methods in Systems and Software 2021, Vol. 1 (Lecture Notes in Networks and Systems #232)
by Radek Silhavy Petr Silhavy Zdenka ProkopovaThis 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.
Software Engineering Application in Systems Design: Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1 (Lecture Notes in Networks and Systems #596)
by Radek Silhavy Petr Silhavy Zdenka ProkopovaThis 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.
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (Studies in Computational Intelligence #1012)
by Roger LeeThis book presents scientific results of the 22nd ACIS International Fall Virtual Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2021-Fall) which was held on November 24–26, 2021, at Taichung, Taiwan. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. Research results about all aspects (theory, applications and tools) of computer and information science, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them.The conference organizers selected the best papers from those papers accepted for presentation at the conference. The papers were chosen based on review scores submitted by members of the program committee and underwent further rigorous rounds of review. From this second round of review, 13 of most promising papers are then published in this Springer (SCI) book and not the conference proceedings. We impatiently await the important contributions that we know these authors will bring to the field of computer and information science.
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (Studies in Computational Intelligence #1074)
by Roger LeeThis book presents scientific results of the 23rd ACIS International Summer Virtual Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2022-Summer) which was held on July 4-6, 2022, at Kyoto City, Japan. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. Research results about all aspects (theory, applications, and tools) of computer and information science and to discuss the practical challenges encountered along the way and the solutions adopted to solve them. The conference organizers selected the best papers from those papers accepted for presentation at the workshop. The papers were chosen based on review scores submitted by members of the program committee and underwent further rigorous rounds of review. From this second round of review, 15 of most promising papers are then published in this Springer (SCI) book and not the conference proceedings. We impatiently await the important contributions that we know these authors will bring to the field of computer and information science.
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing: Volume 17 (Studies in Computational Intelligence #1153)
by Roger LeeThis book reports state-of-the-art results in Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing. This edited book presents original papers on both theory and practice. It addresses foundations, state-of-the-art problems and solutions, and crucial challenges.
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (Studies in Computational Intelligence #951)
by Roger Lee Jong Bae KimThis edited book presents scientific results of the 21st ACIS International Winter Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2021-Winter) which was held on January 28–30, at Ho Chi Minh City, Vietnam. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way and research results about all aspects (theory, applications, and tools) of computer and information science, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them.The conference organizers selected the best papers from those papers accepted for presentation at the conference. The papers were chosen based on review scores submitted by members of the program committee and underwent further rigorous rounds of review. From this second round of review, 18 of most promising papers are then published in this Springer (SCI) book and not the conference proceedings. We impatiently await the important contributions that we know these authors will bring to the field of computer and information science.
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2022-Winter (Studies in Computational Intelligence #1086)
by Roger LeeThis edited book presents scientific results of the 24th ACIS International Winter Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2022-Summer) which was held on December 7–9, 2022, at Taichung, Taiwan. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. The conference organizers selected the best papers from those papers accepted for presentation at the workshop. The papers were chosen based on review scores submitted by members of the program committee and underwent further rigorous rounds of review. From this second round of review, 15 of the most promising papers are then published in this Springer (SCI) book and not the conference proceedings.
Software Engineering for Automotive Systems: Principles and Applications
by P. SivakumarSoftware Engineering for Automotive Systems: Principles and Applications discusses developments in the field of software engineering for automotive systems. This reference text presents detailed discussion of key concepts including timing analysis and reliability, validation and verification of automotive systems, AUTOSAR architecture for electric vehicles, automotive grade Linux for connected cars, open-source architecture in the automotive software industry, and communication protocols in the automotive software development process. Aimed at senior undergraduate and graduate students in the fields of electrical engineering, electronics and communication engineering, and automobile engineering, this text: Provides the fundamentals of automotive software architectures. Discusses validation and verification of automotive systems. Covers communication protocols in the automotive software development process. Discusses AUTOSAR architecture for electric vehicles. Examines open-source architecture in the automotive software industry.
Software Engineering for Image Processing Systems
by Philip A. LaplanteSoftware Engineering for Image Processing Systems creates a modern engineering framework for the specification, design, coding, testing, and maintenance of image processing software and systems. The text is designed to benefit not only software engineers, but also workers with backgrounds in mathematics, the physical sciences, and other engineering
Software Engineering in IoT, Big Data, Cloud and Mobile Computing (Studies in Computational Intelligence #930)
by Haengkon Kim Roger LeeThis edited book presents scientific results of the International Semi-Virtual Workshop on Software Engineering in IoT, Big data, Cloud and Mobile Computing (SE-ICBM 2020) which was held on October 15, 2020, at Soongsil University, Seoul, Korea. The aim of this workshop was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. Research results about all aspects (theory, applications and tools) of computer and information science, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them. The workshop organizers selected the best papers from those papers accepted for presentation at the workshop. The papers were chosen based on review scores submitted by members of the program committee and underwent further rigorous rounds of review. From this second round of review, 17 of the conference’s most promising papers are then published in this Springer (SCI) book and not the conference proceedings. We impatiently await the important contributions that we know these authors will bring to the field of computer and information science.
Software Engineering in the Era of Cloud Computing (Computer Communications and Networks)
by Muthu Ramachandran Zaigham MahmoodThis book focuses on the development and implementation of cloud-based, complex software that allows parallelism, fast processing, and real-time connectivity. Software engineering (SE) is the design, development, testing, and implementation of software applications, and this discipline is as well developed as the practice is well established whereas the Cloud Software Engineering (CSE) is the design, development, testing, and continuous delivery of service-oriented software systems and applications (Software as a Service Paradigm). However, with the emergence of the highly attractive cloud computing (CC) paradigm, the tools and techniques for SE are changing. CC provides the latest software development environments and the necessary platforms relatively easily and inexpensively. It also allows the provision of software applications equally easily and on a pay-as-you-go basis. Business requirements for the use of software are also changing and there is a need for applications in big data analytics, parallel computing, AI, natural language processing, and biometrics, etc. These require huge amounts of computing power and sophisticated data management mechanisms, as well as device connectivity for Internet of Things (IoT) environments. In terms of hardware, software, communication, and storage, CC is highly attractive for developing complex software that is rapidly becoming essential for all sectors of life, including commerce, health, education, and transportation. The book fills a gap in the SE literature by providing scientific contributions from researchers and practitioners, focusing on frameworks, methodologies, applications, benefits and inherent challenges/barriers to engineering software using the CC paradigm.
Software Engineering Methods Design and Application: Proceedings of 13th Computer Science Online Conference 2024, Volume 1 (Lecture Notes in Networks and Systems #1118)
by Radek Silhavy Petr SilhavyThis book dives into contemporary research methodologies, emphasising the innovative use of machine learning and statistical techniques in software engineering. Exploring software engineering and its integration into system engineering is pivotal in advancing computer science research. It features the carefully reviewed proceedings of the Software Engineering Research in System Science session of the 13th Computer Science Online Conference 2024 (CSOC 2024), held virtually in April 2024.
Software Engineering Methods in Systems and Network Systems: Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 2 (Lecture Notes in Networks and Systems #934)
by Radek Silhavy Petr SilhavyThis book presents cutting-edge research and methodologies in software engineering, specifically focusing on systems and network systems. It showcases novel development approaches and network system optimizations, highlighting the field's dynamic evolution. The book is designed for experts, scholars, and professionals, offering insights and tools crucial for advancing the software engineering landscape. Its diverse content makes it an invaluable resource for seasoned professionals and those new to the field, inspiring and enriching readers' understanding of software engineering's future directions.
Software Engineering Methods in Systems and Network Systems: Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 1 (Lecture Notes in Networks and Systems #909)
by Radek Silhavy Petr SilhavyThis book presents cutting-edge research and methodologies in software engineering, specifically focusing on systems and network systems. It showcases novel development approaches and network system optimizations, highlighting the field's dynamic evolution. The book is designed for experts, scholars, and professionals, offering insights and tools crucial for advancing the software engineering landscape. Its diverse content makes it an invaluable resource for seasoned professionals and those new to the field, inspiring and enriching readers' understanding of software engineering's future directions.
Software Engineering Perspectives and Application in Intelligent Systems: Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 2 (Advances in Intelligent Systems and Computing #465)
by Radek Silhavy Roman Senkerik Zuzana Kominkova Oplatkova Petr Silhavy Zdenka ProkopovaThe volume Software Engineering Perspectives and Application in Intelligent Systems presents new approaches and methods to real-world problems, and in particular, exploratory research that describes novel approaches in the field of Software Engineering. Particular emphasis is laid on modern trends in selected fields of interest. New algorithms or methods in a variety of fields are also presented.The 5th Computer Science On-line Conference (CSOC 2016) is intended to provide an international forum for discussions on the latest research results in all areas related to Computer Science.The addressed topics are the theoretical aspects and applications of Computer Science, Artificial Intelligences, Cybernetics, Automation Control Theory and Software Engineering.
Software Engineering Perspectives in Intelligent Systems: Proceedings of 4th Computational Methods in Systems and Software 2020, Vol.2 (Advances in Intelligent Systems and Computing #1295)
by Radek Silhavy Petr Silhavy Zdenka ProkopovaThis book constitutes the refereed proceedings of the 4th Computational Methods in Systems and Software 2020 (CoMeSySo 2020) proceedings. Software engineering, computer science and artificial intelligence are crucial topics for the research within an intelligent systems problem domain. The CoMeSySo 2020 conference is breaking the barriers, being held online. CoMeSySo 2020 intends to provide an international forum for the discussion of the latest high-quality research results.
Software Engineering Perspectives in Intelligent Systems: Proceedings of 4th Computational Methods in Systems and Software 2020, Vol.1 (Advances in Intelligent Systems and Computing #1294)
by Radek Silhavy Petr Silhavy Zdenka ProkopovaThis book constitutes the refereed proceedings of the 4th Computational Methods in Systems and Software 2020 (CoMeSySo 2020) proceedings. Software engineering, computer science and artificial intelligence are crucial topics for the research within an intelligent systems problem domain. The CoMeSySo 2020 conference is breaking the barriers, being held online. CoMeSySo 2020 intends to provide an international forum for the discussion of the latest high-quality research results.