[comp.software-eng] Book News

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