Software Engineering

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

"This book is based on a qualitative study that includes dozens of in-depth interviews with experts in the systems engineering field"--

The text gathers recent scholarly studies discussing entrepreneurship opportunities throughout a variety of disciplines. It is divided into four parts, Engineering, Science, and Technology Entrepreneu

The papers contained in this volume were originally presented at the 2015 International Conference on Complex Systems in Business, Administration, Science and Engineering. Included are the latest work

Cognitive Radio Engineering is both a text and a reference book about cognitive radio architecture and implementation. It is intended for readers who want to design and build working cognitive radios.

This book is primarily a guide for professionals and can be used by students of Dynamics. It features 96 real-life problems in dynamics that are common in all engineering fields; including industrial,

Software development is morphing from traditional monolithic releases built by Waterfall development teams into continuous software delivery using Agile project management. Since developers are contin

The book introduces the Tsallis entropy theory to the water engineering community. Due to versatility of the theory and its potential applications (already extensively applied in physics and chemistry

Yates and Castro-Lacouture introduce sustainability and sustainable practices to members of the engineering and construction community, and provide insight into how to design and construct sustainable

This book constitutes the refereed proceedings of the 21th International Conference on Information and Software Technologies, ICIST 2015, held in Druskininkai, Lithuania, in October 2015.The 51 papers

Revised and significantly expanded, the fifth edition of this classic work offers both new and substantially updated information. As the definitive reference on fire protection engineering, this book

This book focuses on various topics related to engineering and management of requirements, in particular elicitation, negotiation, prioritisation, and documentation (whether with natural languages or

This book provides a comprehensive view of the contemporary methods for quantum-light engineering. In particular, it addresses different technological branches and therefore allows the reader to quick

This book constitutes the refereed proceedings of the 6th Conference on Knowledge Engineering and the Semantic Web, KESW 2015, held in Moscow, Russia, in September/October 2015.The 17 revised full pap

This book constitutes the refereed proceedings of the 16th International Conference on Engineering Applications of Neural Networks, EANN 2015, held in Rhodes, Greece, in September 2015.The 36 revised

This book collects 4 keynote and 15 theme lectures presented at the 2nd European Conference on Earthquake Engineering and Seismology (2ECEES), held in Istanbul, Turkey, from August 24 to 29, 2014. The

This book contains a collection of papers presented at Engineering Solutions for Sustainability: Materials and Resources II, a special symposium organized as part of the TMS 2015 Annual Meeting &

In this edited volume on advances in Forensic Geotechnical Engineering, a number of technical contributions by experts and professionals in this area are included. The work is the outcome of deliberat

As with the first three editions of the Handbook of Materials Science and Engineering, the fourth edition focuses on the high quality data including that provided by the most relevant professional soc

With the rapid development of machinery, materials science and energy engineering technology in China, new theories and application results constantly appear. Higher and newer requirements in these fi

Women faculty’s participation in academic science and engineering is critical for future US global competitiveness, yet their underrepresentation particularly in senior positions remains a widespread

Multiple disciplines depend on computer programs and software to predict project challenges, outcomes, and solutions. Through the use of virtual prototyping, researchers and professionals are better a

"Learn about the history of food engineering and find out what it takes to make it in this exciting career field."--

This book constitutes the proceedings of the 9th European Conference on Software Architecture, ECSA 2015, held in Dubrovnik / Cavtat, in September 2015 The 12 full papers and 15 short papers presented

For the past several decades, systems engineering has grown rapidly in its scope and application and shown significant benefits for the design of large, complex systems. However, current systems engin

This book is the first of its kind to provide a compendium of environmental, health and safety, and engineering concepts for global harmonization, based on a framework of regulatory standards. Underst

This book constitutes the best papers selection from the proceedings of the 14th International Conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 2015, held in Naples, Italy

Trade Paperback + Software Download version: Trade paperback book comes with code to download Prepware software from ASA's website.Pilot license candidates studying for the Private and Recreat

Trade Paperback + Software Download version: Trade paperback book comes with code to download Prepware software from ASA's website.The Fast Track series is designed to prepare applicants who a

Trade Paperback + Software Download version: Trade paperback book comes with code to download Prepware software from ASA's website.Pilot license candidates studying for the Instrument Rating,