Generating software from specifications / by Uwe Kastens, Anthony M. Sloane, William M. Waite.
Material type: TextPublication details: New Delhi. : Jones and Bartlett Publishers, c2008Description: x, 413 p. : ill. ; 24 cmISBN: 9788130909745 (pbk)Subject(s): Computer software -- Development | Computer software -- SpecificationsDDC classification: 005.1
Contents:
1. Introduction
2. Structured Output
3. Storing Entities with Properties
4. Visiting Trees
5. Names and Entities
6. Constructing Trees
7. An Integrated Approach
8. Execution Monitoring
9. Modularity and Generators
10. Software Manufacturing
11. Desk Calculator
12. Language Extension
13. A Pattern-based Text Generator
14. Manufacturing Problem
Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Books | Namal Library Computer Science | 005.1 KAS-G 2008 4218 (Browse shelf (Opens below)) | Available | 0004218 |
Total holds: 0
Browsing Namal Library shelves, Shelving location: Computer Science Close shelf browser (Hides shelf browser)
005.1 JON-E 2009 3768 Evolutionary computation : | 005.1 JON-E 2012 4201 The economics of software quality/ | 005.1 KAP-I 2007 378 Introduction to scientific computation and programming | 005.1 KAS-G 2008 4218 Generating software from specifications / | 005.1 KEL-S 2012 4605 Software quality and testing : | 005.1 KLE-A 2006 2914 Algorithm design / | 005.1 KLI-D 2013 4462 Design for software : |
Includes bibliographical references (p. 365-368) and index.
1. Introduction
2. Structured Output
3. Storing Entities with Properties
4. Visiting Trees
5. Names and Entities
6. Constructing Trees
7. An Integrated Approach
8. Execution Monitoring
9. Modularity and Generators
10. Software Manufacturing
11. Desk Calculator
12. Language Extension
13. A Pattern-based Text Generator
14. Manufacturing Problem
There are no comments on this title.