This book reflects the increased amount of emphasis placed on the mathematical methods of software development in undergraduate computer science courses. The VDM notation is described in detail, with each chapter starting with an Overview/Motivation Section. It then goes on to summarize the syntax of the VDM used. Objectives and aims are stated and the progress of the student is judged by self-assessment procedures.

Practical Formal Methods With Vdm (McGraw Hill International Series in Software Engineering)

Computers & Technology

Ince, Darrel

Andrews, Derek

Programming

Mcgraw-Hill College

This book describes how object-oriented language and object-oriented ideas can be employed throughout the software project. It describes the software engineering process from requirements analysis up to acceptance testing and contains such topics as unit testing, and system design. The book uses the C++ programming language and is intended for both the undergraduate student and the industrial developer. Material on the relationship between object-oriented techniques and prototyping is also included.

Object-Oriented Software Engineering With C++ (The McGraw-Hill International Series in Software Engineering)

McGraw-Hill Book Co Ltd

Taking a unique approach, this practical introduction gives readers the full flavor of software project management and detailed coverage of the entire development process, not just the lists of management tasks other books provide. This approach leads the reader through various stages of the development process in a pragmatic and readable way, with a diversity of topics explained.

Introduction to Software Project Management and Quality Assurance (The McGraw-Hill International Series in Software Engineering)

Sharp, Helen

Woodman, Mark

Reference

McGraw=Hill

The first book to examine the impact of ISO 9001 standards on software vendors and tell how to meet them. Quality and product managers and anyone who hopes to become ISO 9001 certified will learn how to develop and maintain documented quality systems, prepare valid contracts, meet design and document control requirements, implement product identification and traceability, and more.

Iso 9001 and Software Quality Assurance (The McGraw-Hill International Software Quality Assurance)

Operating Systems

Explains how to build an efficient and workable software quality assurance system from the fundamental principles through writing procedures and gaining ISO 9001 certification. After reviewing the technical background, provides a questionnaire to show managers where they are and where they need to start improvements. Then goes through the steps of planning, designing, process modeling, and dovetailing with new technology and human-the computer interface. Annotation copyright Book News, Inc. Portland, Or.

An Introduction to Software Quality Assurance and Its Implementation (McGraw-Hill International Software Quality Assurance)

In this edition, Roger Pressman's software engineering text for students has been adapted by Darrel Ince to focus directly on the interests of a European audience. Particular changes include references to European work in the "Further Reading" sections and updated sections on formal methods and quality assurance, to reflect European standards and the growth in interest in software metrics.

Software Engineering

Pressman, Roger S.

McGraw-Hill Publishing Co.

A guide to both practitioners and students of software development. This fourth edition has also been restructured to feature material on topics of interest and concern in Europe. It is structured in five parts: the product and the process; managing software projects; conventional methods for software engineering; and advanced topics in software engineering. The text also includes: an expanded section on ISO9001; an introduction to SPICE ISO initiatives; a chapter on intranet software engineering; and a new section on software derivation.

A dictionary of the Internet

Oxford University

A blizzard of new words and phrases, from "bookmark portal" and "cookie poisoning" to "script kiddie" and "viral marketing," have been created by the explosive growth of the Internet. Now, in Dictionary of the Internet, Darrel Ince defines more than 4,000 terms from the Web, software technology, jargon, e commerce, security, and the technical and organizational infrastructure of the Internet. Ince includes definitions of basic terms, such as "usenet" or "web server" as well as many entries on the colorful jargon of the computer world, such as "Vannevar" or "grey bar land." A free CD-ROM included with the book contains the full dictionary entries in a browsable format with hyperlinks between entries, and links to relevant web sites. The dictionary will be supported by its own web site with updates. Whether you are a "weasel" (an inexperienced user) or a "webhead," here is an essential reference work, filled with up-to-date information.

Dictionary of the Internet

Networking & Cloud Computing

Oxford University Press

Clear and concise, this book explains why software is difficult to develop and discusses some of the solutions being adopted to overcome the difficulties. The book describes how software systems "rust", how mathematics aids software developers, the attempts that researchers make in order to automate the software development process, and some of the advances being made in artificial intelligence. Written for the general reader, the book describes current advances in software engineering in a way that will be accessible even to readers with little knowledge of computing concepts.

Software Development: Fashioning the Baroque (Oxford Science Publications)

See the best price to sell, buy, or rent books by Ince, Darrel. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Ince, Darrel

See the best price to sell, buy, or rent books by Ince, Darrel. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Practical Formal Methods With Vdm (McGraw Hill International Series in Software Engineering)

Object-Oriented Software Engineering With C++ (The McGraw-Hill International Series in Software Engineering)

Introduction to Software Project Management and Quality Assurance (The McGraw-Hill International Series in Software Engineering)

Iso 9001 and Software Quality Assurance (The McGraw-Hill International Software Quality Assurance)

An Introduction to Software Quality Assurance and Its Implementation (McGraw-Hill International Software Quality Assurance)

Software Engineering

Software Engineering

A dictionary of the Internet

Dictionary of the Internet

Software Development: Fashioning the Baroque (Oxford Science Publications)