International Computer Science Series

The design of algorithms for problem solving lies at the heart of computer science. Concise, yet authoritative, this book teaches the skills needed to master this essential subject.  The authors challenge more traditional methods of teaching algorithms by using a functional programming context, with Haskell as the implementation language. This leads to smaller, clearer and more elegant programs which enable the programmer to understand the algorithm itself more quickly and use that understanding to explore alternative solutions. Placing the emphasis on program development rather than the mathematical properties of algorithms, the book uses a succession of practical programming examples to develop in the reader problem-solving skills which can be easily transferred to other language paradigms.

C++ From the Beginning covers the whole of the C++ language from simple basics to advanced language constructs.  The emphasis is on building programming skills via examples and exercises, integrating object-oriented programming with object-oriented design while teaching the basics of the language.   It is a book with a dual purpose: to teach the fundamental principles of good programming, and to provide an accessible and direct introduction to C++.  It is ideal for beginners taking their first programming course, and for programmers with some experience requiring a thorough introduction to the C++ language.   This new edition of the book covers the ISO standard for C++. The standard incorporates a library of utility classes called the STL (Standard Template Library) not previously included in the core of C++.  This book describes these new classes as well as advanced topics such as exceptions, streams, templates and function objects.

Comparative Programming Languages identifies and explains the essential concepts underlying the design and use of programming languages and provides a good balance of theory and practice. The author compares how the major languages handle issues such as declarations, types, data abstraction, information hiding, modularity and the support given to the development of reliable software systems. The emphasis is on the similarities between languages rather than their differences. The book primarily covers modern, widely-used object-oriented and procedural languages such as C, C++, Java, Pascal (including its implementation in Delphi), Ada 95, and Perl with special chapters being devoted to functional and logic languages. The new edition has been brought fully up to date with new developments in the field: the increase in the use of object-oriented languages as a student's first language; the growth in importance of graphical user interfaces (GUIs); and the widespread use of the Internet.

This text integrates operating systems and database concepts, and provides a foundation for later study in these areas. Goes on to provide further material on distributed systems which have become increasingly popular with the advent of the Internet and WWW, and the object-oriented approach to design is now securely established.

For undergraduate courses covering databases for the following departments; Computer Science, Business IT, Management Information Systems, MSc conversion courses.

Over 200,000 people have been grounded in good database design practice by readingDatabase Systems. The new edition of this best-seller brings it up to date with the latest developments in database technology and builds on the clear, accessible approach that has contributed to the success of previous editions.

A clear introduction to design, implementation and management issues, as well as an extensive treatment of database languages and standards, make this book an indispensable complete reference for database students and professionals alike.

Suitable for both beginners and more experienced programmers, Discover Delphi provides a complete and user-friendly introduction to programming with this accessible language.Supported by a wealth of screen shots, examples, quizzes and exercises, the book harnesses the unique nature of Delphi to enable the reader to acquire fundamental programming skills while learning to design and produce attractive Graphical User Interfaces (GUIs).Guiding the reader through the chief features of Delphi's underlying language, Object Pascal, the authors introduce key programming concepts in tandem with essential Delphi components and their important methods, properties and events. Discover Delphi develops the skills needed not only to program within the Delphi environment but also to go on and learn other imperative and object-based languages.

This popular introduction to discrete mathematics for computer scientists combines a rigorous approach to mathematical concepts with strong motivation of these techniques via practical examples.

Broad and up-to-date coverage of the principles and practice in this fast moving area. Includes the key issues in the debate between components and web services as the way forward for industry.

The depth of coverage will enable students to evaluate existing distributed systems and design new ones.

The new edition of this text introduces functional programming in the Haskell language at a level appropriate for students and programmers with little or no experience of functional languages. The emphasis is on the process of crafting programs, problem solving and avoiding common pitfalls. The book is split into 3 parts : basic functional programming, abstraction and larger-scale programming, leading the reader step-by-step through the basics of the subject before introducing more advanced topics.

 This book is an introductory programming textbook for those using SML. It emphasizes mathematical structures, modelling and abstraction as a basis for programming, introducing students to formal methods concepts early. The authors concentrate on the basics of program design rather than on the design of efficient algorithms. The book has a dual purpose, firstly to teach program design based on a set of simple, clean & powerful concepts and secondly to teach the fundamental concepts of computer science in an informal but precise way.

Java provides the engineer and scientist with an efficient and easy-to-use tool for problem solving in today's web based environment. Following on from the highly successful Java Gently this new text draws on a wide range of engineering and scientific problems to teach Java by example.  Java Gently for Engineers and Scientists aims to introduce programming through examples of problems that engineers and scientists may encounter. Some of these are numerical in nature, while others are concerned with handling data derived from a wide variety of sources. The whole of the Java language is covered, and the standard of programming is based firmly in the style of object-oriented, well-structured, readable, maintainable and visually attractive programs.

Java Gently teaches the reader how to program and how to do it in the best possible style in Java.In the process, it details the fundamental structures of the Java 2 language and most of its core libraries and utilities. The book covers object-orientation, software design, structured programming, graphical user interfacing, event-driven programming, networking, and an introduction to data structures.  Java Gently gets students started on meaningful input/output in an object-oriented way without hiding basic concepts. Applets, multimedia, graphics, and networking are introduced as students encounter and can handle classes, objects, instantiation, and inheritance.  The textbook's excellent pedagogy reinforces understanding and demonstrates good programming practice. The three kinds of diagrams include class, form, and algorithm diagrams. The fully worked examples have been carefully chosen to illustrate recently introduced concepts and solve real-world problems in a user-friendly manner. End of chapter multiple choice quizzes and problems allow students to test their comprehension of the material.

Java from the Beginning is written for the new generation of computer users, for whom concepts such as windows, menus, web pages and the Internet are well-known and natural. It is no longer enough to simply be able to master the basic concepts and constructs of a programming language; today's students are required to write programs that include graphical user interfaces (GUIs), interactive media and various methods of communication.  For this reason, GUIs are discussed in this book right from the start, and communication is covered in detail. In this edition, Swing is used throughout to implement programs with a GUI.  These classes make it possible to give the interfaces a more attractive appearance.  Also, objects, classes and interfaces are presented graphically by means of UML which has now become a de-facto standard in the presentation of object-oriented concepts.

Ada has carved itself a niche in the safety-critical/embedded/real-time areas. It is the language of choice in application areas where reliability, long term maintainability and similar features are very important. Typical of such areas are defence embedded systems, railway signalling, air traffic control and so on.

Note especially that SPARK which is very successful for critical systems is based on Ada. No other language really has a suitable underlying structure.

This latest edition of the highly successful 'Programming in Ada' has been fully updated to the latest version of the language: Ada 2005.

The third edition of this best-selling guide to Prolog and artificial intelligence has been updated to include key developments in the field while retaining its lucid approach to these topics. Divided into two parts, the first part of the book introduces the programming language Prolog, while the second part teaches artificial intelligence using Prolog as a tool for the implementation of AI techniques.   Prolog has its roots in logic, however the main aim of this book is to teach Prolog as a practical programming tool. This text therefore concentrates on the art of using the basic mechanisms of Prolog to solve interesting problems. The third edition has been fully revised and extended to provide an even greater range of applications, which further enhance its value as a self-contained guide to Prolog, AI or AI Programming for students and professional programmers alike.

This book provides an in-depth analysis of the requirements for designing and implementing real-time embedded systems and discusses how these requirements are met by current languages and operating systems. The comparative advantages of Ada 95, Real-Time Java and Real-Time C/POSIX are discussed in full. No other book on real-time programming languages (or concurrent programming languages) covers this range of topics.  The latest trends in real-time systems are discussed. The emergence of Java as a real-time language through the Real-Time Java extensions has resulted in the treatment of Java as one of the core languages covered in the book. The additional real-time facilities in POSIX are explored as well as the proposed extensions to CORBA to address real-time issues.

How do real-time systems differ from normal information systems? Which languages are best for implementing different real-time systems?

The fourth edition of this best-selling text on real-time systems answers these and other questions. It provides an in-depth analysis of the requirements for designing and implementing real-time embedded systems, and discusses how these requirements are met by current languages and operating systems. The languages are not only described, but also critically evaluated. No other book on real-time (or concurrent) programming languages covers the same breadth of material.

“Sensible choice and organization of topics, made all the more authoritative by the author’s credentials as a senior academic in the area” Prof. David S. Rosenblum, University College London

“I find Somerville inviting and readable and with more appropriate content” Julian Padget, University of Bath

“Sommerville takes case studies from radically different areas of SE. This avoids excessive stereotyping (hence blinkering), but permits some depth and detail.” Dr C Lester, Portsmouth University

Software Engineering 8 presents a broad perspective on software systems engineering, concentrating on widely used techniques for developing large-scale systems.

Structured into 6 parts:

1: Introduction; 2: Requirements Engineering; 3: Design; 4: Software Development; 5: Verification and Validation; 6: Management

… And now with additional new chapters on System Security Engineering, Aspect-oriented Software Development, and Service-oriented systems!