This is a step-by-step introduction to object-oriented software development. It is suitable for teaching and for self study by practising software engineers seeking to add rigour to their techniques. Seven complete case studies are included along with several smaller examples derived from small software projects developed for and delivered to real users. These examples make use of a bridge process, which presents a systematic approach for developing analysis models and unfolding these incrementally and iteratively through to design models and implementation. The process could be viewed as one example of unified software development and has the potential of being scalable to large software problems. It also provides a model for organising deliverables obtained throughout different phases of the software life cycle. These case studies provide a medium for experimental use and act as templates that can be tailored by readers to fit their specific needs and circumstances.
The only A-Z guide available on this subject, this book provides a wide-ranging and up-to-date overview of the fast-changing and increasingly important world of cyberculture. Its clear and accessible
The first book available on this fast-growing and highly regarded software packageMindManager allows users to visually map their ideas and brainstorming sessions in order to better organize thoughts a
Computer Manual to Accompany Pattern Classification and its associated MATLAB software is an excellent companion to Duda: Pattern Classfication, 2nd ed, (DH&S). The code contains all algorithms descri
This book discusses the connection between two areas of semantics, namely the semantics of databases and the semantics of natural language, and links them via a common view of the semantics of time. It is argued that a coherent theory of the semantics of time is an essential ingredient for the success of efforts to incorporate more 'real world' semantics into database models. This idea is a relatively recent concern of database research but it is receiving growing interest. The book begins with a discussion of database querying which motivates the use of the paradigm of Montague Semantics and discusses the details of the intensional logic ILs. This is followed by a description of the author's own model, the Historical Relational Data Model (HRDM) which extends the RDM to include a temporal dimension. Finally the database querying language QEHIII is defined and examples illustrate its use. A formal model for the interpretation of questions is presented in this work which will form the b
Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them. This book is the first systematic account of the subject and studies mathematical structures suitable for modelling functional programming languages in an axiomatic (i.e. abstract) setting. In particular, the author develops theories of partiality and recursive types and applies them to the study of the metalanguage FPC; for example, enriched categorical models of the FPC are defined. Furthermore, FPC is considered as a programming language with a call-by-value operational semantics and a denotational semantics defined on top of a categorical model. To conclude, for an axiomatisation of absolute non-trivial domain-theoretic models of FPC, operational and denotational semantics are related by means of computational soundness and adequacy results. To make the book reasonably self-contained, the author includes an introduction to enriched category theory.
Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science as a means of reasoning about the knowledge and belief of agents. This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject; many exercises are included together with their solutions. The authors begin by presenting the necessary apparatus from mathematics and logic, including Kripke semantics and the well-known modal logics K, T, S4 and S5. Then they turn to applications in the contexts of distributed systems and artificial intelligence: topics that are addressed include the notions of common knowledge, distributed knowledge, explicit and implicit belief, the interplays between knowledge and time, and knowledge and action, as well as a graded (or numerical) variant of the epistemic operators. The problem of logical omniscience is also discussed extensively. Halpern and Moses' theory of honest formulae is covered, and a d
In this lively series of essays, Tom Dean explores interesting fundamental topics in computer science with the aim of showing how computers and computer programs work and how the various subfields of computer science are connected. Along the way, he conveys his fascination with computers and enthusiasm for working in a field that has changed almost every aspect of our daily lives. The essays touch on a wide range of topics, from digital logic and machine language to artificial intelligence and searching the World Wide Web, considering such questions as: • How can a computer learn to recognize junk email? • What happens when you click on a link in a browser? • How can you program a robot to do two things at once? • Are there limits on what computers can do? The author invites readers to experiment with short programs written in several languages. Through these interactions he grounds the models and metaphors of computer science and makes the underlying computational ideas more concrete.
Imagine, at a terrifyingly aggressive rate, everything you regularly use is being equipped with computer technology. Think about your phone, cameras, cars-everything-being automated and programmed by
An easy-to-understand guide to often-confusing computer/Internet jargon! Internet and Personal Computing Fads is an A-to-Z reference book written in a straightforward style that’s informative enough
If you’re responsible for producing quality printed materials or creating great-looking Web pages for your business or organization, Adobe’s new Creative Suite has just what you need. Thi
Most new PCs and Macs today are equipped with the latest in recording and storage equipment: CD-RW and DVD-R/RW drives. Even if your computer is a little older, you can still join the revolution with
The Elements of C++ Style, first published in 2004, is for all C++ practitioners, especially for those working in teams where consistency is critical. Just as Strunk and White's The Elements of Style provides rules of usage for writing in the English language, this text furnishes a set of rules for writing in C++. The authors offer a collection of standards and guidelines for creating solid C++ code that will be easy to understand, enhance and maintain. The book provides conventions for: • formatting • naming • documentation • programming • and packaging for the latest ANSI standard of C++, and also includes discussion of advanced topics such as templates.
Hackers have uncovered the dark side of cryptography—that device developed to defeat Trojan horses, viruses, password theft, and other cyber-crime. It’s called cryptovirology, the art of t
Computers have changed not just the way we work but the way we love. Falling in and out of love, flirting, cheating, even having sex online have all become part of the modern way of living and loving. Yet we know very little about these new types of relationship. How is an online affair where the two people involved may never see or meet each other different from an affair in the real world? Is online sex still cheating on your partner? Why do people tell complete strangers their most intimate secrets? What are the rules of engagement? Will online affairs change the monogamous nature of romantic relationships? These are just some of the questions Professor Aaron Ben Ze'ev, distinguished writer and academic, addresses in this book, a full-length study of love online. Accessible, shocking, entertaining, enlightening, this book will change the way you look at cyberspace and love forever.
The capabilities offered by netcentric technologies might seem to eliminate the need for physical workplace altogether, but the workplace remains, partly because the virtual, and in fact, the physical appearance of a typical office looks about the same. Nevertheless, the psychological characteristics of the workplace have changed considerably. Workers, from the mail room clerk to the CEO, are learning new skills - to capitalize on the net's power, but avoid the egregious blunders that the net so dramatically amplifies. In The Internet in the Workplace, Wallace shows how netcentric technologies touch every kind of workplace, and explores the challenges and dilemmas they create.
Stivers (Illinois State U.) is a sociologist who takes a sociologist's tack in his approach to a psychological problem: the pervasive modern ailment of loneliness. Stivers sees loneliness not as a sym
We are on the verge of creating an exciting new kind of interactive story form that will involve audiences as active participants. This book provides a solid foundation in the fundamentals of classica
In this remarkably illustrative and thoroughly accessible look at one of the most intriguing frontiers in science and computers, award-winning New York Times writer George Johnson reveals the fascinat