ý kiến bạn đọc

The spine of software : designing provably correct software-theory and practice

Tác giả: Robert L. Baber

This book presents this core of knowledge. The concepts covered are based on the view that a variable is a triple of a name, a set, and an element of that set (a value); that a data environment (the execution) of a program is a sequence of variables; and that a statement, subprogram, or program ...

Joint application development

Tác giả: Jane Wood, Denise Silver

Part one: Is jad for you?; Part two: How to do a jad; Part three: Session psychology; Part four: Tools and techniques; Part five: Jad and beyond; Part six: In closing.

The integration of expert systems into mainstream software

Tác giả: Alan C. Gillies

Discussing aspects of integrating expert systems into mainstream software, this work covers such issues as human-computer interaction, software engineering and quality assessment. Three case studies are provided and each chapter includes suggestions for further reading.

The internet bubble : inside the overvalued world of high-tech stocks--and what you need to know to avoid the coming shakeout

Tác giả: Anthony B. Perkins, Michael C. Perkins

The Internet Bubble is the story of the turbulent world of high-tech stocks, a place where fortunes are made and lost in a day. This book uncovers the inner workings of an industry that increasingly thrives on greed and hype. It shows who is really getting rich, and how they use small investors to ...

Relational database writings 1989-1991

Tác giả: Hugh Darwen

This book is the third in a series. Its predecessors, Relational Database: Selected Writings and Relational Database Writings 1985-1989, were published in 1986 and 1990, respectively. Like its predecessor this book presents a collection of papers - many of them previously unpublished - on various ...