Computer programming / software engineering

This book is a minor revision of the thesis submitted in August 1996; no major changes have been made.

Java is such a rapidly evolving language, it can be difficult for developers to keep abreast of developments.

About this Book I wrote this book to help students who are about to start their first project.

The Idea of Program Refinement Programs are complex.

If you are a new programmer or a Java programmer moving to Java 2 then this is the book for you!

Java is an object oriented language which allows you to create interactive Web pages, or to write applications which will run on any computer.

The value of multi-disciplinary research and the exchange of ideas and methods across traditional discipline boundaries are well recognised.

This book, which is a rrMsion and extension of the original edition publi- shed in 1996 (see [2D with the German title Mathematik mit MA'nfCAD (Mathematics Using MA'nfCAD), discusses the use of the program system MAlHCAD(R) to solve mathematical problems with computers.

Computer-based diagnostic systems are among the most successful applications of knowledge-based systems (KBS) technology.

Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context.

The fourth evolutionary/adaptive computing conference at the University of Plymouth again explores the utility of various evolutionary/adaptive search algorithms and complementary computational intelligence techniques within design and manufacturing.

Automata and Languages presents a step-by-step development of the theory of automata, languages and computation.

Computer Animation is now worlds away from its early beginnings when programs merely mimicked the hand drawn cartoon process.

Network Algebra considers the algebraic study of networks and their behaviour.

Compiled by an experienced practitioner in the field, this book contains definitions of the major terms used in Reliability Engineering and Software Assessment.

System Development: A Strategic Framework looks at one of the key issues in the design and development of IT systems: the fact that the bulk of system development projects undertaken will fail to meet originally defined objectives.

A very large proportion of commercial and industrial concerns in the UK find their business competitiveness dependent on huge quantities of already installed, legacy IT.

If you are interested in understanding how the systematic use of task models in the design, development, and usability evaluation of interactive software applications can open new opportunities and possibilities then this book will help you do just that.

Symbolic C++: An Introduction to Computer Algebra Using Object-Oriented Programming provides a concise introduction to C++ and object-oriented programming, using a step-by-step construction of a new object-oriented designed computer algebra system - Symbolic C++.

Introducing Fortran 95 contains:- Lots of clear and simple examples highlighting the language features- Details of a variety of internet based sources which will prove invaluable for those seeking further information and support- Key features of the latest version of Fortran, including ISO Technical Reports TR 15580 and TR 15581This comprehensive introduction will be essential to the complete beginner who wants to learn the fundamentals of programming using a modern, powerful, expressive and safe language, and to those wanting to update their programming skills by making the move from earlier versions of Fortran.

After a slow and somewhat tentative beginning, machine vision systems are now finding widespread use in industry.

Maple is a computer algebraic system with a fast-growing number of users in schools, universities, and other institutions.

A new generation of speech-driven personal computer systems promises to transform the business use of Information Technology.

We have recently seen a renewal of interest in the field of software architectures.

Essential Dynamic HTML fast provides a step-by-step approach to discovering DHTML and its techniques - everything you need to know from standard HTML tags to Layers and DOM (Document Object Model).

Essential ColdFusion fast gives the reader a working knowledge of ColdFusion and how to use it and how it integrates with other web-based technologies.

1994 marks the year that the international version of ARlS Toolset - a software system capable of analysing, modelling and navigating business processes - was developed and released by the software and consulting company IDS Prof.

An Introduction to Multi-Paradigm Programming using C++ is a self-contained reference book for those studying and using C++.

In The Unknowable I use LISP to compare my work on incompleteness with that of G6del and Turing, and in The Limits of Mathematics I use LISP to discuss my work on incompleteness in more detail.

New object-oriented technologies have been conceived and implemented over the past decade in order to manage complexity inherent in information systems development.

This book focuseson the use of computer visionand graphics in architecture.

Computer Graphics through Key Mathematics introduces the mathematics that support computer graphics on a 'need to know' basis.

The very word "e;digital"e; has acquired a status that far exceeds its humble dictionary definition.

An Introduction to Object-Oriented Programming in C++ with applications in Computer Graphics introduces the reader to programming in C++ step by step from the simplest of C++ programs, through features such as classes and templates to namespaces.

A feature is a small modification or extension of a system which can be seen as having a self-contained functional role, such as Call Forwarding, Automatic Call back and Voice Mail in telephone services, to which users can subscribe.

Components of System Safety contains the invited papers presented at the tenth annual Safety-critical Systems Symposium, held in Southampton, February 2002.

Visual Basic .

Right context, software reuse promises high value to businesses that develop software, opening the door to radical improvements in their software capability (productivity, cost, time to market).

Information is a key factor in business today, and data warehousing has become a major activity in the development and management of information systems to support the proper flow of information.

Systems Engineering for Business Process Change: New Directions is a collection of papers resulting from an EPSRC managed research programme set up to investigate the relationships between Legacy IT Systems and Business Processes.

Java and Object Orientation: An Introduction (2nd edition) shows readers how to build object oriented applications in Java.

Soft computing embraces various methodologies for the development of intelligent systems that have been successfully applied to a large number of real-world problems.

Object-oriented inheritance has been in widespread use for a decade, and it is now realised that although inheritance is a powerful modelling tool with many associated advantages, its benefits are not automatically conferred on systems that simply use it.

This is one of the shorter books in the 21 volume Practitioner Book Series, but this is entirely appropriate for a text on the ubiquitous topic of Quality.

This book guides the student through the process of learning to programme with C# using object orientation.

Software Design - Cognitive Aspects covers a variety of areas including software analysis, design, coding and maintenance.