Software Engineering

This book collects high-quality papers on the latest fundamental advances in the state of the art and practice of industrial economics study and industrial security engineering, providing insights tha

The book discusses why information security is needed and how security problems can have widespread impacts. The book will also investigate concepts of systems engineering and how these concepts will

Structural and stress analysis is a core topic in a range of engineering disciplines – from structural engineering through to mechanical and aeronautical engineering and materials science.This novel t

Electrical, Control Engineering and Computer Science includes the papers from ECECS2015 (Hong Kong, 30-31 May 2015), which was organized by the American Society of Science and Engineering (ASEE), a no

Material Science and Environmental Engineering presents novel and fundamental advances in the fields of material science and environmental engineering, and will prove to be a valuable reference book t

This book discusses the main legal questions raised by free and open source software (FOSS) licenses and other alternative license models, such as Creative Commons. The legal questions raised by FOSS

This book analyzes Africa's current performance in Science, Technology, Engineering and Math (STEM) research, as well as future trends. It looks at Africa’s research performance over a decade, what it

Written by dedicated educators who are also real-life engineers with a passion for the discipline,Engineering Fluid Mechanics, 11th Edition, carefully guides students from fundamental fluid mechanics

Recent developments in information processing systems have driven the advancement of computational methods in the engineering realm. New models and simulations enable better solutions for problem-solv

This book presents the fundamentals of concrete surface engineering, applying them to a variety of typical concrete repairs and surface treatments. It serves as a leading-edge resource for practicing

These are the proceedings of the International Conference on Engineering Science and Production Management, 16th – 17th April 2015, Tatranska ?trba, High Tatras Mountains - Slovak Republic . The proce

This textbook focuses specifically on the combined topics of irrigation and drainage engineering. It emphasizes both basic concepts and practical applications of the latest technologies available. The

This book includes the original, peer reviewed research from the 3rd International Conference on Intelligent Technologies and Engineering Systems (ICITES2014), held in December, 2014 at Cheng Shiu Uni

This book deals with in-situ tests that are performed in geotechnics to identify and characterize the soil. These measurements are then used to size the Civil Engineering worksThis book is intended fo

Geotechnical Engineering Calculations and Rules of Thumb, Second Edition, offers geotechnical, civil and structural engineers a concise, easy-to-understand approach to selecting the right formula and

As tissue engineering, real-time biosensors, and lab-on-a-chip applications for monitoring and modeling become more widespread, it is important to provide a concise overview of theoretical and practic

Written by dedicated educators who are also real-life engineers with a passion for the discipline,Engineering Fluid Mechanics, 11th Edition, carefully guides students from fundamental fluid mechanics

This text is an unbound, binder-ready edition.Callister and Rethwisch’s Fundamentals of Materials Science and Engineering 4th Edition continues to take the integrated approach to the organization of t

This book provides a fundamental and practical introduction to Enterprise Engineering, demonstrating how to employ this approach to map the essence of an organization at the core level of internal coo

The proceeding is a collection of research papers presented at the 2nd International Colloquium on Sports Science, Exercise, Engineering and Technology (ICoSSEET2015), a conference dedicated to addres

How did somebody come up with the idea for bridges, skyscrapers, helicopters, and nightlights? How did people figure out how to build them?In 3D Engineering: Design and Build Your Own Prototypes, youn

How did somebody come up with the idea for bridges, skyscrapers, helicopters, and nightlights? How did people figure out how to build them?In 3D Engineering: Design and Build Your Own Prototypes, youn

This book represents a collection of papers presented at the 2015 International Conference on Advanced Material Engineering (AME 2015), held in Guangzhou, China. With the rapid development of industry

For ‘Recent Progress in Brain and Cognitive Engineering’Brain and Cognitive Engineering is a converging study field to derive a better understanding of cognitive information processing in the human br

This is the first book to show the capabilities of Microsoft Excel to teach engineering statistics effectively. It is a step-by-step exercise-driven guide for students and practitioners who

This book provides readers with modern computational techniques for solving variety of problems from electrical, mechanical, civil and chemical engineering. Mathematical methods are presented in a uni

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.

The 2015 International Conference on Energy Equipment Science and Engineering (ICEESE 2015) was held on May 30-31, 2015 in Guangzhou, China. ICEESE 2015 has gathered innovative academics and industry

Assuming only the most basic knowledge of the physics of fluids, this book aims to equip the reader with a sound understanding of fluid power systems and their uses in practical engineering. In line w

A practical and in-depth guide to materials selection, welding techniques, and procedures,Applied Welding Engineering: Processes, Codes and Standards, provides expert advice for complying with interna

You're a software engineer: you're great with computer languages, compilers, debuggers, and algorithms. But is that really all you need to be a successful software engineer? You certainly want these s

This book presents selected papers from the 3rd International Workshop on Computational Engineering held in Stuttgart from October 6 to 10, 2014, bringing together innovative contributions from relate

WITNESS HOW people have changed the world with their hands and brains over more than 10,000 years from the Stone Ages to the present day. This unique history of science and engineering includes a 2 me

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with

This textbook provides a comprehensive introduction to chemical process engineering, linking the fundamental theory and concepts to the industrial day-to-day practice. It closes the gap between the ch

This volume aims to describe clearly and in detail the key practical skills involved in cartilage tissue engineering. Methods are outlined for isolation and expansion of chondrocytes and stem cells; d

The most popular specialist mechanical units of the BTEC National Engineering in one book!Clear, full colour layout and numerous examples, activities, quizzes and review questions with answers make it

The Engineering Approach to Winter Sports presents the state-of-the-art research in the field of winter sports in a harmonized and comprehensive way for a diverse audience of engineers, equipment and

The 9th International Conference on Bioinformatics and Biomedical Engineering (iCBBE 2015) was held on September 18-20, 2015, Shanghai, China. This proceedings volume assembles papers from various pro