The interplay of artificial intelligence and software engineering has been an interesting and an active area in research institutions and industry. This book covers the state of art in the use of knowledge-based approach for software specification, design, implementation, testing and debugging. Starting with an introduction to various software engineering paradigms, the book continues with the discussion of using hybrid knowledge representation as a basis to specify software requirements, to facilitate specification analysis and transformation of real-time distributed software systems. A...

The book is a follow-up to the computerized fullerene bibliography related to the 1985-1993 period. It is a well-indexed overview of the journal literature on a topic for which the 1996 Nobel Prize in Chemistry was awarded. It is an indispensable tool for any specialist interested in the literature of one of the most researched interdisciplinary topics in the sciences.

This volume contains carefully compiled material providing bibliographic descriptions of approximately 3500 papers on fullerene research published between 1985 and 1993. It contains a computer-generated index on authors, subject headings, corporate addresses and journals.