Overview

Full Product Details

Author:   Narinder Singh
Publisher:   Kluwer Academic Publishers
Imprint:   Kluwer Academic Publishers
Edition:   1987 ed.
Volume:   19
Dimensions:   Width: 15.50cm , Height: 1.20cm , Length: 23.50cm
Weight:   1.050kg
ISBN:  

9780898381856

ISBN 10:   0898381851
Pages:   194
Publication Date:   28 February 1987
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

1 Introduction.- 1.1 Motivation.- 1.2 Exploiting Design Morphology.- 1.3 Methodology.- 1.4 Example.- 1.5 Relationship to other work.- 1.6 Overview.- 2 Reformulation.- 2.1 Devices and Designs.- 2.2 Reformulating Designs.- 2.3 Design Correctness.- 2.4 Automatically Reformulating Designs.- 2.5 Manually Reformulating Designs.- 3 General Representation and Reasoning.- 3.1 Requirements for a Design Description Language.- 3.2 Syntax and Semantics for Predicate Calculus.- 3.3 Describing Designs.- 3.4 Automated Deduction.- 3.5 Utility of General Representation and Reasoning.- 3.5.1 Advantages.- 3.5.2 Disadvantages.- 4 Test Generation.- 4.1 Task Definition.- 4.2 Previous Work.- 4.3 The Saturn Test Generation System.- 5 Conclusion.- 5.1 Summary of Key Ideas.- 5.2 Further Work.- 5.3 Implementation State.- A Printer Adapter Card.- B Tests for the Printer Adapter Card.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions