5 Biography

D. Randolph Johnson received his Ph.D. in mathematical logic from Yale University in 1971 and joined the Mathematics Department at the University of Pittsburgh. Since 1978 he has been employed by the US National Security Agency working in such areas as speech communication, software system development, and formal methods. Since 1992 he has been contributing to the development of the ISO standard for Z as a member of the ISO and ANSI committees. Since 1991 he has been working on the application of formal methods to NSA systems, particularly component-based software.

Haim Kilov has been involved in all stages of information management system specification, design, and development. His approach to information modeling, widely used in financial, insurance, telecommunications, document management, and other areas, has contributed demonstrable clarity and understandability to specifying (components of) businesses and systems. It has been described in a book published by Prentice-Hall in 1994. Haim Kilov is using and extending his approach to specifications in customer engagements, and does research and consulting in the areas of business specifications and information modeling. He was affiliated with Bellcore and IBM and currently is affiliated with Merrill Lynch.