zeki@smunews.uucp (Zekeriya Aliyazicioglu) (03/14/91)
Book News: FUNDAMENTALS OF COMPUTING FOR SOFTWARE ENGINEERS by Eric S. Chan & Murat M. Tanik There is a growing trend in computer science and software engineering toward the use of formal techniques in software development. FUNDAMENTALS OF COMPUTING FOR SOFTWARE ENGINEERS supplies the reader with the fundamental mathematics which lie behind the practice of software engineering and the development of computer aided software engineering tools. The material is unique, combining theoretical, practical, and historical aspects of large software construction, as well as presenting an integrated systems view of software development processes based on theoretical foundations. This book should become the standard method of teaching in Software Engineering courses, just as discrete structures have become standard for general computer science students. FUNDAMENTALS OF COMPUTING FOR SOFTWARE ENGINEERS is directed to students and professionals allike with a background in discrete structures and formal logic. It is especially useful to those engaged in the important area of CASE tool development. CONTENTS: Forward. Preface. Introduction. Philosophy of Software Artifacts. History of Software Development Methodology. Abstract Design Support Environment. Formal Systems of Logic, Set Theory, and Model Theory. Recursive Functions and Computability. Computational Structures for Lambda Calculus. Nondeterministically and Concurrently Computing Agents. Computing Model for Interpreting PIS Specifications. Computer Aided Tools in Computing. Epilog. Appendices. 224 pages, ISBN 0-442-00525-3, $38.95 (March 1991) ABOUT THE AUTHORS: Eric S. Chan obtained his B.S. Degree in Computer Engineering from SMU in 1986. He obtained his M.S. Degree in Computer Science from SMU in 1989, under the direction of Professor Murat M. Tanik. Currently, he is employed at Harris Adcom in Dallas, Texas, as a Software Engineer. He is a member of ACM and IEEE and has published several SMU technical reports. Murat M. Tanik is an Associate Professor of Computer Science and Engineering at SMU, and is directing the Software Engineering and Knowledge Based Systems research group in the department. He has a B.S. in Mathematics from Middle East Technical University. He holds an M.S. in Computer Science and Mathematical Statistics, as well as a Ph.D. in Computer Science, from Texas A&M University. His interest in Software Development paradigms started with a NASA Software Development Environment project in 1974, and since then he has been a student of Software Engineering discipline. He has worked for more than a decade as a senior research scientist for Arthur A. Collins, founder of Collins Radio Coorporation, and Raymond T. Yeh, the founder of ISSI Inc. and the founding Editor-In-Chief of IEEE Transactions on Software Engineering. In addition to FUNDAMENTALS OF COMPUTING FOR SOFTWARE ENGINEERS, he has written three books and many articles and reports on software related issues. FUNDAMENTALS OF COMPUTING FOR SOFTWARE ENGINEERS, by Chan/Tanik.......$38.95 Van Nostrand Reinhold, Mail Order Department, P.O.Box 668, Florence, KY 41022-0668 For credit card orders call toll free: 1 (800) 926-2665