|
|
|||
|
||||
Overview""The professional schools will resume their professional responsibilities just to the degree that they can discover a science of design, a body of intellectually tough, partly formalizable, partly empirical teachable doctrine about the design process. "" [H.A. Simon, 1968} Design is aimed at the transformation or translation of a specification or high level description into a description in terms of some real-world primitives. As such it involves the removal of the uncertainty about the way in which a required system can be realized. To optimally support the design of systems, we must look at the design process as a whole and at the strong relationship that exists between a designer, the applied design method, the required design tools and the ways in which designs can be expressed. This book focuses on that relationship. The application field we are concerned with is the design of systems in which the communication between system elements is a major design feature. Examples of such communicating systems are: communication protocols, telephone exchange control systems, process control systems, highly modular systems, embedded software, interactive systems, and VLSI systems. In summary, we are concerned with systems in which concurrency plays a major role (concurrency defines the mutual relationship between the activities in the different parts of a system or within a collection of systems). Full Product DetailsAuthor: C.J. KoomenPublisher: Springer-Verlag New York Inc. Imprint: Springer-Verlag New York Inc. Edition: Softcover reprint of the original 1st ed. 1991 Volume: 147 Dimensions: Width: 16.00cm , Height: 1.40cm , Length: 24.00cm Weight: 0.434kg ISBN: 9781461367987ISBN 10: 1461367980 Pages: 251 Publication Date: 03 October 2012 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Table of ContentsI Expressing Designs.- 1 The Basic Design Cycle.- 2 Calculus of Communicating Systems.- 3 Verification.- 4 Fairness, queues and time.- 5 Synthesis.- 6 CCS and SDL.- 7 CCS and Petri Nets.- Ii A Design Method for Communicating SYSTEMS.- 8 Design Process Descriptions.- 9 The Communication Model.- 10 The Application Model.- 11 The Process Model.- Iii Design, Creativity and Learning.- 12 Design Iterations.- 13 The Role of CAD and Learning in Design.- 14 Design Metrics.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |