Development and Software Engineering

The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analy

This book addresses a fundamental software engineering issue, applying formal techniques and rigorous analysis to a practical problem of great current interest: the incorporation of language-specific

Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers,

The book gives a detailed account of the construction and development of Hong Kong, which have been the duties of Civil Engineering Bureau over the past 160 years, including all large land development

XML is a powerful cross-platform mark-up language which has readily been adopted as a standard in many spheres of web and software development. Real benefits include its ease of integration into e

A practical introduction to J2EE & .NET interoperability offers an overview of integrated software development and explains how to work with the .NET Framework, ADO .NET, .NET Remoting Architectur

Difficult to learn and awkward to use, today's information systems often change our activities in ways that we do not need or want. The problem lies in the software development process. In this book J

Larry Ellison, the founder, president, and CEO of software development company Oracle, is notorious for his aggressive business tactics and flamboyant lifestyle. Drawing upon interviews with his colle

From a bestselling author and expert--a soon-to-be classic on application developmentRepresenting a significant change of focus in software engineering, the business rule approach to application devel

This is one of four books resulting from the 13th international (35 countries represented) conference on engineering design (ICED 01). ICED covers engineering design from product development and innov

This is one of four books resulting from the 13th international (35 countries represented) conference on engineering design (ICED 01). ICED covers engineering design from product development and innov

This is one of four books resulting from the 13th international (35 countries represented) conference on engineering design (ICED 01). ICED covers engineering design from product development and innov

A collection of papers from the first Ricardo international conference focus on the technologies and systems engineering challenges facing powertrain design and development over the coming decade. Som

Historically, the terms validation and verification have been very loosely defined in the system engineering world, with predictable confusion. Few hardware or software testing texts even touch upon v

Choose the right software quality methodology, and make it work efficiently. Some organizations have established ISO 9000 quality certification or the Software Engineering Institute's Capability Matur

Recent years have witnessed the development of computational geomechanics as an important branch of engineering. The use of modern computational techniques makes it possible to deal with many comple

This book is a well combined and connected series of essays on the roles of research, development, engineering, production and marketing of future high-technology industries. Professor Kao presents a

Concentrating on the Industrial Revolution as experienced in Great Britain (and, within that sphere, mainly on the early development of the engineering and chemical industries), the authors develop th

The development of parallel processing, with the attendant technology of advanced software engineering, VLSI circuits, and artificial intelligence, now allows high-performance computer systems to reac

The objectives set forth by the passage of the Marine Resources and Engineering Development Act of 1966 marked a turning point in U.S. policy toward marine affairs, inaugurating a fresh set of active

Mello draws on years of experience in product development, hardware engineering, software development, and marketing, in creating this text for executives and new-product professionals. She presents

After World War II, communication and control engineering reached a high level of development. The next step may be the recasting and unifying of the theories of control and communication in the machi

Computer Organization and Design: The Hardware/Software Interface, Sixth Edition, the leading, award-winning textbook from Patterson and Hennessy used by more than 40,000 students per year, continues

Beginners and advanced rescue technicians will learn from and enjoy this entertaining and educational book. A practical look at rope resuce systems from the point of view of an experienced professional, each chapter features exciting stories and real life situations. The book provides a complete look at team integrity and development issues as well as team efficiency concepts that create a superior survival profile for users. Interesting, current, and sometimes controversial topics within the rescue community are featured throughout.(Keywords: Rescue)ALSO AVAILABLEINSTRUCTOR SUPPLEMENTS CALL CUSTOMER SUPPORT TO ORDERInstructor's Manual, ISBN: 0-7668-0198-5

The definitive guide to the art and science of lens design—fully updated to reflect the latest advancesThis benchmark optical engineering resource offers an encyclopedic overview of all forms of lenses and optical systems. Revised from start to finish, this new edition brings all existing content up to date and adds new sections on design advances from the last 10 years. With this book in hand, there's no lens that you can't design.Modern Lens Design, Third Edition, leads you through the fundamentals and hands-on practices of optical engineering, covering time-tested methods for designing top-quality lenses. Long a paragon of design instruction, the book provides clear explanations, examples, and hands-on instruction and fully covers the latest software and optimization techniques.Features new coverage of cell phone cameras, panoramic and 360-degree lenses, and large-format focal planesClarifies and consolidates a wide range of crucial lens design informationTwo industry-recognized exp

Difficult to learn and awkward to use, today's information systems often change our lives in ways that we do not need or want. The problem lies in the software development process. In this book John C

1. Principles of structured programming and software engineering are consistently emphasized to provide a solid foundation for future courses2. Figures and tables are used liberally to help students v

After World War II, communication and control engineering reached a high level of development. The next step may be the recasting and unifying of the theories of control and communication in the machi