TY  - BOOK
AU  - Broy,M.
AU  - Schieder,Birgit
ED  - NATO Advanced Study Institute on Mathematical Methods in Program Development
TI  - Mathematical methods in program development
T2  - NATO ASI series. Series F, Computer and systems sciences
SN  - 354063195X
AV  - QA76.6 
U1  - 005.1/01/51 
PY  - 1997///
CY  - Berlin, New York
PB  - Springer
KW  - Computer programming
KW  - Computer software
KW  - Development
KW  - Mathematical methods
N1  - "Proceedings of the NATO Advances Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30-August 11, 1996"--T.p. verso; Includes bibliographical references; Eliminating the Chaff - Again: Banquet Speech at Marktoberdorf 1996 / D. Gries -- Envoi at Marktoberdorf 1996 / C. A. R. Hoare -- E. W. Dijkstra -- Heuristics for a Very Simple Euclidean Proof -- Complete DAGs -- A Result of Rabbit Removal -- For the Record: Painting the Squared Plane -- The Marriage Agency -- Courtesy Dr. Birgit Schieder -- WLOG, or the Misery of the Unordered Pair -- My Simplest Theorem -- The Transitive Closure of a Wellfounded Relation -- The Formula for sin.([alpha] + [beta]) -- A Kind of Converse of Leibniz's Principle -- The Strengths of the Academic Enterprise -- W. H. J. Feijen and A. J. M. van Gasteren -- On a Method for the Formal Design of Multiprograms -- D. Gries -- Foundations for Calculational Logic -- J.-R. Abrial and L. Mussat -- Specification and Design of a Transmission Protocol by Successive Refinements Using B -- B. von Karger -- Formal Derivation of a Protocol in CSP -- F. L. Bauer -- Genesis of Algorithmic Languages -- M. Broy -- Mathematical Methods in System and Software Engineering -- C. A. R. Hoare -- Unified Theories of Programming -- K. Fisher and J. C. Mitchell -- On the Relationship Between Classes, Objects and Data Abstraction -- G. Smolka -- The Oz Programming Model -- A Foundation for Higher-order Concurrent Constraint Programming -- L. C. Paulson -- Tool Support for Logics of Programs -- N. Shankar -- Machine-Assisted Verification Using Theorem Proving and Model Checking
ER  -