Background
Horning, James Jay was born on July 24, 1942 in Chattanooga. Son of James June and Irma Lee (Burden) Horning.
(This text addresses an important topic: the use of a form...)
This text addresses an important topic: the use of a formal specification language and supporting tools. Formal methods are becoming increasingly important to the practicing programmer; Springer-Verlag has a tradition of publishing books in this area. The book's subject, the Larch specification work at MIT and DEC, is respected amongst academic computer scientists. As plans begin for Larch tools to be distributed to the community, this book can serve as an invaluable reference. The authors of this text, James Horning and John Guttag, want their book to reach people interested in implementing formal methods into practical use. This readable text makes extensive use of examples, and serves as both a reference manual and as a tutorial. Chapter 1 discusses the use of formal specifications in program development, providing a context for the technical material that follows. Chapter 2 contains a very short introduction to the notation of mathematical logic. The chapter is aimed at those with no background in logic, and provides all the logic background needed to understand the remainder of the book. The remaining six chapters of the book contains an in-depth look at Larch, and the authors' approach to the formal specification of program components.
http://www.amazon.com/gp/product/0387940065/?tag=2022091-20
Horning, James Jay was born on July 24, 1942 in Chattanooga. Son of James June and Irma Lee (Burden) Horning.
Bachelor, Pacific Union College, 1963. Master of Science, University of California at Los Angeles, 1965. Doctor of Philosophy, Stanford University, 1969.
Message Telecommunications Service/masters fellow Hughes Aircraft, Culver City, California, 1964-1965. Computing center director Loma Linda (California) University, 1965-1966. Assistant professor University Toronto, Ontario, Canada, 1969-1972, associate professor Canada, 1972-1977.
Materials research society Xerox Palo Alto (California) Research Center, 1977-1978, principal scientist, 1978-1982, research fellow, 1982-1984. Senior consultant Digital Equipment Corporation/Sys. Research Center, Palo Alto, 1984-1996.
Research fellow InterTrust Technologies Corporation/STAR Laboratory, Sunnyvale, California, 1996-1997, director, since 1997. Member editorial board Springer-Verlag Texts and Monographs in Computer Science, New York City, 1977-1985.
(This text addresses an important topic: the use of a form...)
Fellow Association for Computing Machinery (programming language editor Communications of Association for Computing Machinery, member numerous committees). Member Institute of Electrical and Electronics Engineers, International Federation Information Processing (chairman working group, technical committee, Silver core award), Sigma Pi Sigma.
Married Jane Elizabeth Olsen.