| |
|
|
| |
| |
|
Date Reviewed |
|
| |
1 - 10 of 22
reviews
|
|
|
 |
|
|
|
|
Verification and validation for quality of UML 2.0 models
Unhelkar B., Wiley-Interscience, New York, NY, 2005. 312 pp. Type: Book (9780471727835)
The back cover of this book provides a compact and precise description of the topics it handles, and its main contribution, characterizing the work as a “practical checklist approach to enhancing the quality of software model...
|
Nov 23 2005 |
|
|
|
|
|
|
 Formal engineering for industrial software development
Liu S., Springer-Verlag, 2004. Type: Book (9783540206026)
The book emphasizes the importance of formal engineering methods (FEMs) for industrial software development, and offers (as one example) a systematic introduction to structured object-oriented formal language (SOFL), a method that was ...
|
Oct 4 2004 |
|
|
|
|
|
|
Relating state-based and behaviour-oriented subtyping
Wehrheim H. Nordic Journal of Computing 9(4): 405-435, 2002. Type: Article
Behavioral subtyping for object-oriented languages is concerned with when a class can be said to be behaviorally consistent with another one, for example, when a subtype instance can be substituted everywhere a supertype instance is ex...
|
Dec 3 2003 |
|
|
|
|
|
|
Design by contract, by example: a computer-based approach
Mitchell R., McKim J., Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 2002. 256 pp. Type: Book (9780201634600), Reviews: (1 of 2)
This is the first book devoted exclusively to assertion-based software engineering. However, the basic ideas are not as new as you might think: their origin dates back to the pioneering work of C.A.R. Hoare from around 1970 on proving ...
|
May 30 2002 |
|
|
|
|
|
|
Relational methods for computer science applications
Orłowska E. (ed), Szałas A. (ed) Physica Verlag Rudolf Liebing KG, Vienna, Austria, 2001. Type: Divisible Book
The papers presented in this volume address many current aspects of relational methods and their applications in computer science. They are, however, much more focused on computing than on fuzziness and soft computing issues. Thus, pro...
|
Feb 1 2002 |
|
|
|
|
|
|
Discovering the world with fuzzy logic
Novák V. (ed), Perfilieva I. (ed) Physica-Verlag GmbH, Heidelberg, Germany, 2000. Type: Divisible Book
This is one of the rare edited volumes that does not leave its readers alone with the 19 contributions presented: the preface and the editors’ introductory remarks to each part of the book provide a carefully composed guide t...
|
Jul 1 2001 |
|
|
|
|
|
|
Fuzzy sets and their application to clustering and training
Dumitrescu D., Lazzerini B., Jain L., CRC Press, Inc., Boca Raton, FL, 2000. 622 pp. Type: Book (9780849305894)
As advertised on the back cover, this book “offers a comprehensive introduction to fuzzy set theory, focused on the concepts and results needed for training and clustering applications.” It consists of four parts, c...
|
Aug 1 2000 |
|
|
|
|
|
|
UML distilled (2nd ed.): a brief guide to the standard object modeling language
Fowler M., Scott K., Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2000. 185 pp. Type: Book (9780201657838)
During the last few years, the Unified Modeling Language (UML) has become the de facto standard that all software developers need to know and understand. This book is the follow-up text of the award-winning (1997 Software Developmen...
|
Mar 1 2000 |
|
|
|
|
|
|
Fuzzy logic
Yen J., Langari R., Prentice-Hall, Inc., Upper Saddle River, NJ, 1999. Type: Book (9780135258170)
Yen and Langari aim to introduce soft computing to upper-level undergraduate and beginning graduate students, as well as to practicing engineers, with a well-balanced presentation of theory and applications....
|
Aug 1 1999 |
|
|
|
|
|
|
The importance of being fuzzy
Sangalli A., Princeton University Press, Princeton, NJ, 1998. Type: Book (9780691001449)
I know quite a few books on fuzzy set theory and neuro-fuzzy systems, but this work is unique. No other book have I found so pleasant to read (even for me as a senior fuzzyist), and, at the same time, no other book seems so informative...
|
Apr 1 1999 |
|
|
|
|
|
| |
|
|
| |
|
|
