Systems Engineering Principles for Software Engineers

Practical Guide to International Standardization in Electrical Engineering provides a comprehensive guide to the purpose of standards organizations, their relationship to product development and how t

This book introduces numerical programming using Python and C/C++, emphasizing methods used in physics and engineering. Its helps readers develop the ability to navigate relevant algorithms, knowledge

Requirements Engineering Processes and Techniques Why this book was written The value of introducing requirements engineering to trainee software engineers is to equip them for the real world of softw

Intended for hardware and software engineers who design embedded systems, this dictionary explains the meaning, history, and purpose of the technologies, tools, abbreviations, and terms used in the fi

Russian radio engineers present results of their own theoretical and experimental research, and information from patent and engineering publications about the nature and use of frequency-modulated con

"Provides a cost-effective alternative to Finite Element software tools for soil and structural analysisGiving readers the tools to understand and analyse common problems in structural engineering, fo

Writing for requirements analysts assigned to determine requirements of planned systems and software in computing and engineering, Young (director of engineering process improvement, Northrop Grumman

Offshore Electrical Engineering Manual, Second Edition, is for electrical engineers working on offshore projects who require detailed knowledge of an array of equipment and power distribution systems.

An essential reader containing the 25 most important papers in the development of modern operating systems for computer science and software engineering. The papers illustrate the major breakthroughs

Intended for students in IT, MIS, Software Engineering, and IS Management, this book is designed to enhance student understanding of hardware system architecture. The book is not about the digital cir

With the rise of multi-core architecture, parallel programming is an increasingly important topic for software engineers and computer system designers. Written by well-known researchers Larry Snyder a

Power transfer for large systems depends on high system voltages. The basics of high voltage laboratory techniques and phenomena, together with the principles governing the design of high voltage insu

Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. On

Electric Power Transformer Engineering, Third Edition expounds the latest information and developments to engineers who are familiar with basic principles and applications, perhaps including a hands-o

Audio engineering is a growing field of science that integrates scientific principles and technologies in relation to sound production, recording, processing and mixing. Audio engineers and experts in

Providing an overview of the foundations of engineering from a fundamental scientific and physical perspective, this book reinforces the basic scientific and mathematical principles which underpin a range of engineering disciplines and applications. It covers the basics of physics, including quantum physics, as well as some key topics in chemistry, making it a valuable resource for both students and professionals looking to gain a more coherent and interdisciplinary understanding of engineering systems. Throughout, the focus is on common features of physical systems (such as mechanical and electronic resonance), showing how the same underlying principles apply to different disciplines. Problems are provided at the end of each chapter including conceptual questions and examples to demonstrate the practical application of fundamental scientific principles. These include real-world examples, which are solvable using computational packages such as MATLAB.

Bioengineering is a broad-based engineering discipline that applies engineering principles and design to challenges in human health and medicine, dealing with bio-molecular and molecular processes, pr

This book addresses the impact of the "Action Systems" formal method in Computer Science research. Formal Methods in general address the question of transforming software engineering into a

This reference provides an overview of current research being conducted on the dependability of software-intensive systems, and addresses the most pressing challenges to ensuring that dependability. S

Broadly-scoped requirements such as security, privacy, and response time are a major source of complexity in modern software systems. This is due to their tangled inter-relationships with and effects

This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering Workshop) and WS-FM 2005 (Web Services and Formal Methods) held in V

The engineering field encompasses everything from architectural engineers to food process engineers to flight test engineers, and beyond. But what all engineering jobs have in common is the need for

Principles of Transaction Processing is a clear, concise guide for anyone involved in developing applications, evaluating products, designing systems, or engineering products. This book provides an un

Agachi and Cristea present a graduate or undergraduate textbook on the fundamentals of feedback control systems within process engineering, a field that applies the general principles of chemical engi

This book constitutes the refereed proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2008, held in Budapest, Hungary, in Marc

How can we make sure that the software we build does what it is supposed to? This book provides an insight into established techniques which help developers to overcome the complexity of software development by constructing models of software systems in early design stages. It uses one of the leading formal methods, VDM (Vienna Development Method), and combines training in the formalism with industry-strength tool support and examples derived from real industrial applications. The principles taught here also apply to many of the current generation of formal methods. This second edition has been updated to include advanced online tool support for formal modelling as well as up-to-date reports on real commercial applications in areas as diverse as business information systems and firmware design.

The essential manual for managing global engineering and construction projects and working with multinational project teamsThe first book written for operations-level engineers, constructors, and stud

This book is a practical, user-friendly reference for plastics engineers working with biopolymers and biodegradable plastics addressing topics that are required for the successful development of cohes

Independent-minded professionals such as scientists, programmers, and engineers are the driving forces behind today's technical industry. Accustomed to working alone, these self-reliant individuals pr

The definitive "bible" for the field of biomedical engineering, this collection of volumes is a major reference for all practicing biomedical engineers and students. Now in its fourth edition, this wo

The BIM Manager's Handbook: Guidance for Professionals in Architecture, Engineering, and Construction Building Information Modelling (BIM) is a design and construction software that manages not just g

This engineering textbook is designed to introduce advanced control systems for vehicles, including advanced automotive concepts and the next generation of vehicles for ITS. For each automotive control problem considered, the authors emphasise the physics and underlying principles behind the control system concept and design. This is an exciting and rapidly developing field for which many articles and reports exist but no modern unifying text. An extensive list of references is provided at the end of each chapter for all the topics covered. It is currently the only textbook, including problems and examples, that covers and integrates the topics of automotive powertrain control, vehicle control, and intelligent transportation systems. The emphasis is on fundamental concepts and methods for automotive control systems, rather than the rapidly changing specific technologies. Many of the text examples, as well as the end-of-chapter problems, require the use of MATLAB and/or SIMULINK.

This engineering textbook is designed to introduce advanced control systems for vehicles, including advanced automotive concepts and the next generation of vehicles for ITS. For each automotive control problem considered, the authors emphasise the physics and underlying principles behind the control system concept and design. This is an exciting and rapidly developing field for which many articles and reports exist but no modern unifying text. An extensive list of references is provided at the end of each chapter for all the topics covered. It is currently the only textbook, including problems and examples, that covers and integrates the topics of automotive powertrain control, vehicle control, and intelligent transportation systems. The emphasis is on fundamental concepts and methods for automotive control systems, rather than the rapidly changing specific technologies. Many of the text examples, as well as the end-of-chapter problems, require the use of MATLAB and/or SIMULINK.

Microchemical Engineering in Practice provides the information chemists and engineers need to evaluate the use of microreactors, covering the technical, operational, and economic considerations for va

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

For computer numerical controlled machine (CNC) operators and machine setup personnel, as well as CNC programmers, engineers, small shop owners, instructors, students, and hobbyists, Smid, a consultan

This book teaches model-based analysis and model-based testing, with important new ways to write and analyze software specifications and designs, generate test cases, and check the results of test runs. These methods increase the automation in each of these steps, making them more timely, more thorough, and more effective. Using a familiar programming language, testers and analysts will learn to write models that describe how a program is supposed to behave. The authors work through several realistic case studies in depth and detail, using a toolkit built on the C# language and the .NET framework. Readers can also apply the methods in analyzing and testing systems in many other languages and frameworks. Intended for professional software developers including testers, and for university students, this book is suitable for courses on software engineering, testing, specification, or applications of formal methods.

This book teaches model-based analysis and model-based testing, with important new ways to write and analyze software specifications and designs, generate test cases, and check the results of test runs. These methods increase the automation in each of these steps, making them more timely, more thorough, and more effective. Using a familiar programming language, testers and analysts will learn to write models that describe how a program is supposed to behave. The authors work through several realistic case studies in depth and detail, using a toolkit built on the C# language and the .NET framework. Readers can also apply the methods in analyzing and testing systems in many other languages and frameworks. Intended for professional software developers including testers, and for university students, this book is suitable for courses on software engineering, testing, specification, or applications of formal methods.