Models in Software Engineering

This volume systematically details both the basic principles and new developments in Data Envelopment Analysis (DEA), offering a solid understanding of the methodology, its uses, and its potential. Ne

"Software update is an important mechanism by which security changes and improvements are made in software, and this seemingly simple concept encompasses a wide variety of practices, mechanisms, polic

Software and Hardware Engineering: Assembly and C Programming for the Freescale HCS12 Microcontroller, Second Edition, provides a general-purpose view of software and hardware engineering in microcont

"Requirements engineering is a discipline used primarily for large and complex applications. It is more formal than normal methods of gathering requirements, and this formality is needed for many larg

Software engineering and computer science students need a resource that explains how to apply design patterns at the enterprise level, allowing them to design and implement systems of high stability a

Long a mainstay of manufacturing, industrial engineering has expanded into transportation, health care, logistics, services and nearly every other aspect of doing business. Cassady (industrial enginee

Hidden Markov models have become a widely used class of statistical models with applications in diverse areas such as communications engineering, bioinformatics, finance and many more. This book is a

Building on his highly successful textbook on C++, David Yevick provides a concise yet comprehensive one-stop course in three key programming languages, C++, Java and Octave (a freeware alternative to MATLAB). Employing only public-domain software, this book presents a unique overview of numerical and programming techniques, including object-oriented programming, elementary and advanced topics in numerical analysis, physical system modelling, scientific graphics, software engineering and performance issues. Compact, transparent code in all three programming languages is applied to the fundamental equations of quantum mechanics, electromagnetics, mechanics and statistical mechanics. Uncommented versions of the code that can be immediately modified and adapted are provided online for the more involved programs. This compact, practical text is an invaluable introduction for students in all undergraduate- and graduate-level courses in the physical sciences or engineering that require numer

"This book captures the latest research and innovations and case studies in the field of software development risk management. A number of tools, methods, processes alongside theoretical concepts have

The revolutions in software technology in last few decades require a solid foundation of complex structures. Software architecture is an emerging branch of software engineering which presents a bluepr

Now in its third edition, this classic guide to software requirements engineering has been fully updated with new topics, examples, and guidance. Two leaders in the requirements community have teamed

YOU HAVE TO OWN THIS BOOK!Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code takes an unflinching, no bulls$ look at behavioral problems in the software engineering industry, shedd

This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2014, held in Lisbon, Portugal, in April

This book constitutes the thoroughly refereedproceedings of the 10th International Conference on Evaluation of NovelApproaches to Software Engineering, ENASE 2015, held in Barcelona, Spain, inApril 20

Nowadays embedded and real-time systems contain complex software. The complexity of embedded systems is increasing, and the amount and variety of software in the embedded products are growing. This cr

Software testing is conducted to provide stakeholders with information about the quality of a product under testing. The book, which is a result of the two decades of teaching experience of the author, aims to present testing concepts and methods that can be used in practice. The text will help readers to learn how to find faults in software before it is made available to users. A judicious mix of software testing concepts, solved problems and real-life case studies makes the book ideal for a basic course in software testing. The book will be a useful resource for senior undergraduate/graduate students of engineering, academics, software practitioners and researchers.

Introduction. Reliability Measures. Static Reliability Models. Probabilistic Engineering Design. Combination of Random Variable's in Design. Interference Theory and Reliability Computations. Reliabili

This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full pap

Optimization is used to determine the most appropriate value of variables under given conditions. The primary focus of using optimisation techniques is to measure the maximum or minimum value of a function depending on the circumstances. This book discusses problem formulation and problem solving with the help of algorithms such as secant method, quasi-Newton method, linear programming and dynamic programming. It also explains important chemical processes such as fluid flow systems, heat exchangers, chemical reactors and distillation systems using solved examples. The book begins by explaining the fundamental concepts followed by an elucidation of various modern techniques including trust-region methods, Levenberg–Marquardt algorithms, stochastic optimization, simulated annealing and statistical optimization. It studies the multi-objective optimization technique and its applications in chemical engineering and also discusses the theory and applications of various optimization software

This book constitutes the refereed proceedings of the 6th Software Quality Days Conference (SWQD) held in Vienna, Austria, in January 2014.This professional symposium and conference offers a range of

Gonzalez (computer science, U. of La Laguna, Spain) brings together a group of technology, computer science, software engineering, informatics, and other researchers from Europe, Australia, and South

This book constitutes the thoroughly refereed post-proceedings of the Fourth International Conference on the Quality of Software Architectures, QoSA 2008, held in Medford, MA, USA, in July 2007, in co

In small but growing software companies, the engineering manager is in the unique position of having to deal with the technical team and other senior managers, while at the same time taking direction

"Introduces readers to the science and engineering practices of using models and math in science"--

Based around a theme of the construction of a game engine, this textbook is for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly. This book takes an unusual, engineering-inspired approach to illuminate the creation and verification of large software systems. Where other textbooks discuss business practices through generic project management techniques or detailed rigid logic systems, this book examines the interaction between code in a physical machine and the logic applied in creating the software. These elements create an informal and rigorous study of logic, algebra, and geometry through software. Assuming prior experience with C, C++, or Java programming languages, chapters introduce UML, OCL, and Z from scratch. Extensive worked examples motivate readers to learn the languages through the technical side of software science.

Mathematical modelling is the basis of almost all applied mathematics. A 'real-world' problem is dissected and phrased in a mathematical setting, allowing it to be simplified and ultimately solved. This book presents a thorough grounding in the techniques of modelling, and proceeds to explore a range of classical and continuum models from an impressive array of disciplines, including: biology, chemical engineering, fluid and solid mechanics, geophysics, medicine, and physics. It assumes only a basic mathematical grounding in calculus and analysis and will provide a wealth of examples for students of mathematics, engineering, and the range of applied sciences.

This book presents the latest research developments in geoinformation science, which includes all the sub-disciplines of the subject, such as: geomatic engineering, GIS, remote sensing, digital photog