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 Details

Author:   C.J. Koomen
Publisher:   Springer
Imprint:   Springer
Edition:   1991 ed.
Volume:   147
Dimensions:   Width: 15.50cm , Height: 1.50cm , Length: 23.50cm
Weight:   0.560kg
ISBN:  

9780792392033

ISBN 10:   0792392035
Pages:   251
Publication Date:   30 September 1991
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

I 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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions