Software Engineering

Tibor and Eva work at Synapse, a corporation specialised in advanced software engineering. One day, a simple industrial accident throws their lives into chaos. Who is the beautiful mathematician Alici

Boulton, a chief technology officer and part of the Internet Engineering Task Force (IETF), has teamed with Gronowski, a senior software architect in a communications corporation, to write this textbo

This book provides the optimal introduction to MATLAB and Simulink, the primary tools in engineering, science, and industry for simulating dynamic systems. Using the latest versions of the software, t

Understand concepts, create perfect designs, and manage every stage of a project with this thorough guide to Autodesk's powerful civil engineering software. Authored by experts with close ties to Aut

This practical text features computer-aided engineering methods for the design and application of magnetic actuators and sensors, using the latest software tools. John Brauer highlights the use of the

The book addresses software design issues related to methods for the analysis of construction engineering by means of modern CAD (computer-aided design) systems and provides validation for their use.

Suitable for a one-semester course in engineering or computer science programs, this text has hardware and software-oriented topics. It uses examples drawn from commercially available computers. The m

Recent developments in deep learning have put the field center stage for innovation in software engineering. New algorithms and techniques in academia hold promise for many real world problems, and ne

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

The most complete resource for learning AutoCAD Civil 3DMastering AutoCAD Civil 3D is the ultimate guide to the new standard in civil engineering software. With combined experience in both civil engin

In a small software engineering company in England, a game changing algorithm for encrypting data has been invented, which will have far reaching consequences for the fight against terrorism. The Secu

A complete tutorial and reference for AutoCAD Civil 3D 2013Autodesk's Civil 3D is the leading civil engineering software, and this reliable training guide has been thoroughly revised and updated to of

Master the commands, design components, and software tools needed to build a solid foundation in the latest release of the widely used civil engineering program, Autodesk? Civil 3D 2010. Using meanin

Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to impl

Techniques and Tools for Solving Acoustics ProblemsThis is the first book of its kind that describes the use of ANSYS® finite element analysis (FEA) software, and MATLAB® engineering programming softw

MATLAB, a software package for high-performance numerical computation and visualization, is one of the most widely used tools in the engineering field today. Its broad appeal lies in its interactive e

MATLAB, a software package for high-performance numerical computation and visualization, is one of the most widely used tools in the engineering field today. Its broad appeal lies in its interactive e

One of the most significant challenges in the development of embedded and cyber-physical systems is the gap between the disciplines of software and control engineering. In a marketplace, where rapid i

Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings togeth

Making Sense of Design Effective design is at the heart of everything from software development to engineering to architecture. But what do we really know about the design process? What leads to

MATLAB, a software package for high-performance numerical computation and visualization, is one of the most widely used tools in the engineering field today. Its broad appeal lies in its interactive e

Software modernisation or re-engineering as a concept lacks universal clarity. System Building with APL + Win seeks to clarify this problem by identifying the solution to the long term survival of the

An effective manager is one who achieves results and retention. Can you get the job done – whether it be sales, or engineering, or marketing, or operations, or logistics, or software develop

Prepare for your engineering career with this user-friendly guide to the latest release of PTC Creo software. PTC CREO? PARAMETRIC 3.0 walks you step-by-step through the uses, assets, attributes, and

Pete McRae, a robotics software programmer with a background in genetic engineering and neuroscience believes machines, in the very near future, will not only have the ability to think but will also h

Learn software engineering and coding best practices to write Python code right and error free. In this book you’ll see how to properly debug, organize, test, and maintain your code, all of which lead

Pro/Engineer Wildfire 4.0 is one of the most widely used CAD/CAM software programs in the world today. Designed for a one or two semester undergraduate course for first or second year engineering stud

This unique text helps make sense of big data in engineering applications using tools and techniques from signal processing. It presents fundamental signal processing theories and software implementations, reviews current research trends and challenges, and describes the techniques used for analysis, design and optimization. Readers will learn about key theoretical issues such as data modelling and representation, scalable and low-complexity information processing and optimization, tensor and sublinear algorithms, and deep learning and software architecture, and their application to a wide range of engineering scenarios. Applications discussed in detail include wireless networking, smart grid systems, and sensor networks and cloud computing. This is the ideal text for researchers and practising engineers wanting to solve practical problems involving large amounts of data, and for students looking to grasp the fundamentals of big data analytics.

The core of scientific computing is designing, writing, testing, debugging and modifying numerical software for application to a vast range of areas: from graphics, meteorology and chemistry to engineering, biology and finance. Scientists, engineers and computer scientists need to write good code, for speed, clarity, flexibility and ease of re-use. Oliveira and Stewart's style guide for numerical software points out good practices to follow, and pitfalls to avoid. By following their advice, readers will learn how to write efficient software, and how to test it for bugs, accuracy and performance. Techniques are explained with a variety of programming languages, and illustrated with two extensive design examples, one in Fortran 90 and one in C++: other examples in C, C++, Fortran 90 and Java are scattered throughout the book. This manual of scientific computing style will be an essential addition to the bookshelf and lab of everyone who writes numerical software.

‧技術、管理、工具三樣並重 ‧軟體工程新觀點以架構為中心(Architecture-Centeric Software Engineering 簡稱為ACSE) ‧本書說明力求簡單明瞭適合教學 ‧著墨既廣又前瞻軟體工程最佳教材

●技術、管理、工具三樣並重●軟體工程新觀點以架構為中心(Architecture-Centeric Software Engineering 簡稱為ACSE)●本書說明力求簡單明瞭適合教學●著墨既廣又前瞻軟體工程最佳教材

This essential book describes the mathematical formulations and subsequent computer simulations required to accurately project the trajectory of spacecraft and rockets in space, using the formalism of optimal control for minimum-time transfer in general elliptic orbit. The material will aid research students in aerospace engineering, as well as practitioners in the field of spaceflight dynamics, in developing simulation software to carry out trade studies useful in vehicle and mission design. It will teach readers to develop flight software for operational applications in autonomous mode, so to actually transfer space vehicles from one orbit to another. The practical, real-life applications discussed will give readers a clear understanding of the mathematics of orbit transfer, allow them to develop their own operational software to fly missions, and to use the contents as a research tool to carry out even more complex analyses.

The 'go-to' text for non-specialists requiring a serious introduction to radio. Designed for those without a specialist theoretical background in electronic and electromagnetic engineering, it uses a holistic, physics-based approach to describe the theory underpinning radio science and engineering. It covers a wide range of topics, from fundamentals such as radio wave theory, the electronics of radio, antennas, and radio wave propagation, to software radio, spread spectrum, and MIMO. With a wealth of practical exercises and examples accompanying the book online, this is the ideal text for graduate students, professionals and researchers who work on radio systems and need to understand both the science and practice of radio.

This book discusses aircraft flight performance, focusing on commercial aircraft but also considering examples of high-performance military aircraft. The framework is a multidisciplinary engineering analysis, fully supported by flight simulation, with software validation at several levels. The book covers topics such as geometrical configurations, configuration aerodynamics and determination of aerodynamic derivatives, weight engineering, propulsion systems (gas turbine engines and propellers), aircraft trim, flight envelopes, mission analysis, trajectory optimisation, aircraft noise, noise trajectories and analysis of environmental performance. A unique feature of this book is the discussion and analysis of the environmental performance of the aircraft, focusing on topics such as aircraft noise and carbon dioxide emissions.

Intelligent technical systems, which combine mechanical, electrical and software engineering with methods from control engineering and advanced mathematics, go far beyond the state of the art in mechatronics and open up fascinating perspectives. Among these systems are so-called self-optimizing systems, which are able to adapt their behavior autonomously and flexibly to changing operating conditions. The Collaborative Research Center 614 "Self-optimizing concepts and structures in mechanical engineering" pursued the long-term aim to enable others to develop dependable self-optimizing systems. Assuring their dependability poses new challenges. However, self-optimization also offers the possibility to adapt the system's behavior to improve dependability during operation. The aim of this book is to provide methods and techniques to master the challenges and to exploit the possibilities given by self-optimization. The reader will be able to develop self-optimizing systems that fulfill and

This is the first textbook to integrates both general and specific topics, theoretical background and biomedical engineering applications, as well as analytical and numerical approaches. This quantitative approach integrates the classical concepts of mechanics and computational modelling techniques, in a logical progression through a wide range of fundamental biomechanics principles. Online MATLAB-based software along with examples and problems using biomedical applications will motivate undergraduate biomedical engineering students to practise and test their skills. The book covers topics such as kinematics, equilibrium, stresses and strains, and also focuses on large deformations and rotations and non-linear constitutive equations, including visco-elastic behaviour and the behaviour of long slender fibre-like structures. This is the definitive textbook for students.

This 1997 book is a self-contained tutorial on Z, a formal notation for modelling, specifying and designing computer systems and software, for experienced professionals and serious students in programming and software engineering. It presents realistic case studies emphasising safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading.

This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.

The finite element method (FEM) is indispensable in modeling and simulation in various engineering and physical systems, including structural analysis, stress, strain, fluid mechanics, heat transfer, dynamics, eigenproblems, design optimization, sound propagation, electromagnetics, and coupled field problems. This textbook integrates basic theory with real-life, design-oriented problems using ANSYS, the most commonly used computational software in the field. For students as well as practicing engineers and designers, each chapter is highly illustrated and presented in a step-by-step manner. Fundamental concepts are presented in detail with reference to easy to understand worked examples that clearly introduce the method before progressing to more advanced content. Included are step-by-step solutions for project type problems using modelling software, special chapters for modelling and the use of ANSYS and Workbench programs, and extensive sets of problems and projects round out each ch

An original comprehensive guide on computational nanomechanics discussing basic concepts and implications in areas such as computational physics, materials, mechanics and engineering as well as several other interdisciplinary avenues. This book makes the underlying theory accessible to readers without specialised training or extensive background in quantum physics, statistical mechanics, or theoretical chemistry. It combines a careful treatment of theoretical concepts with a detailed tutorial on computer software and computing implementation, including multiscale simulation and computational statistical theory. Multidisciplinary perspectives are provided, yielding a true insight on the applications of computational nanomechanics across diverse engineering fields. The book can serve as a practical guide with step-by-step discussion of coding, example problems and case studies. This book will be essential reading for students new to the subject, as well as an excellent reference for gra