Advances in computers. Vol. 65.

This present volume describes some of the latest advances in the computer science field today. This current volume emphasizes information processing with chapters on artificial intelligence, data bases and software engineering. In particular it looks at the interfaces between AI and software develop...

Full description

Bibliographic Details
Corporate Author:	ScienceDirect (Online service)
Other Authors:	Zelkowitz, Marvin V., 1945-
Format:	eBook
Language:	English
Published:	[Place of publication not identified] : Academic Press, 2005.
Subjects:	Electronic data processing. Computers. Ordinateurs. Technologie de l'information. computers. information technology. Computers Electronic data processing Electronic books.
Online Access:	Connect to the full text of this electronic book

Table of Contents:

Preface.
Contributors.
Chapter 1. The state of artificial intelligence by Adrian A. Hopgood
Chapter 2. Software model checking with SPIN by Gerard J. Holzmann
Chapter 3. Early Cognitive Computer Vision by Jan-Mark Geusebroek
Chapter 4. Verification and Validation and Artificial Intelligence by Tim Menzies and Charles Pecheur
Chapter 5. Indexing, Learning and Content-based Retrieval for Special Purpose Image Databases by Mark J. Huiskes and Eric J. Pauwels
Chapter 6. Defect Analysis: Basic Techniques for Management and Learning by David N. Card
Chapter 7. Function Points by Christopher J. Lokan
Chapter 8. The Role of Mathematics in Computer Science and Software Engineering Education by Peter B. Henderson.