- Table View
- List View
Software Engineering Perspectives in Systems: Proceedings of 11th Computer Science On-line Conference 2022, Vol. 1 (Lecture Notes in Networks and Systems #501)
by Radek SilhavyThe study of software engineering and its applications to system engineering is critical in computer science research. Modern research methodologies, as well as the use of machine and statistical learning in software engineering research, are covered in this book. This book contains the refereed proceedings of the Software Engineering Perspectives in Systems part of the 11th Computer Science On-line Conference 2022 (CSOC 2022), which was held in April 2022 online.
Software Engineering Research in System Science: Proceedings of 12th Computer Science On-line Conference 2023, Volume 1 (Lecture Notes in Networks and Systems #722)
by Radek Silhavy Petr SilhavyThe 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.
Software Engineering Research, Management and Applications (Studies in Computational Intelligence #1053)
by Roger LeeThis edited book presents scientific results of the 20th IEEE/ACIS International Conference on Software Engineering Research, Management, and Applications (SERA2022) held on May 25, 2022, in Las Vegas, USA. 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, 12 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 Reviews and Audits
by Boyd L. SummersAccurate software engineering reviews and audits have become essential to the success of software companies and military and aerospace programs. These reviews and audits define the framework and specific requirements for verifying software development efforts.Authored by an industry professional with three decades of experience, Software Engineerin
Software Engineering Techniques Applied to Agricultural Systems
by Petraq J. Papajorgji Panos M. PardalosSoftware Engineering Techniques Applied to Agricultural Systems presents cutting-edge software engineering techniques for designing and implementing better agricultural software systems based on the object-oriented paradigm and the Unified Modeling Language (UML). The focus is on the presentation of rigorous step-by-step approaches for modeling flexible agricultural and environmental systems, starting with a conceptual diagram representing elements of the system and their relationships. Furthermore, diagrams such as sequential and collaboration diagrams are used to explain the dynamic and static aspects of the software system. This second edition includes: a new chapter on Object Constraint Language (OCL), a new section dedicated to the Model-VIEW-Controller (MVC) design pattern, new chapters presenting details of two MDA-based tools - the Virtual Enterprise and Olivia Nova and a new chapter with exercises on conceptual modeling. It may be highly useful to undergraduate and graduate students as the first edition has proven to be a useful supplementary textbook for courses in mathematical programming in agriculture, ecology, information technology, agricultural operations research methods, agronomy and soil science and applied mathematical modeling. The book has broad appeal for anyone involved in software development projects in agriculture and to researchers in general who are interested in modeling complex systems. From the reviews of the first edition: "The book will be useful for those interested in gaining a quick understanding of current software development techniques and how they are applied in practice. . . this is a good introductory text on the application of OOAD, UML and design patters to the creation of agricultural systems. It is technically sound and well written. " --Computing Reviews, September 2006
Software Fault Detection and Correction: Modeling and Applications (SpringerBriefs in Computer Science)
by Rui Peng Yan-Fu Li Yu LiuThis book focuses on software fault detection and correction processes, presenting 5 different paired models introduced over the last decade and discussing their applications, in particular to determining software release time. The first work incorporates the testing effort function and the fault introduction process into the paired fault detection and fault correction models. The second work incorporates fault dependency, while the third adopts a Markov approach for studying fault detection and correction processes. The fourth work considers the multi-release property of various software, and models fault detection and correction processes. The last work classifies faults into four types and models the fault-detection and correction processes. Enabling readers to familiarize themselves with how software reliability can be modeled when different factors need to be considered, and how the approaches can be used to analyze other systems, the book is important reference guide for researchers in the field of software reliability engineering and practitioners working on software projects. To gain the most from the book, readers should have a firm grasp of the fundamentals of the stochastic process.
Software for Exascale Computing - SPPEXA 2016-2019 (Lecture Notes in Computational Science and Engineering #136)
by Hans-Joachim Bungartz Severin Reiz Benjamin Uekermann Philipp Neumann Wolfgang E. NagelThis open access book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software for Exascale Computing" (SPPEXA) of the German Research Foundation (DFG) presented at the SPPEXA Symposium in Dresden during October 21-23, 2019. In that respect, it both represents a continuation of Vol. 113 in Springer’s series Lecture Notes in Computational Science and Engineering, the corresponding report of SPPEXA’s first funding phase, and provides an overview of SPPEXA’s contributions towards exascale computing in today's sumpercomputer technology. The individual chapters address one or more of the research directions (1) computational algorithms, (2) system software, (3) application software, (4) data management and exploration, (5) programming, and (6) software tools. The book has an interdisciplinary appeal: scholars from computational sub-fields in computer science, mathematics, physics, or engineering will find it of particular interest.
Software im Automobil: Ein maschinell-generierter Literaturüberblick
by Fabian WolfDieses Fach- und Lehrbuch enthält die maschinengenerierten Zusammenfassungen einer Datenbankrecherche zum Thema „Software im Automobil“. Die Vorgabe der Stichworte, die Struktur und die Selektion der Inhalte wurde vom Autor vorgenommen. Darüber hinaus hat der Autor die enthaltenen Artikel durch Einleitungen und Bewertungen in einen übergreifenden Zusammenhang gebracht und kommentiert. Auf diese Weise ist ein Werk entstanden, das Studierenden sowie Berufseinsteigern einen breiten Überblick über das fachliche Feld sowie Hinweise zur weiterführenden Literatur gibt und auf die weitere Arbeit in diesem Bereich vorbereitet.
Software Networks
by Guy PujolleThe goal of this book is to describe new concepts for Internet next generation. This architecture is based on virtual networking using Cloud and datacenters facilities. Main problems concern 1) the placement of virtual resources for opening a new network on the fly, and 2) the urbanisation of virtual resource implemented on physical network equipment. This architecture deals with mechanisms capable of controlling automatically the placement of all virtual resources within the physical network. In this book, we describe how to create and delete virtual networks on the fly. Indeed, the system is able to create any new network with any kind of resource (e.g., virtual switch, virtual routers, virtual LSRs, virtual optical path, virtual firewall, virtual SIP-based servers, virtual devices, virtual servers, virtual access points, and so on). We will show how this architecture is compatible with new advances in SDN (Software Defined Networking), new high-speed transport protocol like TRILL (Transparent Interconnection of Lots of Links) and LISP (Locator/Identifier Separation Protocol), NGN, IMS, Wi-Fi new generation, and 4G/5G networks. Finally, we introduce the Cloud of security and the virtualisation of secure elements (smartcard) that should definitely transform how to secure the Internet.
Software Networks: Virtualization, SDN, 5G, and Security
by Guy PujolleSoftware Networks describe new concepts for the Internet's next generation. This architecture is based on virtual networking using Cloud and datacenter facilities. The main problems to be dealt with are the placement of virtual resources for opening a new network on the fly, and the urbanization of virtual resources implemented on physical network equipment. The digital architecture also deals with mechanisms capable of automatically controlling the placement of all virtual resources within the physical network. This book describes how to create and delete virtual networks on the fly. Indeed, the system is able to create any new network with any kind of virtual resource (e.g. switches, routers, LSRs, optical paths, firewalls, SIP-based servers, devices, servers, access points, etc.). Software Networks shows how this architecture is compatible with new advances in SDN (Software Defined Networking), new high-speed transport protocols such as TRILL (Transparent Interconnection of Lots of Links) and LISP (Locator/Identifier Separation Protocol), NGN, IMS, new generation Wi-Fi, and 4G/5G networks. Finally, the author introduces Clouds of security and the virtualization of secure elements (smartcards) that could certainly transform how to secure the Internet. For this second edition, the author addresses in five new chapters the importance of open source software for networks, mobile edge computing, fog networking, tactile internet – a network environment allowing remote access, and security – the use of Cloud of security, secure elements and the emergence of the blockchain.
Software Patterns, Knowledge Maps, and Domain Analysis
by Mohamed E. Fayad Huascar A. Sanchez Srikanth G.K. Hegde Anshu Basia Ashka VakilSoftware design patterns are known to play a vital role in enhancing the quality of software systems while reducing development time and cost. However, the use of these design patterns has also been known to introduce problems that can significantly reduce the stability, robustness, and reusability of software. This book introduces a new process fo
Software Product Quality Control
by Stefan WagnerQuality is not a fixed or universal property of software; it depends on the context and goals of its stakeholders. Hence, when you want to develop a high-quality software system, the first step must be a clear and precise specification of quality. Yet even if you get it right and complete, you can be sure that it will become invalid over time. So the only solution is continuous quality control: the steady and explicit evaluation of a product's properties with respect to its updated quality goals. This book guides you in setting up and running continuous quality control in your environment. Starting with a general introduction on the notion of quality, it elaborates what the differences between process and product quality are and provides definitions for quality-related terms often used without the required level of precision. On this basis, the work then discusses quality models as the foundation of quality control, explaining how to plan desired product qualities and how to ensure they are delivered throughout the entire lifecycle. Next it presents the main concepts and techniques of continuous quality control, discussing the quality control loop and its main techniques such as reviews or testing. In addition to sample scenarios in all chapters, the book is rounded out by a dedicated chapter highlighting several applications of different subsets of the presented quality control techniques in an industrial setting. The book is primarily intended for practitioners working in software engineering or quality assurance, who will benefit by learning how to improve their current processes, how to plan for quality, and how to apply state-of-the-art quality control techniques. Students and lecturers in computer science and specializing in software engineering will also profit from this book, which they can use in practice-oriented courses on software quality, software maintenance and quality assurance.
Software Quality: Concepts and Practice
by Daniel GalinThe book presents a comprehensive discussion on software quality issues and software quality assurance (SQA) principles and practices, and lays special emphasis on implementing and managing SQA. Primarily designed to serve three audiences; universities and college students, vocational training participants, and software engineers and software development managers, the book may be applicable to all personnel engaged in a software projects Features: A broad view of SQA. The book delves into SQA issues, going beyond the classic boundaries of custom-made software development to also cover in-house software development, subcontractors, and readymade software. An up-to-date wide-range coverage of SQA and SQA related topics. Providing comprehensive coverage on multifarious SQA subjects, including topics, hardly explored till in SQA texts. A systematic presentation of the SQA function and its tasks: establishing the SQA processes, planning, coordinating, follow-up, review and evaluation of SQA processes. Focus on SQA implementation issues. Specialized chapter sections, examples, implementation tips, and topics for discussion. Pedagogical support: Each chapter includes a real-life mini case study, examples, a summary, selected bibliography, review questions and topics for discussion. The book is also supported by an Instructor’s Guide.
Software Quality Assurance
by Claude Y. Laporte Alain AprilThis book introduces Software Quality Assurance (SQA) and provides an overview of standards used to implement SQA. It defines ways to assess the effectiveness of how one approaches software quality across key industry sectors such as telecommunications, transport, defense, and aerospace. Includes supplementary website with an instructor’s guide and solutions Applies IEEE software standards as well as the Capability Maturity Model Integration for Development (CMMI) Illustrates the application of software quality assurance practices through the use of practical examples, quotes from experts, and tips from the authors
Software Radio
by Elettra Venosa Francesco A. Palmieri Fredric J. HarrisThis book describes the design of Software Radio (SWR). Rather than providing an overview of digital signal processing and communications, this book focuses on topics which are crucial in the design and development of a SWR, explaining them in a very simple, yet precise manner, giving simulation results that confirm the effectiveness of the proposed design. Readers will gain in-depth knowledge of key issues so they can actually implement a SWR.
Software Receiver Design: Build Your Own Digital Communications System in Five Easy Steps
by C. Richard Johnson William A. Sethares Andrew G. KleinHave you ever wanted to know how modern digital communications systems work? Find out with this step-by-step guide to building a complete digital radio that includes every element of a typical, real-world communication system. Chapter by chapter, you will create a MATLAB realization of the various pieces of the system, exploring the key ideas along the way, as well as analyzing and assessing the performance of each component. Then, in the final chapters, you will discover how all the parts fit together and interact as you build the complete receiver. In addition to coverage of crucial issues, such as timing, carrier recovery and equalization, the text contains over 400 practical exercises, providing invaluable preparation for industry, where wireless communications and software radio are becoming increasingly important. A variety of extra resources are also provided online, including lecture slides and a solutions manual for instructors.
Software Reliability Assessment with OR Applications
by P. C. Jha P. K. Kapur A. Gupta Hoang PhamSoftware Reliability Assessment with OR Applications is a comprehensive guide to software reliability measurement, prediction, and control. It provides a thorough understanding of the field and gives solutions to the decision-making problems that concern software developers, engineers, practitioners, scientists, and researchers. Using operations research techniques, readers will learn how to solve problems under constraints such as cost, budget and schedules to achieve the highest possible quality level. Software Reliability Assessment with OR Applications is a comprehensive text on software engineering and applied statistics, state-of-the art software reliability modeling, techniques and methods for reliability assessment, and related optimization problems. It addresses various topics, including: unification methodologies in software reliability assessment; application of neural networks to software reliability assessment;software reliability growth modeling using stochastic differential equations;software release time and resource allocation problems; andoptimum component selection and reliability analysis for fault tolerant systems.Software Reliability Assessment with OR Applications is designed to cater to the needs of software engineering practitioners, developers, security or risk managers, and statisticians. It can also be used as a textbook for advanced undergraduate or postgraduate courses in software reliability, industrial engineering, and operations research and management.
Software Reliability Techniques for Real-World Applications (Quality and Reliability Engineering Series)
by Roger K. YoureeSOFTWARE RELIABILITY TECHNIQUES FOR REAL-WORLD APPLICATIONS SOFTWARE RELIABILITY TECHNIQUES FOR REAL-WORLD APPLICATIONS Authoritative resource providing step-by-step guidance for producing reliable software to be tailored for specific projects Software Reliability Techniques for Real-World Applications is a practical, up to date, go-to source that can be referenced repeatedly to efficiently prevent software defects, find and correct defects if they occur, and create a higher level of confidence in software products. From content development to software support and maintenance, the author creates a depiction of each phase in a project such as design and coding, operation and maintenance, management, product production, and concept development and describes the activities and products needed for each. Software Reliability Techniques for Real-World Applications introduces clear ways to understand each process of software reliability and explains how it can be managed effectively and reliably. The book is supported by a plethora of detailed examples and systematic approaches, covering analogies between hardware and software reliability to ensure a clear understanding. Overall, this book helps readers create a higher level of confidence in software products. In Software Reliability Techniques for Real-World Applications, readers will find specific information on: Defects, including where defects enter the project system, effects, detection, and causes of defects, and how to handle defects Project phases, including concept development and planning, requirements and interfaces, design and coding, and integration, verification, and validation Roadmap and practical guidelines, including at the start of a project, as a member of an organization, and how to handle troubled projects Techniques, including an introduction to techniques in general, plus techniques by organization (systems engineering, software, and reliability engineering) Software Reliability Techniques for Real-World Applications is a practical text on software reliability, providing over sixty-five different techniques and step-by-step guidance for producing reliable software. It is an essential and complete resource on the subject for software developers, software maintainers, and producers of software.
Software Similarity and Classification
by Yang Xiang Silvio CesareSoftware similarity and classification is an emerging topic with wide applications. It is applicable to the areas of malware detection, software theft detection, plagiarism detection, and software clone detection. Extracting program features, processing those features into suitable representations, and constructing distance metrics to define similarity and dissimilarity are the key methods to identify software variants, clones, derivatives, and classes of software. Software Similarity and Classification reviews the literature of those core concepts, in addition to relevant literature in each application and demonstrates that considering these applied problems as a similarity and classification problem enables techniques to be shared between areas. Additionally, the authors present in-depth case studies using the software similarity and classification techniques developed throughout the book.
Software Solutions for Engineers and Scientists
by Julio Sanchez Maria P. CantonSoftware requirements for engineering and scientific applications are almost always computational and possess an advanced mathematical component. However, an application that calls for calculating a statistical function, or performs basic differentiation of integration, cannot be easily developed in C++ or most programming languages. In such a case, the engineer or scientist must assume the role of software developer. And even though scientists who take on the role as programmer can sometimes be the originators of major software products, they often waste valuable time developing algorithms that lead to untested and unreliable routines. Software Solutions for Engineers and Scientists addresses the ever present demand for professionals to develop their own software by supplying them with a toolkit and problem-solving resource for developing computational applications. The authors' provide shortcuts to avoid complications, bearing in mind the technical and mathematical ability of their audience.The first section introduces the basic concepts of number systems, storage of numerical data, and machine arithmetic. Chapters on the Intel math unit architecture, data conversions, and the details of math unit programming establish a framework for developing routines in engineering and scientific code. The second part, entitled Application Development, covers the implementation of a C++ program and flowcharting. A tutorial on Windows programming supplies skills that allow readers to create professional quality programs. The section on project engineering examines the software engineering field, describing its common qualities, principles, and paradigms. This is followed by a discussion on the description and specification of software projects, including object-oriented approaches to software development. With the introduction of this volume, professionals can now design effective applications that meet their own field-specific requirements using modern tools and technology.
Softwareentwicklung für Kraftfahrzeuge
by Konrad Reif Fabian WolfIm ersten Teil dieses Lehrbuchs werden Funktions- und Softwareentwicklung für Kraftfahrzeuge eingeführt. Dabei wird auf den Prozess der strukturierten Funktions- und Softwareentwicklung von der Erhebung der Anforderungen über die Softwareerstellung bis zum Test sowie Reifegradmodelle eingegangen.Im zweiten Teil werden diese Prozesse aus Wissenschaft und Lehre mit etablierten Vorgehensweisen aus der industriellen Praxis konkretisiert. Die pragmatische Beschreibung der konkreten Vorgehensweisen ist eine Basis für die Ausgestaltung detaillierter Prozesse im Unternehmensalltag sowie deren tägliche Anwendung im Projektgeschäft.
Softwareentwicklung von Telematikdiensten
by Grit Behrens Volker Kuz Ralph BehrensDas Buch vermittelt einen Einstieg in die Software-Entwicklung von Telematikdiensten mit einem Eclipse-Plugin für das Common Service Framework (Open Source). Ziel ist es, Nutzer dazu zu befähigen, internetbasierte Telematikdienste selbst zu programmieren. Begleitend zum Buch steht ein Internetportal bereit, wo Beispielapplikationen demonstriert, getestet oder weiter entwickelt werden können. Es gibt des Weiteren Einblick in die Hintergründe und die weltweiten Zukunftsentwicklungen auf dem rasant anwachsenden Gebiet der Telematikdienste.
SOI Lubistors: Lateral, Unidirectional, Bipolar-type Insulated-gate Transistors (Wiley - IEEE)
by Yasuhisa OmuraAdvanced level consolidation of the technology, physics and design aspects of silicon-on-insulator (SOI) lubistors No comprehensive description of the physics and possible applications of the Lubistor can be found in a single source even though the Lubistor is already being used in SOI LSIs. The book provides, for the first time, a comprehensive understanding of the physics of the Lubistor. The author argues that a clear understanding of the fundamental physics of the pn junction is essential to allowing scientists and engineers to propose new devices. Since 2001 IBM has been applying the Lubistor to commercial SOI LSIs (large scale integrated devices) used in PCs and game machines. It is a key device in that it provides electrostatic protection to the LSIs. The book explains the device modeling for such applications, and covers the recent analog circuit application of the voltage reference circuit. The author also reviews the physics and the modeling of ideal and non-ideal pn junctions through reconsideration of the Shockley’s theory, offering readers an opportunity to study the physics of pn junction. Pn-junction devices are already applied to the optical communication system as the light emitter and the receiver. Alternatively, optical signal modulators are proposed for coupling the Si optical waveguide with the pn-junction injector. The book also explores the photonic crystal physics and device applications of the Lubistor. Advanced level consolidation of the technology, physics and design aspects of silicon-on-insulator (SOI) lubistors Written by the inventor of the Lubistor, this volume describes the technology for readers to understand the physics and applications of the device First book devoted to the Lubistor transistor, presently being utilized in electrostatic discharge (ESD) applications in SOI technology, a growing market for semiconductor devices and advanced technologies Approaches the topic in a systematic manner, from physical theory, through to modelling, and finally circuit applications This is an advanced level book requiring knowledge of electrical and electronics engineering at graduate level. Contents includes: Concept of Ideal pn Junction/Proposal of Lateral, Unidirectional, Bipolar-Type Insulated-Gate Transistor (Lubistor)/ Noise Characteristics and Modeling of Lubistor/Negative Conductance Properties in Extremely Thin SOI Lubistors/ Two-Dimensionally Confined Injection Phenomena at Low Temperatures in Sub-10-nm-Thick SOI Lubistors/ Experimental Study of Two-Dimensional Confinement Effects on Reverse-Biased Current Characteristics of Ultra-Thin SOI Lubistors/ Gate-Controlled Bipolar Action in Ultra-thin Dynamic Threshold SOI MOSFET/Sub-Circuit Models of SOI Lubistors for Electrostatic Discharge Protection Circuit Design and Their Applications/A New Basic Element for Neural Logic Functions and Functionality in Circuit Applications/Possible Implementation of SOI Lubistors into Conventional Logic Circuits/Potentiality of Electro-Optic Modulator Based on SOI Waveguide/Principles of Parameter Extraction/Feasibility of Lubistor-Based Avalanche Photo Transistor
Soil
by Miroslav Kutílek Donald R. NielsenThe main focus of this monograph is to explain the important role of soil and the environment to a broad audience. Soil is one of the five essential factors crucial for human life. On the one hand the authors describe a responsible approach and use of soil, established on a basic knowledge of the nature of soil and the countless ongoing processes within soil. On the other hand they explain the precarious link between soil and regional environment, which is indispensable for plant and animal communities. In addition to these topics its chapters describe the unique roles of soil texture, soil structure and soil pore systems in hydrologic cycles, plant nutrition and conditions affecting the preservation or eventual extinction of soil. This book concludes with the principles of soil protection and revitalization. General readers with an interest in biology, chemistry, physics or geology will find this book highly informative.
Soil Acidity: Management Options for Higher Crop Productivity (Progress in Soil Science)
by U. C. Sharma M. Datta Vikas SharmaThe book on acid soils offers a thorough analysis of the degree of soil acidity at the global level, information on the biota, chemistry, and behaviour of acid soils, as well as the mechanisms by which plants tolerate soil acidity. It also offers crop management strategies that make effective use of amendments and acid soil-specific crop management practices. Crop output, forest health, and aquatic life all suffer from acidic soil. The main causes are the toxicity of aluminium (Al) and/or manganese (Mn), as well as the deficiencies of calcium (Ca), magnesium (Mg), phosphorus (P), and molybdenum (Mo), to a lesser extent. Lack of calcium affects the health and integrity of cells, which lowers agricultural yield and quality. To achieve the highest crop productivity, management options have been provided. All concerned will find this book of great assistance in solving the global food crisis in a sustainable manner.