Petri nets provide a formal framework for system modeling and validation which has proven to be very reliable in practice. This book presents variousnet models appropriate for designing specific systems, where systems are understood very generally …
It is clear that the development of large software systems is an extremely complex activity, which is full of various opportunities to introduce errors. Software engineering is the discipline that provides methods to handle this complexity and …
Not long ago" Dennis Merritt wrote one of the best books that I know of about implementing expert systems in Prolog, and I was very glad he published it in our series. The only problem is there are still some unfortunate people around who do not …
When I compare the books on expert systems in my library with the production expert systems I know of, I note that there are few good books on building expert systems in Prolog. Of course, the set of actual production systems is a little small for …
Source Code Availability All of the source code found in this volume, and some that is not, is available from the author at a nominal fee. The author is interested in learning of any errors that may be found, though care has been taken in the …
The Ada Generic Library provides an extensive well-documented library of generic packages whose use can substantially increase software productivity and reliability. The construction of the library follows a new approach whose principles include …
Based on a number of sample systems of varying complexity, this book illustrates the practical aspects of developing expert systems and knowledge-based applications software. The programming language used is Prolog (Clocksin-Mellish standard). The …
