Formal Engineering for Industrial Software Development: Using the SOFL Method
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Berlin
Springer
2004
|
| Ausgabe: | 1. Aufl. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 408 S. graph. Darst. |
| ISBN: | 3540206027 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV019428259 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 041018s2004 gw d||| |||| 00||| ger d | ||
| 016 | 7 | |a 970162693 |2 DE-101 | |
| 020 | |a 3540206027 |c Gb. : EUR 64.15 (freier Pr.), CHF 106.00 |9 3-540-20602-7 | ||
| 035 | |a (OCoLC)55018444 | ||
| 035 | |a (DE-599)BVBBV019428259 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-573 | ||
| 050 | 0 | |a QA76.76.D47 | |
| 082 | 0 | |a 004 | |
| 082 | 0 | |a 005.1 |2 22 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Liu, Shaoying |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Formal Engineering for Industrial Software Development |b Using the SOFL Method |c Shaoying Liu |
| 250 | |a 1. Aufl. | ||
| 264 | 1 | |a Berlin |b Springer |c 2004 | |
| 300 | |a 408 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Computer software |x Development | |
| 650 | 4 | |a Formal methods (Computer science) | |
| 650 | 4 | |a Object-oriented programming (Computer science) | |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a SOFL |0 (DE-588)4779318-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a SOFL |0 (DE-588)4779318-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012888291&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-012888291 | ||
Datensatz im Suchindex
| _version_ | 1804132894638080000 |
|---|---|
| adam_text | SHAOYING LIU FORMAL ENGINEERING FOR INDUSTRIAL SOFTWARE DEVELOPMENT
USING THE SOFL METHOD WITH 90 FIGURES AND 30 TABLES SPRINGER CONTENTS
INTRODUCTION 1 1.1 SOFTWARE LIFE CYCLE ... 2 1.2 THE PROBLEM 4 1.3
FORMAL METHODS : 5 1.3.1 WHAT ARE FORMAL METHODS 5 1.3.2 SOME COMMONLY
USED FORMAL METHODS 7 1.3.3 CHALLENGES TO FORMAL METHODS 9 1.4 FORMAL
ENGINEERING METHODS 10 1.5 WHAT IS SOFL 13 1.6 A LITTLE HISTORY OF SOFL
, 16 1.7 COMPARISON WITH RELATED WORK 17 1.8 EXERCISES 19 PROPOSITIONAL
LOGIC 21 2.1 PROPOSITIONS 21 2.2 OPERATORS 22 2.3 CONJUNCTION 23 2.4
DISJUNCTION 24 2.5 NEGATION 24 2.6 IMPLICATION 25 2.7 EQUIVALENCE 25 2.8
TAUTOLOGY, CONTRADICTION, AND CONTINGENCY 26 2.9 NORMAL FORMS 27 2.10
SEQUENT 27 2.11 PROOF 28 2.11.1 INFERENCE RULES. . . 28 2.11.2 RULES
FOR CONJUNCTION 29 2.11.3 RULES FOR DISJUNCTION 29 2.11.4 RULES FOR
NEGATION 30 2.11.5 RULES FOR IMPLICATION 30 XVI CONTENTS 2.11.6 RULES
FOR EQUIVALENCE 30 2.11.7 PROPERTIES OF PROPOSITIONAL EXPRESSIONS 31
2.12 EXERCISES 34 3 PREDICATE LOGIC 37 3.1 PREDICATES 37 3.2 QUANTIFIERS
40 3.2.1 THE UNIVERSAL QUANTIFIER 40 3.2.2 THE EXISTENTIAL QUANTIFIER 41
3.2.3 QUANTIFIED EXPRESSIONS WITH MULTIPLE BOUND VARIABLES . 42 3.2.4
MULTIPLE QUANTIFIERS 43 3.2.5 DE MORGAN S LAWS 43 3.3 SUBSTITUTION 44
3.4 PROOF IN PREDICATE LOGIC 46 3.4.1 INTRODUCTION AND ELIMINATION OF
EXISTENTIAL QUANTIFIERS. 46 3.4.2 INTRODUCTION AND ELIMINATION OF
UNIVERSAL QUANTIFIERS . . 46 3.5 VALIDITY AND SATISFACTION 47 3.6
TREATMENT OF PARTIAL PREDICATES 48 3.7 FORMAL SPECIFICATION WITH
PREDICATES 50 3.8 EXERCISES 50 4 THE MODULE 53 4.1 MODULE FOR
ABSTRACTION 53 4.2 CONDITION DATA FLOW DIAGRAMS 55 4.3 PROCESSES 56 4.4
DATA FLOWS 68 4.5 DATA STORES 71 4.6 CONVENTION FOR NAMES 79 4.7
CONDITIONAL STRUCTURES 79 4.8 MERGING AND SEPARATING STRUCTURES 81 4.9
DIVERGING STRUCTURES 84 4.10 RENAMING STRUCTURE 86 4.11 CONNECTING
STRUCTURES 87 4.12 IMPORTANT ISSUES ON CDFDS 88 4.12.1 STARTING
PROCESSES 89 4.12.2 STARTING NODES 90 4.12.3 TERMINATING PROCESSES 90
4.12.4 TERMINATING NODES 91 4.12.5 ENABLING AND EXECUTING A CDFD 91
4.12.6 RESTRICTION ON PARALLEL PROCESSES 92 4.12.7 DISCONNECTED CDFDS 94
4.12.8 EXTERNAL PROCESSES 96 4.13 ASSOCIATING CDFD WITH A MODULE 97 4.14
HOW TO WRITE COMMENTS 104 4.15 A MODULE FOR THE ATM 104 CONTENTS XVII
4.16 COMPOUND EXPRESSIONS 107 4.16.1 THE IF-THEN-ELSE EXPRESSION 107
4.16.2 THE LET EXPRESSION 108 4.16.3 THE CASE EXPRESSION 109 4.16.4
REFERENCE TO PRE AND POSTCONDITIONS 110 4.17 FUNCTION DEFINITIONS ILL
4.17.1 EXPLICIT AND IMPLICIT SPECIFICATIONS . ILL 4.17.2 RECURSIVE
FUNCTIONS 113 4.18 EXERCISES 114 HIERARCHICAL CDFDS AND MODULES 117 5.1
PROCESS DECOMPOSITION 117 5.2 HANDLING STORES IN DECOMPOSITION 123 5.3
INPUT AND OUTPUT DATA FLOWS . * * - -124 5.4 THE CORRECTNESS OF
DECOMPOSITION 127 5.5 SCOPE 129 5.6 EXERCISES 132 EXPLICIT
SPECIFICATIONS 133 6.1 THE STRUCTURE OF AN EXPLICIT SPECIFICATION 133
6.2 ASSIGNMENT STATEMENT 134 6.3 SEQUENTIAL STATEMENTS 135 6.4
CONDITIONAL STATEMENTS 135 6.5 MULTIPLE CHOICE STATEMENTS 136 6.6 THE
BLOCK STATEMENT 137 6.7 THE WHILE STATEMENT 137 6.8 METHOD INVOCATION
138 6.9 INPUT AND OUTPUT STATEMENTS 139 6.10 EXAMPLE 139 6.11 EXERCISES
141 BASIC DATA TYPES 143 7.1 THE NUMERIC TYPES 143 7.2 THE CHARACTER
TYPE. , . 145 7.3 THE ENUMERATION TYPES ...:.. 146 7.4 THE BOOLEAN TYPE
147 7.5 AN EXAMPLE 148 7.6 EXERCISES 148 THE SET TYPES 151 8.1 WHAT IS A
SET 151 8.2 SET TYPE DECLARATION 152 8.3 CONSTRUCTORS AND OPERATORS ON
SETS 153 8.3.1 CONSTRUCTORS 153 8.3.2 OPERATORS 154 XVIII CONTENTS 8.4
SPECIFICATION WITH SET TYPES 160 8.5 EXERCISES 162 9 THE SEQUENCE AND
STRING TYPES 165 9.1 WHAT IS A SEQUENCE 165 9.2 SEQUENCE TYPE
DECLARATIONS 166 9.3 CONSTRUCTORS AND OPERATORS ON SEQUENCES 167 9.3.1
CONSTRUCTORS 167 9.3.2 OPERATORS 169 9.4 SPECIFICATIONS USING SEQUENCES
174 9.4.1 INPUT AND OUTPUT MODULE 174 9.4.2 MEMBERSHIP MANAGEMENT SYSTEM
175 9.5 EXERCISES 176 10 THE COMPOSITE AND PRODUCT TYPES 179 10.1
COMPOSITE TYPES 179 10.1.1 CONSTRUCTING A COMPOSITE TYPE 179 10.1.2
FIELDS INHERITANCE 181 10.1.3 CONSTRUCTOR 182 10.1.4 OPERATORS 182
10.1.5 COMPARISON 184 10.2 PRODUCT TYPES 184 10.3 AN EXAMPLE OF
SPECIFICATION 186 10.4 EXERCISES 188 11 THE MAP TYPES 191 11.1 WHAT IS A
MAP 191 11.2 THE TYPE CONSTRUCTOR 192 11.3 OPERATORS 193 11.3.1
CONSTRUCTORS 193 11.3.2 OPERATORS 194 11.4 SPECIFICATION USING A MAP 199
11.5 EXERCISES 201 12 THE UNION TYPES 20 3 12.1 UNION TYPE DECLARATION
203 12.2 A SPECIAL UNION TYPE 204 12.3 IS FUNCTION 205 12.4 A
SPECIFICATION WITH A UNION TYPE 205 12.5 EXERCISES 206 13 CLASSES 209
13.1 CLASSES AND OBJECTS 209 13.1.1 CLASS DEFINITION 210 13.1.2 OBJECTS
213 13.1.3 IDENTITY OF OBJECTS 214 CONTENTS XIX 13.2 REFERENCE AND
ACCESS CONTROL 214 13.3 THE REFERENCE OF A CURRENT OBJECT 216 13.4
INHERITANCE 217 13.4.1 WHAT IS INHERITANCE 217 13.4.2 SUPERCLASSES AND
SUBCLASSES 218 13.4.3 CONSTRUCTOR 220 13.4.4 METHOD OVERLOADING 220
13.4.5 METHOD OVERRIDING 221 13.4.6 GARBAGE COLLECTION 222 13.5
POLYMORPHISM 222 13.6 GENERIC CLASSES 224 13.7 AN EXAMPLE OF CLASS
HIERARCHY 226 13.8 EXAMPLE OF USING OBJECTS IN MODULES 229 13.9
EXERCISES 232 14 THE SOFTWARE DEVELOPMENT PROCESS 235 14.1 SOFTWARE
PROCESS USING SOFL 235 14.2 REQUIREMENTS ANALYSIS 236 14.2.1 THE
INFORMAL SPECIFICATION 237 14.2.2 THE SEMI-FORMAL SPECIFICATION 239 14.3
ABSTRACT DESIGN 243 14.4 EVOLUTION 252 14.5 DETAILED DESIGN 252 14.5.1
TRANSFORMATION FROM IMPLICIT TO EXPLICIT SPECIFICATIONS . 253 14.5.2
TRANSFORMATION FROM STRUCTURED TO OBJECT-ORIENTED SPECIFICATIONS 255
14.6 PROGRAM 257 14.7 VALIDATION AND VERIFICATION 258 14.8 ADAPTING THE
PROCESS TO SPECIFIC APPLICATIONS 259 14.9 EXERCISES 260 15 APPROACHES TO
CONSTRUCTING SPECIFICATIONS 261 15.1 THE TOP-DOWN APPROACH 261 15.1.1
THE CDFD-MODULE-FIRST STRATEGY 262 15.1.2 THE CDFD-HIERARCHY-FIRST
STRATEGY 263 15.1.3 THE MODULES AND CLASSES 264 15.2 THE MIDDLE-OUT
APPROACH 265 15.3 COMPARISON OF THE APPROACHES 267 15.4 EXERCISES 268 16
A CASE STUDY - MODELING AN ATM 269 16.1 INFORMAL USER REQUIREMENTS
SPECIFICATION 270 16.2 SEMI-FORMAL FUNCTIONAL SPECIFICATION 273 16.3
FORMAL ABSTRACT DESIGN SPECIFICATION 279 16.4 FORMAL DETAILED DESIGN
SPECIFICATION 287 XX CONTENTS 16.5 SUMMARY 300 16.6 EXERCISES 301 17
RIGOROUS REVIEW 303 17.1 THE PRINCIPLE OF RIGOROUS REVIEW 303 17.2
PROPERTIES 305 17.2.1 INTERNAL CONSISTENCY OF A PROCESS 305 17.2.2
INVARIANT-CONFORMANCE CONSISTENCY 307 17.2.3 SATISFIABILITY 308 17.2.4
INTERNAL CONSISTENCY OF CDFD 309 17.3 REVIEW TASK TREE 310 17.3.1 REVIEW
TASK TREE NOTATION 310 17.3.2 MINIMAL CUT SETS 312 17.3.3 REVIEW
EVALUATION 313 17.4 PROPERTY REVIEW 314 17.4.1 REVIEW OF CONSISTENCY
BETWEEN PROCESS AND INVARIANT.. 314 17.4.2 PROCESS CONSISTENCY REVIEW
316 17.4.3 REVIEW OF PROCESS SATISFIABILITY 317 17.4.4 REVIEW OF
INTERNAL CONSISTENCY OF CDFD 317 17.5 CONSTRUCTIVE AND CRITICAL REVIEW
319 17.6 IMPORTANT POINTS 320 17.7 EXERCISES 321 18 SPECIFICATION
TESTING 323 18.1 THE PROCESS OF TESTING 323 18.2 UNIT TESTING 325 18.2.1
PROCESS TESTING 326 18.2.2 INVARIANT TESTING 332 18.3 CRITERIA FOR TEST
CASE GENERATION 335 18.4 INTEGRATION TESTING 338 18.4.1 TESTING
SEQUENTIAL CONSTRUCTS 339 18.4.2 TESTING CONDITIONAL CONSTRUCTS 341
18.4.3 TESTING DECOMPOSITIONS 343 18.5 EXERCISES 346 19 TRANSFORMATION
FROM DESIGNS TO PROGRAMS 349 19.1 TRANSFORMATION OF DATA TYPES 350 19.2
TRANSFORMATION OF MODULES AND CLASSES 351 19.3 TRANSFORMATION OF
PROCESSES 357 19.3.1 TRANSFORMATION OF SINGLE-PORT PROCESSES 357 19.3.2
TRANSFORMATION OF MULTIPLE-PORT PROCESSES 360 19.4 TRANSFORMATION OF
CDFD 362 19.5 EXERCISES 369 CONTENTS XXI 20 INTELLIGENT SOFTWARE
ENGINEERING ENVIRONMENT 371 20.1 SOFTWARE ENGINEERING ENVIRONMENT 371
20.2 INTELLIGENT SOFTWARE ENGINEERING ENVIRONMENT 373 20.3 WAYS TO BUILD
AN ISEE 375 20.3.1 DOMAIN-DRIVEN APPROACH 375 20.3.2 METHOD-DRIVEN
APPROACH 375 20.3.3 COMBINATION OF BOTH 376 20.4 ISEE AND FORMALIZATION
376 20.5 ISEE FOR SOFL 377 20.5.1 SUPPORT FOR REQUIREMENTS ANALYSIS 377
20.5.2 SUPPORT FOR ABSTRACT DESIGN 378 20.5.3 SUPPORT FOR REFINEMENT 378
20.5.4 SUPPORT FOR VERIFICATION AND VALIDATION 379 20.5.5 SUPPORT FOR
TRANSFORMATION 379 20.5.6 SUPPORT FOR PROGRAM TESTING 379 20.5.7 SUPPORT
FOR SYSTEM MODIFICATION 380 20.5.8 SUPPORT FOR PROCESS MANAGEMENT 380
20.6 EXERCISES 381 REFERENCES 383 A SYNTAX OF SOFL 391 A.I
SPECIFICATIONS 391 A.2 MODULES 392 A.3 PROCESSES 392 A.4 FUNCTIONS 394
A.5 CLASSES 394 A.6 TYPES 395 A.7 EXPRESSIONS 396 A.8 ORDINARY
EXPRESSIONS 396 A.8.1 COMPOUND EXPRESSIONS 396 A.8.2 UNARY EXPRESSIONS
397 A.8.3 BINARY EXPRESSIONS 397 A.8.4 APPLY EXPRESSIONS 397 A.8.5 BASIC
EXPRESSIONS 399 A.8.6 CONSTANTS 399 A.8.7 SIMPLE VARIABLES 400 A.8.8
SPECIAL KEYWORDS 400 A.8.9 SET EXPRESSIONS 400 A.8.10 SEQUENCE
EXPRESSIONS . . . . 400 A.8.11 MAP EXPRESSIONS 401 A.8.12 COMPOSITE
EXPRESSIONS 401 A.8.13 PRODUCT EXPRESSIONS 401 XXII CONTENTS A.9
PREDICATE EXPRESSIONS 401 A.9.1 BOOLEAN VARIABLES 401 A.9.2 RELATIONAL
EXPRESSIONS 401 A.9.3 CONJUNCTION 402 A.9.4 DISJUNCTION 402 A.9.5
IMPLICATION 402 A.9.6 EQUIVALENCE 402 A.9.7 NEGATION 402 A.9.8
QUANTIFIED EXPRESSIONS 402 A.10 IDENTIFIERS 403 A.LL CHARACTER 403 A.12
COMMENTS 403 INDEX 405
|
| any_adam_object | 1 |
| author | Liu, Shaoying |
| author_facet | Liu, Shaoying |
| author_role | aut |
| author_sort | Liu, Shaoying |
| author_variant | s l sl |
| building | Verbundindex |
| bvnumber | BV019428259 |
| 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)55018444 (DE-599)BVBBV019428259 |
| dewey-full | 004 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science 005 - Computer programming, programs, data, security |
| dewey-raw | 004 005.1 |
| dewey-search | 004 005.1 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1. Aufl. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01667nam a2200457 c 4500</leader><controlfield tag="001">BV019428259</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">041018s2004 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">970162693</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540206027</subfield><subfield code="c">Gb. : EUR 64.15 (freier Pr.), CHF 106.00</subfield><subfield code="9">3-540-20602-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)55018444</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019428259</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-573</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">004</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">22</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="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Liu, Shaoying</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal Engineering for Industrial Software Development</subfield><subfield code="b">Using the SOFL Method</subfield><subfield code="c">Shaoying Liu</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">408 S.</subfield><subfield code="b">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">Computer software</subfield><subfield code="x">Development</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Object-oriented programming (Computer science)</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">SOFL</subfield><subfield code="0">(DE-588)4779318-1</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">SOFL</subfield><subfield code="0">(DE-588)4779318-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</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=012888291&sequence=000001&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-012888291</subfield></datafield></record></collection> |
| id | DE-604.BV019428259 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T20:00:04Z |
| institution | BVB |
| isbn | 3540206027 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-012888291 |
| oclc_num | 55018444 |
| open_access_boolean | |
| owner | DE-573 |
| owner_facet | DE-573 |
| physical | 408 S. graph. Darst. |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Springer |
| record_format | marc |
| spelling | Liu, Shaoying Verfasser aut Formal Engineering for Industrial Software Development Using the SOFL Method Shaoying Liu 1. Aufl. Berlin Springer 2004 408 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Computer software Development Formal methods (Computer science) Object-oriented programming (Computer science) Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf SOFL (DE-588)4779318-1 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 s SOFL (DE-588)4779318-1 s DE-604 HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012888291&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Liu, Shaoying Formal Engineering for Industrial Software Development Using the SOFL Method Computer software Development Formal methods (Computer science) Object-oriented programming (Computer science) Softwareentwicklung (DE-588)4116522-6 gnd SOFL (DE-588)4779318-1 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4779318-1 |
| title | Formal Engineering for Industrial Software Development Using the SOFL Method |
| title_auth | Formal Engineering for Industrial Software Development Using the SOFL Method |
| title_exact_search | Formal Engineering for Industrial Software Development Using the SOFL Method |
| title_full | Formal Engineering for Industrial Software Development Using the SOFL Method Shaoying Liu |
| title_fullStr | Formal Engineering for Industrial Software Development Using the SOFL Method Shaoying Liu |
| title_full_unstemmed | Formal Engineering for Industrial Software Development Using the SOFL Method Shaoying Liu |
| title_short | Formal Engineering for Industrial Software Development |
| title_sort | formal engineering for industrial software development using the sofl method |
| title_sub | Using the SOFL Method |
| topic | Computer software Development Formal methods (Computer science) Object-oriented programming (Computer science) Softwareentwicklung (DE-588)4116522-6 gnd SOFL (DE-588)4779318-1 gnd |
| topic_facet | Computer software Development Formal methods (Computer science) Object-oriented programming (Computer science) Softwareentwicklung SOFL |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012888291&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT liushaoying formalengineeringforindustrialsoftwaredevelopmentusingthesoflmethod |