System development methodology

System development methodology

Mathematics and Computers 0 North-Holland Publishing in Simulation Company XXII (1980) 380-382 BOOK REVIEWS Edited by P. VAN REMOORTERE 1977 M.K...

85KB Sizes 6 Downloads 315 Views

Mathematics and Computers 0 North-Holland Publishing

in Simulation Company

XXII (1980)

380-382

BOOK REVIEWS Edited by P. VAN REMOORTERE

1977

M.K. Chandy and M. Reiser (Editors): Computer Performance. IFIP Working Group 7.3 on Computer System Modelling. North-Holland Publishing Company, Amsterdam, New York, 1978,546 pages, Dfl. 120.00, US $58.50. ISBN 0 444 85038 4

A.N. Michel and R.K. Miller: Qualitative Analysis of Large Scale Dynamical Systems. Academic Press, New York, 1977,289 pages, US $22.50. ISBN 0 12 49850 7. There are numerous examples of large dynamical systems that provide great challenges to engineers of all disciplines, physical scientists, life scientists, economists, social scientists and mathematicians. Examples of large scale dynamical systems are electric power systems, nuclear reactors, aerospace systems, large electric networks, economic systems, process control systems in the chemical and petroleum industries, different types of societal systems, and ecological systems. In order for this monograph to be applicable to many diverse areas and disciplines, the authors have endeavored to consider several important classes of equations that can be used in the modeling of a great variety of large scale dynamical systems. They present a unified approach of analyzing such systems at different hierarchical levels, namely, at the subsystem structure and at interconnecting structure levels. Following the introductory chapter, there are chapters on the following topics: Systems described by ordinary differential equations, Discrete time systems and sampled data systems, Infinite-dimensional systems, Input-output stability of large scale systems, and Integrodifferential systems. (From Proceedings of the IEEE, November 1978.)

P.G. Ciarlet: The Finite Element Method for Elliptic Problems. North-Holland Publishing Company, Amsterdam, New York, 1978, 534 pages, Dfl. 130.00, US $63.50. ISBN 0 444 85028 7. P.G. Hibbard and S.A. Schuman: Constructing Qualit: Software. Proceedings of the IFIP Working Conferenc on Constructing Quality Software, Novosibirsk, 23-2 May 1977. Notth-Holland Publishing Company, Amsterdam, New York, 1978,510 pages, Dfl. 110.00, US $53.75. ISBN 0 444 85106 2. GIF. Hice, W.S. Turner III and L.F. Cashwell: System Development Methodology. North-Holland Publishing Company, Amsterdam, New York, 1978,440 pages, Dfl. 85.00, US $37.75. ISBN 0 444 85143 7. D.W. Loveland: Automated Theorem Proving: A Logical Base. North-Holland Publishing Company, Amsterdam, New York, 1978,432 pages, Dfl. 100.00 US $48.75. ISBN 0 7204 0499 1. N.S. Rajbman (Editor): Identification and System Parameter Estimation. Proceedings of the 4th IFAC Symposium in Tbilisi, USSR, 21-27 September, 1976. North-Holland Publishing Company, Amsterdar New York, 1978, 1900 pages, Dfl. 350.00, US $ 170.75. ISBN 0 444 85096 1.

1978 B.W. Boehm et al.: Characteristics of Software quality. North-Holland Publishing Company, Amsterdam, New York, 1978,216 pages, Dfl. 65,00, US $25.00. ISBN 0 444 85 105 4.

N.S. Rajbman and V.M. Chadeev: Identification of Industrial Processes. The Application of Computers in Research and Production Control. North-Holland 380