The Specification of Complex Systems

The Specification of Complex Systems

4.11 - 1251 ratings - Source

Presents a comparison of formal specification methods, including algebraic specification, state-model specification using the Vienna development method (VDM), and the specification of concurrent systems (using Milner's CCS)Lipschutz, S., Theory and Problems of Set Theory and Related Topics, Schaum Outline Series, McGraw-Hill (1964). ... Manna, Z. and R. Waldinger, a#39;Synthesis: Dreams ... McCarthy, J. et al., LISP 1.5 Programmers Manual, MIT Press (1962). ... Nakajima, R., M. Honda and H. Nakahara, a#39;Hierarchical Program Specification and Verification - A Many-sorted Logical Approacha#39;, Acta Informatica, 14, 134-155 anbsp;...

Title:The Specification of Complex Systems
Author:Bernard Cohen, William T. Harwood, Melvyn I. Jackson
Publisher:Addison Wesley Publishing Company - 1986-01-01


You Must CONTINUE and create a free account to access unlimited downloads & streaming