Software Engineering

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.

A complete guide to environmental, safety, and health engineering, including an overview of EPA and OSHA regulations; principles of environmental engineering, including pollution prevention, waste and

Future software will not merely respond to requests for information, but will anticipate the user's needs and actively seek ways to support the user. These systems will also manage cooperation among d

A concise, highly accessible source for site engineering basics.This updated edition of Parker's classic text introduces the basic issues, tasks, and problems of site engineering to students and profe

The last few years have seen important advances in the use of genetic algorithms to address challenging optimization problems in industrial engineering. Genetic Algorithms and Engineering Design is th

Systems Engineering Guidebook: A Process for Developing Systems and Products is intended to provide readers with a guide to understanding and becoming familiar with the systems engineering process, it

Features a useful collection of important and practical papers on applying software metrics and measurement. The book details the importance of planning a successful measurement program with a complet

The amount of time and expense spent debugging, customizing, updating, and maintaining software far outstrips the amount spent buying it. This book provides a simple and straightforward introduction t

This book examines all techniques used in the thermal and materials sciences, fluid engineering and engineering mechanics to foster an understanding of the engineering design process from the recognit

Continuing the trend-watching of Technology 2001, which discussed the technologies that could well define the computing and communications environment that lies ahead, The Future of Software assemble

Corporate and commercial software-development teams all want solutions for one important problem—how to get their high-pressure development schedules under control. In RAPID DEVELOPMENT, author Steve

The topic is of prime importance to software professionals involved in large development efforts such as databases, operating systems, compilers, and frameworks. This volume explains the process of de

This edited collection of essays from world-leading academic and industrial authors yields insight into all aspects of reverse engineering. Methods of reverse engineering analysis are covered, along w

The book contains essays contributed by prominent software and design professionals, interviews with experts, and profiles of successful projects and products. These elements are woven together to ill

This book is one of the best-known and most respected books in geotechnical engineering. In its third edition, it presents both theoretical and practical knowledge of soil mechanics in engineering. It

This comprehensive volume provides a complete, authoritative, up-to-date reference for all aspects of power plant engineering. Coverage ranges from engineering economics to coal and limestone handling

PRACTICAL ENGINEERING STATISTICSThis lucidly written book offers engineers and advanced students all the essential statistical methods and techniques used in day-to-day engineering work. Without unnec

This book covers a broad range of topics necessary for those managing engineering personnel, projects and organizations.

Bridging the gap between classical engineering economics and detailed cost estimation and control, this state-of-the-art reference focuses on the application of fundamental cost-engineering principle

Some things just naturally fit together. Such is the case for C and UNIX: these software tools have been developed in tandem -- C is an excellent programming language, UNIX is an excellent operating s

This classic reference combines broad, yet in-depth coverage of nuclear engineering principles with practical descriptions of their application in the design and operation of nuclear power plants.

Rock Blasting and Explosives Engineering covers the practical engineering aspects of many different kinds of rock blasting. It includes a thorough analysis of the cost of the entire process of tunneli

The Practical Handbook of Compost Engineering presents an in-depth examination of the principles and practice of modern day composting. This comprehensive book covers compost science, engineering desi

After introduction to basic concepts, and a review of software design and development, describes, compares, and assesses five methods: Real-Time Structured Analysis and Design (RTSAD); Design Approach

Addresses some fundamental considerations associated with the engineering of large scale systems. The first part deals with systems methodology, design and management including a detailed examination

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.

This book covers the general engineering knowledge required by candidates for the Department of Transport's Certificates of Competency in Marine Engineering, Class One and Class Two. The text is upd

A textbook for advanced undergraduate or graduate students in chemical engineering. Describes the basic principles of electrochemical engineering as applied to energy storage, industrial electrolysis,

Both program managers and practicing programmers, whether working on small programs or large-scale projects, will learn how good their software process is, how they can make their process better, and

Provides a comprehensive introduction of the application of geologic fundamentals to civil engineering. Explains the theory and applied aspects of engineering geology, and the impact geology has on ci

The designer of a software system, like the architect of a building, needs to be aware of the construction techniques available and to choose the ones that are the most appropriate. This book provides the implementer of software systems with a guide to 25 different techniques for the complete development processes, from system definition through design and into production. The techniques are described against a common background of the traditional development path, its activities and deliverable items. In addition the concepts of metrics and indicators are introduced as tools for both technical and managerial monitoring and control of progress and quality. The book is intended to widen the mental toolkit of system developers and their managers, and will also introduce students of computer science to the practical side of software development. With its wide-ranging treatment of the techniques available and the practical guidance it offers, it will prove an important and valuable work.

A revision of the classic text on railroad engineering, considered the ``bible'' of the field for three decades. Presents railroad engineering principles quantitatively but without excessive resort to

Biochemical Engineering Fundamentals, 2/e, combines contemporary engineering science with relevant biological concepts in a comprehensive introduction to biochemical engineering. The biological backgr

Introduction to Chemical Engineering Thermodynamics, 6/e, presents comprehensive coverage of the subject of thermodynamics from a chemical engineering viewpoint. The text provides a thorough expositio

For Engineering Economics courses, found in departments of Industrial, Civil, Mechanical, and Electrical Engineering. This text is also useful for any individual interested in the field of Industrial,

For senior-level undergraduate and first and second year graduate systems engineering and related courses. "Systems Engineering and Analysis, 5/e, " provides a total life-cycle approach to systems and

For courses in Technical Drawing, Engineering Graphics, Engineering Design Communication, Drafting, Visualization, at level beginner through advanced. Technical Drawing and Engineering Graphics, Fou

Like no other text in this field Dr. Phillips M.D., Ph.D., shows how engineering students can apply their engineering course work to solve human factors application problems. This text is suitable for

Thermochemical Surface Engineering of Steels, Second Edition presents up to date information on a range of techniques and their applications. This edition expands upon the material presented in the first edition, now including a discussion of high temperature process for stainless steels as well as a new chapter on solution nitriding, as well as fully updating the current materials. The book is comprised of five parts, which take the reader from theory through to application. Part 1 presents foundational information regarding Thermodynamics; Part 2 discusses the requirements for improved fatigue resistance for materials exposed to thermochemical treatments. Parts 3 looks at nitriding, nitrocarburizing and carburizing, followed by a look at specific low temperature carburizing and nitriding; The book concludes with a discussion of various thermochemical surface engineering methods.

Introduction to Rehabilitation Engineering, Second Edition offers a concise yet thorough foundation in a critical and rapidly evolving field—inviting further exploration, innovation, and impact.