- Table View
- List View
Software Engineering and Methodology for Emerging Domains: 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers (Communications in Computer and Information Science #861)
by Ming Li Zheng Li Minghui Zhou He Jiang Ge LiThis book constitutes the thoroughly refereed proceedings of the 16th National Conference, NASAC 2017, held in Harbin, China, in November 2017, and the 17th National Conference, NASAC 2018, held in Shenzhen, China, in November 2018. The 6 revised selected papers were selected from 17 submissions for NASAC 2017, and 5 revised selected papers were selected from 20 submissions for NASAC 2018. The papers focus on all aspects of software engineering, e.g. requirements engineering, software methodologies, software analytics, software testing and evolution, and empirical studies.
Software Engineering: The Current Practice (Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series)
by Vaclav RajlichThis text teaches students basic software engineering skills and helps practitioners refresh their knowledge and explore recent developments in the field, including software changes and iterative processes of software development. The book discusses the software change and its phases, including concept location, impact analysis, refactoring, actualization, and verification. It then covers the most common iterative processes: agile, directed, and centralized processes. The text also journeys through the initial development of software from scratch to the final stages that lead toward software closedown.
Software Essentials: Design and Construction (Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series)
by Adair DingleWinner of a 2015 Alpha Sigma Nu Book Award, Software Essentials: Design and Construction explicitly defines and illustrates the basic elements of software design and construction, providing a solid understanding of control flow, abstract data types (ADTs), memory, type relationships, and dynamic behavior. This text evaluates the benefits and overhe
Software Failure Investigation
by Jan Eloff Madeleine Bihina BellaThis book reviews existing operational software failure analysis techniques and proposes near-miss analysis as a novel, and new technique for investigating and preventing software failures. The authors provide details on how near-miss analysis techniques focus on the time-window before the software failure actually unfolds, so as to detect the high-risk conditions that can lead to a major failure. They detail how by alerting system users of an upcoming software failure, the detection of near misses provides an opportunity to collect at runtime failure-related data that is complete and relevant. They present a near-miss management systems (NMS) for detecting upcoming software failures, which can contribute significantly to the improvement of the accuracy of the software failure analysis. A prototype of the NMS is implemented and is discussed in the book. The authors give a practical hands-on approach towards doing software failure investigations by means of near-miss analysis that is of use to industry and academia
Software Fault Detection and Correction: Modeling and Applications (SpringerBriefs in Computer Science)
by Yu Liu Rui Peng Yan-Fu LiThis 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 Methodologies: A Quantitative Guide
by Capers JonesThis comprehensive reference uses a formal and standard evaluation technique to show the strengths and weakness of more than 60 software development methodologies such as agile, DevOps, RUP, Waterfall, TSP, XP and many more. Each methodology is applied to an application of 1000 function points using the Java language. Each methodology produces a characteristic set of results for development schedules, productivity, costs, and quality. The intent of the book is to show readers the optimum kinds of methodologies for the projects they are concerned with and to warn them about counter indications and possible harm from unsuitable methodologies.
Software Metrics: A Rigorous and Practical Approach, Third Edition (Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series)
by Norman Fenton James BiemanA Framework for Managing, Measuring, and Predicting Attributes of Software Development Products and ProcessesReflecting the immense progress in the development and use of software metrics in the past decades, Software Metrics: A Rigorous and Practical Approach, Third Edition provides an up-to-date, accessible, and comprehensive introduction to soft
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 Hoang Pham P. C. Jha P. K. Kapur A. GuptaSoftware 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 Growth Models (Infosys Science Foundation Series)
by David D. Hanagal Nileema N. BhaleraoThis book presents the basic concepts of software reliability growth models (SRGMs), ranging from fundamental to advanced level. It discusses SRGM based on the non-homogeneous Poisson process (NHPP), which has been a quite successful tool in practical software reliability engineering. These models consider the debugging process as a counting process characterized by its mean value function. Model parameters have been estimated by using either the maximum likelihood method or regression. NHPP SRGMs based on inverse Weibull, generalized inverse Weibull, extended inverse Weibull, generalized extended inverse Weibull, and delayed S-shaped have been focused upon. Review of literature on SRGM has been included from the scratch to recent developments, applicable in artificial neural networks, machine learning, artificial intelligence, data-driven approaches, fault-detection, fault-correction processes, and also in random environmental conditions. This book is designed for practitioners and researchers at all levels of competency, and also targets groups who need information on software reliability engineering.
Software Reliability Modeling
by Shigeru YamadaSoftware reliability is one of the most important characteristics of software product quality. Its measurement and management technologies during the software product life cycle are essential to produce and maintain quality/reliable software systems. Part 1 of this book introduces several aspects of software reliability modeling and its applications. Hazard rate and nonhomogeneous Poisson process (NHPP) models are investigated particularly for quantitative software reliability assessment. Further, imperfect debugging and software availability models are discussed with reference to incorporating practical factors of dynamic software behavior. Three software management problems are presented as application technologies of software reliability models: the optimal software release problem, the statistical testing-progress control, and the optimal testing-effort allocation problem. Part 2 of the book describes several recent developments in software reliability modeling and their applications as quantitative techniques for software quality/reliability measurement and assessment. The discussion includes a quality engineering analysis of human factors affecting software reliability during the design review phase, which is the upper stream of software development, as well as software reliability growth models based on stochastic differential equations and discrete calculus during the testing phase, which is the lower stream. The final part of the book provides an illustration of quality-oriented software management analysis by applying the multivariate analysis method and the existing software reliability growth models to actual process monitoring data.
Software Test Attacks to Break Mobile and Embedded Devices: Software Test Attacks To Break Mobile And Embedded Devices (Chapman And Hall/crc Innovations In Software Engineering And Software Development Ser. #6)
by Jon Duncan HagarAddress Errors before Users Find ThemUsing a mix-and-match approach, Software Test Attacks to Break Mobile and Embedded Devices presents an attack basis for testing mobile and embedded systems. Designed for testers working in the ever-expanding world of "smart" devices driven by software, the book focuses on attack-based testing that can be used by
Software for Exascale Computing - SPPEXA 2016-2019 (Lecture Notes in Computational Science and Engineering #136)
by Hans-Joachim Bungartz Wolfgang E. Nagel Philipp Neumann Severin Reiz Benjamin UekermannThis 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.
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.
Sojourns And Extremes of Stochastic Processes
by Simeon BermanSojourns and Extremes of Stochastic Processes is a research monograph in the area of probability theory. During the past thirty years Berman has made many contributions to the theory of the extreme values and sojourn times of the sample functions of broad classes of stochastic processes. These processes arise in theoretical and applied models, and are presented here in a unified exposition.
Sojourns in Probability Theory and Statistical Physics - I: Spin Glasses and Statistical Mechanics, A Festschrift for Charles M. Newman (Springer Proceedings in Mathematics & Statistics #298)
by Vladas SidoraviciusCharles M. (Chuck) Newman has been a leader in Probability Theory and Statistical Physics for nearly half a century. This three-volume set is a celebration of the far-reaching scientific impact of his work. It consists of articles by Chuck’s collaborators and colleagues across a number of the fields to which he has made contributions of fundamental significance. This publication was conceived during a conference in 2016 at NYU Shanghai that coincided with Chuck's 70th birthday.The sub-titles of the three volumes are: I. Spin Glasses and Statistical MechanicsII. Brownian Web and PercolationIII. Interacting Particle Systems and Random Walks The articles in these volumes, which cover a wide spectrum of topics, will be especially useful for graduate students and researchers who seek initiation and inspiration in Probability Theory and Statistical Physics.
Sojourns in Probability Theory and Statistical Physics - II: Brownian Web and Percolation, A Festschrift for Charles M. Newman (Springer Proceedings in Mathematics & Statistics #299)
by Vladas SidoraviciusCharles M. (Chuck) Newman has been a leader in Probability Theory and Statistical Physics for nearly half a century. This three-volume set is a celebration of the far-reaching scientific impact of his work. It consists of articles by Chuck’s collaborators and colleagues across a number of the fields to which he has made contributions of fundamental significance. This publication was conceived during a conference in 2016 at NYU Shanghai that coincided with Chuck's 70th birthday.The sub-titles of the three volumes are:I. Spin Glasses and Statistical MechanicsII. Brownian Web and PercolationIII. Interacting Particle Systems and Random WalksThe articles in these volumes, which cover a wide spectrum of topics, will be especially useful for graduate students and researchers who seek initiation and inspiration in Probability Theory and Statistical Physics.
Sojourns in Probability Theory and Statistical Physics - III: Interacting Particle Systems and Random Walks, A Festschrift for Charles M. Newman (Springer Proceedings in Mathematics & Statistics #300)
by Vladas SidoraviciusCharles M. (Chuck) Newman has been a leader in Probability Theory and Statistical Physics for nearly half a century. This three-volume set is a celebration of the far-reaching scientific impact of his work. It consists of articles by Chuck’s collaborators and colleagues across a number of the fields to which he has made contributions of fundamental significance. This publication was conceived during a conference in 2016 at NYU Shanghai that coincided with Chuck's 70th birthday.The sub-titles of the three volumes are:I. Spin Glasses and Statistical MechanicsII. Brownian Web and PercolationIII. Interacting Particle Systems and Random WalksThe articles in these volumes, which cover a wide spectrum of topics, will be especially useful for graduate students and researchers who seek initiation and inspiration in Probability Theory and Statistical Physics.
Solid Analytic Geometry (Dover Books on Mathematics)
by Abraham Adrian AlbertThe first seven chapters of this concise text provide an exposition of the basic topics of solid analytic geometry and comprise the material for a one-semester course on the subject for undergraduate mathematics majors. The remaining two chapters offer additional material for longer courses or supplementary study. Chapters 1 and 2 contain a treatment of the equations of lines and planes. Subsequent chapters offer an exposition of classical elementary surface and curve theory, a treatment of spheres, and an examination of the classical descriptions of quadric surfaces in standard position. An exploration of the theory of matrices follows, with applications to the three-dimensional case of quadric surfaces. The text concludes with a survey of spherical coordinates and elements of projective geometry.
Solid Geometry with MATLAB Programming (River Publishers Series in Mathematical and Engineering Sciences)
by Nita H. Shah Falguni S. AcharyaSolid geometry is defined as the study of the geometry of three-dimensional solid figures in Euclidean space. There are numerous techniques in solid geometry, mainly analytic geometry and methods using vectors, since they use linear equations and matrix algebra. Solid geometry is quite useful in everyday life, for example, to design different signs and symbols such as octagon shape stop signs, to indicate traffic rules, to design different 3D objects like cubicles in gaming zones, innovative lifts, creative 3D interiors, and to design 3D computer graphics. Studying solid geometry helps students to improve visualization and increase logical thinking and creativity since it is applicable everywhere in day-to-day life. It builds up a foundation for advanced levels of mathematical studies. Numerous competitive exams include solid geometry since its foundation is required to study other branches like civil engineering, mechanical engineering, computer science engineering, architecture, etc. This book is designed especially for students of all levels, and can serve as a fundamental resource for advanced level studies not only in mathematics but also in various fields like engineering, interior design, architecture, etc. It includes theoretical aspects as well as numerous solved examples. The book includes numerical problems and problems of construction as well as practical problems as an application of the respective topic. A special feature of this book is that it includes solved examples using the mathematical tool MATLAB.
Solid State Theory, Volume 1: Basics: Phonons and Electrons in Crystals
by Gerd CzychollThe textbooks “Solid State Theory" give an introduction to the methods, contents and results of modern solid state physics in two volumes. This first volume has the basic courses in theoretical physics as prerequisites, i.e. knowledge of classical mechanics, electrodynamics and, in particular, quantum mechanics and statistical physics is assumed. The formalism of second quantization (occupation number representation), which is needed for the treatment of many-body effects, is introduced and used in the book. The content of the first volume deals with the classical areas of solid state physics (phonons and electrons in the periodic potential, Bloch theorem, Hartree-Fock approximation, density functional theory, electron-phonon interaction). The first volume is already suitable for Bachelor students who want to go beyond the basic courses in theoretical physics and get already familiar with an application area of theoretical physics, e.g. for an elective subject "Theoretical (Solid State) Physics" or as a basis for a Bachelor thesis. Every solid-state physicist working experimentally should also be familiar with the theoretical methods covered in the first volume. The content of the first volume can therefore also be the basis for a module "Solid State Physics" in the Master program in Physics or, together with the content of the 2nd volume, for a module "Theoretical Solid State Physics" or "Advanced Theoretical Physics". The following second volume covers application areas such as superconductivity and magnetism to areas that are current research topics (e.g. quantum Hall effect, high-temperature superconductivity, low-dimensional structures).
Solid State Theory, Volume 2: Applications: Non-equilibrium, Behavior in External Fields, Collective Phenomena
by Gerd CzychollThe present volume 2 covers advanced topics in theoretical solid state physics and thus ties in directly with the fundamentals. Solids in external fields or more generally in non-equilibrium and deviations from the ideal 3-dimensional crystal structure (surfaces, impurities, low-dimensional structures, quantum dots, etc.) are treated. The consideration of collective phenomena such as superconductivity and magnetism complete the presentation. The reader is assumed to have the contents of Volume 1 (electrons and phonons in ideal crystals, Bloch theorem, population number representation or 2nd quantization, electron-electron and electron-phonon interaction) as well as the basic knowledge of general theoretical physics (mechanics, electrodynamics, quantum mechanics, and statistical physics) usually available after a bachelor's degree in physics. Volume 2 is thus ideally suited for students in the master's program in physics who wish to specialize in (experimental or theoretical) solid-state physics. Addressing current topics (e.g., Kondo effect, fractional quantum Hall effect, 2-dimensional crystals such as graphene, giant magnetoresistance effect, and others) provides an optimal transition to modern research.The new edition has been completely revised, expanded with numerous exercises and existing redesigned, with the associated solutions now included in the book.
Solution Techniques for Elementary Partial Differential Equations
by Christian ConstandaSolution Techniques for Elementary Partial Differential Equations, Third Edition remains a top choice for a standard, undergraduate-level course on partial differential equations (PDEs). Making the text even more user-friendly, this third edition covers important and widely used methods for solving PDEs. New to the Third Edition New sections on the series expansion of more general functions, other problems of general second-order linear equations, vibrating string with other types of boundary conditions, and equilibrium temperature in an infinite strip Reorganized sections that make it easier for students and professors to navigate the contents Rearranged exercises that are now at the end of each section/subsection instead of at the end of the chapter New and improved exercises and worked examples A brief Mathematica® program for nearly all of the worked examples, showing students how to verify results by computer This bestselling, highly praised textbook uses a streamlined, direct approach to develop students’ competence in solving PDEs. It offers concise, easily understood explanations and worked examples that allow students to see the techniques in action.
Solution Techniques for Elementary Partial Differential Equations
by Christian Constanda"In my opinion, this is quite simply the best book of its kind that I have seen thus far."—Professor Peter Schiavone, University of Alberta, from the Foreword to the Fourth Edition Praise for the previous editions An ideal tool for students taking a first course in PDEs, as well as for the lecturers who teach such courses."—Marian Aron, Plymouth University, UK "This is one of the best books on elementary PDEs this reviewer has read so far. Highly recommended."—CHOICE Solution Techniques for Elementary Partial Differential Equations, Fourth Edition remains a top choice for a standard, undergraduate-level course on partial differential equations (PDEs). It provides a streamlined, direct approach to developing students’ competence in solving PDEs, and offers concise, easily understood explanations and worked examples that enable students to see the techniques in action. New to the Fourth Edition Two additional sections A larger number and variety of worked examples and exercises A companion pdf file containing more detailed worked examples to supplement those in the book, which can be used in the classroom and as an aid to online teaching
Solution and Characteristic Analysis of Fractional-Order Chaotic Systems
by Kehui Sun Shaobo He Huihai WangThis book highlights the solution algorithms and characteristic analysis methods of fractional-order chaotic systems. Fractal dimensions exist broadly in the study of nature and the development of science and technology. Fractional calculus has become a hot research area in nonlinear science. Fractional-order chaotic systems are an important part of fractional calculus. The book discusses the numerical solution algorithms and characteristic analysis of fractional-order chaotic systems and introduces the techniques to implement the systems with circuits. To facilitate a quick grasp, the authors present examples from their years of work in the appendix. Intended for graduate students and researchers interested in chaotic systems, the book helps one to build a theoretical and experimental foundation for the application of fractional-order chaotic systems.