Generating software from specifications:
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Sudbury, Mass.
Jones and Bartlett
2007
|
| Ausgabe: | 1. ed. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 413 S. Ill., graph. Darst. |
| ISBN: | 0763741248 9780763741242 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV022471271 | ||
| 003 | DE-604 | ||
| 005 | 20071207 | ||
| 007 | t | ||
| 008 | 070619s2007 xxuad|| |||| 00||| eng d | ||
| 010 | |a 2006009299 | ||
| 020 | |a 0763741248 |9 0-7637-4124-8 | ||
| 020 | |a 9780763741242 |9 978-0-7637-4124-2 | ||
| 035 | |a (OCoLC)65197881 | ||
| 035 | |a (DE-599)BVBBV022471271 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-703 | ||
| 050 | 0 | |a QA76.76.D47 | |
| 082 | 0 | |a 005.1 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 100 | 1 | |a Kastens, Uwe |d 1946- |e Verfasser |0 (DE-588)108476464 |4 aut | |
| 245 | 1 | 0 | |a Generating software from specifications |c Uwe Kastens ; Anthony M. Sloane ; William M. Waite |
| 250 | |a 1. ed. | ||
| 264 | 1 | |a Sudbury, Mass. |b Jones and Bartlett |c 2007 | |
| 300 | |a X, 413 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Générateurs (Logiciels) | |
| 650 | 7 | |a Générateurs (logiciels) |2 ram | |
| 650 | 4 | |a Générateurs de codes | |
| 650 | 4 | |a Logiciels - Développement | |
| 650 | 7 | |a Logiciels - Développement |2 ram | |
| 650 | 4 | |a Logiciels - Réutilisation | |
| 650 | 7 | |a Logiciels - Réutilisation |2 ram | |
| 650 | 4 | |a Modules d'extension (Logiciels) | |
| 650 | 7 | |a Modules d'extension (logiciels) |2 ram | |
| 650 | 4 | |a Programmation automatique | |
| 650 | 7 | |a Programmation automatique |2 ram | |
| 650 | 4 | |a Computer software |x Development | |
| 650 | 4 | |a Computer software |v Specifications | |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarespezifikation |0 (DE-588)4056186-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Sloane, Anthony M. |e Verfasser |4 aut | |
| 700 | 1 | |a Waite, William M. |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015678756&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015678756 | ||
Datensatz im Suchindex
| _version_ | 1804136558606942208 |
|---|---|
| adam_text | Contents
Preface iii
1 Introduction 1
1.1 Generators 3
1.2 Domain Specific Languages 6
1.3 Reuse 9
1 How Generators Provide Leverage 15
2 Structured Output 19
2.1 The Web site Maintenance Problem 20
2.2 Generating the Memex Web Site Text Module 24
2.2.1 An abstraction of structured text 24
2.2.2 Building a structured text abstraction 29
2.2.3 Converting to linear text 31
2.3 Programming the Memex Web Site Text Module 34
2.3.1 Class definitions for Web page text fragments 34
2.3.2 Constructors for Web page text fragments 36
2.4 Hand Coding vs. Generation 37
3 Storing Entities with Properties 39
3.1 The Student Data Problem 40
3.2 Generating a Property Storage Module 42
3.3 Programming a Property Storage Module 45
3.3.1 A general property module 45
3.3.2 Implementing property types 48
3.3.3 Implementing access mechanisms 48
3.3.4 Applying access mechanisms to properties 50
3.4 Hand Coding vs. Generation 51
vi
CONTENTS vii
4 Visiting Trees 55
4.1 The Table Layout Problem 56
4.2 Generating the Table Layout Module 60
4.2.1 Specifying the tree structure 60
4.2.2 Specifying computations in trees 61
4.2.3 The generated visitor module 65
4.3 Programming the Table Layout Module 65
4.3.1 Implementing the tree structure 66
4.3.2 Using the Visitor design pattern 68
4.3.3 Scheduling operations on tree walks 72
4.3.4 Storing values during tree walks 75
4.4 Hand Coding vs. Generation 77
5 Names and Entities 81
5.1 The Structure Generator Task 82
5.2 Specifying Name Analysis for the Structure Generator 83
5.2.1 Associating name analysis roles with language constructs ... 83
5.2.2 Name analysis computations 87
5.3 Programming the Name Analysis Phase 90
6 Constructing Trees 95
6.1 The Calendar Tree Construction Problem 95
6.2 Generating a Calendar Structuring Program 98
6.2.1 Generating a parser 99
6.2.2 Generating a lexical analyzer 100
6.2.3 Generating a tree builder 103
6.3 Programming a Calendar Structuring Program 104
6.3.1 Programming a lexical analyzer 105
6.3.2 Programming a parser 109
6.3.3 Programming a tree builder 112
6.4 Hand Coding vs. Generation 112
7 An Integrated Approach 115
7.1 Task Decomposition 115
7.2 Generating a Structure Generator 117
7.2.1 Structural analysis 117
7.2.2 Specification of computations in tree contexts 120
7.2.3 Property analysis 122
7.2.4 Transformation 125
viii CONTENTS
7.3 Programming a Structure Generator 129
7.3.1 Structural analysis 130
7.3.2 Semantic analysis 131
7.3.3 Transformation 133
7.4 Hand Coding vs. Generation 134
II Support Infrastructure 139
8 Execution Monitoring 141
8.1 Source Level Execution Models 142
8.2 Specification Level Execution Models 144
8.3 The Noosa Execution Monitor 146
8.4 Debugging Situations 151
8.5 Implementing Execution Monitors 153
9 Modularity and Generators 157
9.1 A File Based Module Mechanism 158
9.1.1 Genericity 159
9.1.2 Influence on specification language design 160
9.2 Literate Programming 161
9.2.1 Why use literate programming? 165
9.2.2 Design strategies for specification based programs 166
9.3 FunnelWeb Specifications 167
10 Software Manufacturing 171
10.1 Two Manufacturing Scenarios 173
10.1.1 Produce a structure generator 173
10.1.2 Monitor execution 175
10.2 Defining a Manufacturing Process 177
10.2.1 Managing the overall process 177
10.2.2 Carrying out a single manufacturing process 183
10.2.3 Denning common infrastructure 188
10.3 Implementing the Process 193
10.3.1 Process independent operations 193
10.3.2 Process dependent operations 196
CONTENTS ix
III Complete Examples 203
11 Desk Calculator 205
11.1 Expressions 206
11.2 Expression Values 210
11.3 Extensions 213
11.3.1 More than one expression 213
11.3.2 Variables 215
11.3.3 Constants 219
11.3.4 Library functions 220
11.4 Lessons Learned 226
12 Language Extension 229
12.1 Extending Java with Formal Specifications 229
12.1.1 A Java extension 230
12.1.2 Implementation strategy 233
12.2 Implementing Language Extensions 234
12.3 Unparsing 236
12.3.1 Deriving an unparser 237
12.3.2 Idem unparsing 237
12.3.3 Unparsing terminal symbols 239
12.3.4 Overriding node representations 239
12.4 Implementing the Java Extension 240
12.4.1 Defining the tree structure 240
12.4.2 Translation 242
12.4.3 Completing the specification 249
12.4.4 Specification files 255
12.5 Lessons Learned 256
13 A Pattern based Text Generator 259
13.1 Structuring 260
13.2 Name Analysis 262
13.2.1 Insertion points 263
13.2.2 Pattern names 265
13.2.3 Function calls 272
13.3 Property Analysis 273
13.3.1 Types of insertion points 273
13.3.2 Type check for function calls 275
x CONTENTS
13.4 Transformation 280
13.4.1 General techniques 280
13.4.2 Insertion key lists 281
13.4.3 Special case conditions 287
13.4.4 Generating the factory module 291
13.4.5 Factory function implementation 294
13.4.6 Generating the pattern class module 300
13.4.7 Implementation of the Write methods 307
14 A Manufacturing Problem 315
14.1 The Document Manufacturing Process 316
14.1.1 Raw material 316
14.1.2 Tools 318
14.1.3 Relationships 319
14.2 Automating the Process 320
14.2.1 Describing the document manufacturing problem 321
14.2.2 Determining the formatter and BibTeX inputs 327
14.2.3 Format the text 338
14.2.4 Format the bibliography 348
14.2.5 Update the auxiliary files 350
14.2.6 Obtain PostScript text 351
14.2.7 Obtain PDF text 353
14.3 The TeX Package 353
14.4 A Filter for Included Filenames 357
14.4.1 Interesting TeX commands 357
14.4.2 Check for an interesting command 360
14.4.3 texscan.c 362
Bibliography 365
Index 369
|
| adam_txt |
Contents
Preface iii
1 Introduction 1
1.1 Generators 3
1.2 Domain Specific Languages 6
1.3 Reuse 9
1 How Generators Provide Leverage 15
2 Structured Output 19
2.1 The Web site Maintenance Problem 20
2.2 Generating the Memex Web Site Text Module 24
2.2.1 An abstraction of structured text 24
2.2.2 Building a structured text abstraction 29
2.2.3 Converting to linear text 31
2.3 Programming the Memex Web Site Text Module 34
2.3.1 Class definitions for Web page text fragments 34
2.3.2 Constructors for Web page text fragments 36
2.4 Hand Coding vs. Generation 37
3 Storing Entities with Properties 39
3.1 The Student Data Problem 40
3.2 Generating a Property Storage Module 42
3.3 Programming a Property Storage Module 45
3.3.1 A general property module 45
3.3.2 Implementing property types 48
3.3.3 Implementing access mechanisms 48
3.3.4 Applying access mechanisms to properties 50
3.4 Hand Coding vs. Generation 51
vi
CONTENTS vii
4 Visiting Trees 55
4.1 The Table Layout Problem 56
4.2 Generating the Table Layout Module 60
4.2.1 Specifying the tree structure 60
4.2.2 Specifying computations in trees 61
4.2.3 The generated visitor module 65
4.3 Programming the Table Layout Module 65
4.3.1 Implementing the tree structure 66
4.3.2 Using the Visitor design pattern 68
4.3.3 Scheduling operations on tree walks 72
4.3.4 Storing values during tree walks 75
4.4 Hand Coding vs. Generation 77
5 Names and Entities 81
5.1 The Structure Generator Task 82
5.2 Specifying Name Analysis for the Structure Generator 83
5.2.1 Associating name analysis roles with language constructs . 83
5.2.2 Name analysis computations 87
5.3 Programming the Name Analysis Phase 90
6 Constructing Trees 95
6.1 The Calendar Tree Construction Problem 95
6.2 Generating a Calendar Structuring Program 98
6.2.1 Generating a parser 99
6.2.2 Generating a lexical analyzer 100
6.2.3 Generating a tree builder 103
6.3 Programming a Calendar Structuring Program 104
6.3.1 Programming a lexical analyzer 105
6.3.2 Programming a parser 109
6.3.3 Programming a tree builder 112
6.4 Hand Coding vs. Generation 112
7 An Integrated Approach 115
7.1 Task Decomposition 115
7.2 Generating a Structure Generator 117
7.2.1 Structural analysis 117
7.2.2 Specification of computations in tree contexts 120
7.2.3 Property analysis 122
7.2.4 Transformation 125
viii CONTENTS
7.3 Programming a Structure Generator 129
7.3.1 Structural analysis 130
7.3.2 Semantic analysis 131
7.3.3 Transformation 133
7.4 Hand Coding vs. Generation 134
II Support Infrastructure 139
8 Execution Monitoring 141
8.1 Source Level Execution Models 142
8.2 Specification Level Execution Models 144
8.3 The Noosa Execution Monitor 146
8.4 Debugging Situations 151
8.5 Implementing Execution Monitors 153
9 Modularity and Generators 157
9.1 A File Based Module Mechanism 158
9.1.1 Genericity 159
9.1.2 Influence on specification language design 160
9.2 Literate Programming 161
9.2.1 Why use literate programming? 165
9.2.2 Design strategies for specification based programs 166
9.3 FunnelWeb Specifications 167
10 Software Manufacturing 171
10.1 Two Manufacturing Scenarios 173
10.1.1 Produce a structure generator 173
10.1.2 Monitor execution 175
10.2 Defining a Manufacturing Process 177
10.2.1 Managing the overall process 177
10.2.2 Carrying out a single manufacturing process 183
10.2.3 Denning common infrastructure 188
10.3 Implementing the Process 193
10.3.1 Process independent operations 193
10.3.2 Process dependent operations 196
CONTENTS ix
III Complete Examples 203
11 Desk Calculator 205
11.1 Expressions 206
11.2 Expression Values 210
11.3 Extensions 213
11.3.1 More than one expression 213
11.3.2 Variables 215
11.3.3 Constants 219
11.3.4 Library functions 220
11.4 Lessons Learned 226
12 Language Extension 229
12.1 Extending Java with Formal Specifications 229
12.1.1 A Java extension 230
12.1.2 Implementation strategy 233
12.2 Implementing Language Extensions 234
12.3 Unparsing 236
12.3.1 Deriving an unparser 237
12.3.2 Idem unparsing 237
12.3.3 Unparsing terminal symbols 239
12.3.4 Overriding node representations 239
12.4 Implementing the Java Extension 240
12.4.1 Defining the tree structure 240
12.4.2 Translation 242
12.4.3 Completing the specification 249
12.4.4 Specification files 255
12.5 Lessons Learned 256
13 A Pattern based Text Generator 259
13.1 Structuring 260
13.2 Name Analysis 262
13.2.1 Insertion points 263
13.2.2 Pattern names 265
13.2.3 Function calls 272
13.3 Property Analysis 273
13.3.1 Types of insertion points 273
13.3.2 Type check for function calls 275
x CONTENTS
13.4 Transformation 280
13.4.1 General techniques 280
13.4.2 Insertion key lists 281
13.4.3 Special case conditions 287
13.4.4 Generating the factory module 291
13.4.5 Factory function implementation 294
13.4.6 Generating the pattern class module 300
13.4.7 Implementation of the Write methods 307
14 A Manufacturing Problem 315
14.1 The Document Manufacturing Process 316
14.1.1 Raw material 316
14.1.2 Tools 318
14.1.3 Relationships 319
14.2 Automating the Process 320
14.2.1 Describing the document manufacturing problem 321
14.2.2 Determining the formatter and BibTeX inputs 327
14.2.3 Format the text 338
14.2.4 Format the bibliography 348
14.2.5 Update the auxiliary files 350
14.2.6 Obtain PostScript text 351
14.2.7 Obtain PDF text 353
14.3 The TeX Package 353
14.4 A Filter for Included Filenames 357
14.4.1 Interesting TeX commands 357
14.4.2 Check for an interesting command 360
14.4.3 texscan.c 362
Bibliography 365
Index 369 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Kastens, Uwe 1946- Sloane, Anthony M. Waite, William M. |
| author_GND | (DE-588)108476464 |
| author_facet | Kastens, Uwe 1946- Sloane, Anthony M. Waite, William M. |
| author_role | aut aut aut |
| author_sort | Kastens, Uwe 1946- |
| author_variant | u k uk a m s am ams w m w wm wmw |
| building | Verbundindex |
| bvnumber | BV022471271 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.D47 |
| callnumber-search | QA76.76.D47 |
| callnumber-sort | QA 276.76 D47 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 |
| ctrlnum | (OCoLC)65197881 (DE-599)BVBBV022471271 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| edition | 1. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02226nam a2200589zc 4500</leader><controlfield tag="001">BV022471271</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20071207 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">070619s2007 xxuad|| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2006009299</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0763741248</subfield><subfield code="9">0-7637-4124-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780763741242</subfield><subfield code="9">978-0-7637-4124-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)65197881</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022471271</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.D47</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kastens, Uwe</subfield><subfield code="d">1946-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)108476464</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Generating software from specifications</subfield><subfield code="c">Uwe Kastens ; Anthony M. Sloane ; William M. Waite</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Sudbury, Mass.</subfield><subfield code="b">Jones and Bartlett</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 413 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Générateurs (Logiciels)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Générateurs (logiciels)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Générateurs de codes</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels - Développement</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logiciels - Développement</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels - Réutilisation</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logiciels - Réutilisation</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modules d'extension (Logiciels)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modules d'extension (logiciels)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation automatique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation automatique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Development</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="v">Specifications</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sloane, Anthony M.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Waite, William M.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015678756&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015678756</subfield></datafield></record></collection> |
| id | DE-604.BV022471271 |
| illustrated | Illustrated |
| index_date | 2024-07-02T17:44:45Z |
| indexdate | 2024-07-09T20:58:19Z |
| institution | BVB |
| isbn | 0763741248 9780763741242 |
| language | English |
| lccn | 2006009299 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015678756 |
| oclc_num | 65197881 |
| open_access_boolean | |
| owner | DE-703 |
| owner_facet | DE-703 |
| physical | X, 413 S. Ill., graph. Darst. |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Jones and Bartlett |
| record_format | marc |
| spelling | Kastens, Uwe 1946- Verfasser (DE-588)108476464 aut Generating software from specifications Uwe Kastens ; Anthony M. Sloane ; William M. Waite 1. ed. Sudbury, Mass. Jones and Bartlett 2007 X, 413 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Générateurs (Logiciels) Générateurs (logiciels) ram Générateurs de codes Logiciels - Développement Logiciels - Développement ram Logiciels - Réutilisation Logiciels - Réutilisation ram Modules d'extension (Logiciels) Modules d'extension (logiciels) ram Programmation automatique Programmation automatique ram Computer software Development Computer software Specifications Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 s Softwarespezifikation (DE-588)4056186-0 s DE-604 Sloane, Anthony M. Verfasser aut Waite, William M. Verfasser aut HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015678756&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Kastens, Uwe 1946- Sloane, Anthony M. Waite, William M. Generating software from specifications Générateurs (Logiciels) Générateurs (logiciels) ram Générateurs de codes Logiciels - Développement Logiciels - Développement ram Logiciels - Réutilisation Logiciels - Réutilisation ram Modules d'extension (Logiciels) Modules d'extension (logiciels) ram Programmation automatique Programmation automatique ram Computer software Development Computer software Specifications Softwareentwicklung (DE-588)4116522-6 gnd Softwarespezifikation (DE-588)4056186-0 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4056186-0 |
| title | Generating software from specifications |
| title_auth | Generating software from specifications |
| title_exact_search | Generating software from specifications |
| title_exact_search_txtP | Generating software from specifications |
| title_full | Generating software from specifications Uwe Kastens ; Anthony M. Sloane ; William M. Waite |
| title_fullStr | Generating software from specifications Uwe Kastens ; Anthony M. Sloane ; William M. Waite |
| title_full_unstemmed | Generating software from specifications Uwe Kastens ; Anthony M. Sloane ; William M. Waite |
| title_short | Generating software from specifications |
| title_sort | generating software from specifications |
| topic | Générateurs (Logiciels) Générateurs (logiciels) ram Générateurs de codes Logiciels - Développement Logiciels - Développement ram Logiciels - Réutilisation Logiciels - Réutilisation ram Modules d'extension (Logiciels) Modules d'extension (logiciels) ram Programmation automatique Programmation automatique ram Computer software Development Computer software Specifications Softwareentwicklung (DE-588)4116522-6 gnd Softwarespezifikation (DE-588)4056186-0 gnd |
| topic_facet | Générateurs (Logiciels) Générateurs (logiciels) Générateurs de codes Logiciels - Développement Logiciels - Réutilisation Modules d'extension (Logiciels) Modules d'extension (logiciels) Programmation automatique Computer software Development Computer software Specifications Softwareentwicklung Softwarespezifikation |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015678756&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT kastensuwe generatingsoftwarefromspecifications AT sloaneanthonym generatingsoftwarefromspecifications AT waitewilliamm generatingsoftwarefromspecifications |