Software specification methods: an overview using a case study
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
London ; Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong
Springer
2001
|
| Schriftenreihe: | Formal approaches to computing and information technology
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XX, 282 S. graph. Darst. |
| ISBN: | 1852333537 |
Internformat
MARC
| LEADER | 00000nam a22000008c 4500 | ||
|---|---|---|---|
| 001 | BV013325303 | ||
| 003 | DE-604 | ||
| 005 | 20030411 | ||
| 007 | t | ||
| 008 | 000829s2001 gw d||| |||| 00||| eng d | ||
| 016 | 7 | |a 959440429 |2 DE-101 | |
| 020 | |a 1852333537 |c : DM 114.00 |9 1-85233-353-7 | ||
| 035 | |a (OCoLC)44732273 | ||
| 035 | |a (DE-599)BVBBV013325303 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-384 |a DE-634 | ||
| 050 | 0 | |a QA76.9.F67 | |
| 082 | 0 | |a 004/.01/51 |2 21 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 245 | 1 | 0 | |a Software specification methods |b an overview using a case study |c Marc Frappier ... (eds.) |
| 264 | 1 | |a London ; Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong |b Springer |c 2001 | |
| 300 | |a XX, 282 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Formal approaches to computing and information technology | |
| 650 | 4 | |a Logiciels - Spécifications | |
| 650 | 4 | |a Méthodes formelles (Informatique) | |
| 650 | 4 | |a Computer software |v Specifications | |
| 650 | 4 | |a Formal methods (Computer science) | |
| 650 | 0 | 7 | |a Softwarespezifikation |0 (DE-588)4056186-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Frappier, Marc |d 1965- |e Sonstige |0 (DE-588)122205596 |4 oth | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009087604&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009087604 | |
Datensatz im Suchindex
| _version_ | 1805085752464244736 |
|---|---|
| adam_text |
MARC FRAPPIER AND HENRI HABRIAS (EDS) SOFTWARE SPECIFICATION METHODS AN
OVERVIEW USING A CASE STUDY J SPRINGER CONTENTS LIST OF CONTRIBUTORS
XXI PART I STATE-BASED APPROACHES 1 Z: A FORMAL SPECIFICATION NOTATION
JONATHAN P. BOWEN 3 1.1 OVERVIEW OF THE Z NOTATION 3 1.1.1 THE PROCESS
OF PRODUCING A Z SPECIFICATION 3 1.2 ANALYSIS AND SPECIFICATION OF CASE
1 5 1.3 ANALYSIS AND SPECIFICATION OF CASE 2 13 1.4 VALIDATION OF THE
SPECIFICATION 16 1.5 THE NATURAL LANGUAGE DESCRIPTION OF THE
SPECIFICATIONS 18 1.6 CONCLUSION 18 2 SAZ: SSADM VERSION 4 AND Z FIONA
POLACK 21 2.1 OVERVIEW OF THE SAZ METHOD 21 2.2 ANALYSIS AND
SPECIFICATION OF CASE 1 22 2.2.1 Z SPECIFICATION 24 2.3 ANALYSIS AND
SPECIFICATION OF CASE 2 27 2.4 NATURAL LANGUAGE DESCRIPTION OF THE
SPECIFICATIONS 36 2.4.1 CASE 1 36 2.4.2 CASE 2 36 2.5 CONCLUSIONS 37 3
B: A MODEL-BASED METHOD USING GENERALISED SUBSTITUTIONS HASSAN DIAB,
MARC FRAPPIER 39 3.1 OVERVIEW OF THE B NOTATION 39 3.2 ANALYSIS AND
SPECIFICATION OF CASE 1 40 3.2.1 IDENTIFYING OPERATIONS 40 3.2.2
DEFINING THE STATE SPACE 41 XVI CONTENTS 3.2.3 DEFINING THE BEHAVIOUR OF
THE INVOICING OPERATION 44 3.2.4 THE PRODUCTL MACHINE 46 3.3 ANALYSIS
AND SPECIFICATION OF CASE 2 49 3.3.1 IDENTIFYING OPERATIONS 49 3.3.2 THE
PRODUCT2 MACHINE 49 3.3.3 THE INVOICING2 MACHINE 50 3.4 VALIDATION OF
THE SPECIFICATION 52 3.5 THE NATURAL LANGUAGE DESCRIPTION OF THE
SPECIFICATIONS 53 3.5.1 CASE 1 53 3.5.2 CASE 2 53 3.6 CONCLUSION 54 4
FROM OMT DIAGRAMS TO B SPECINCATIONS PHILIPPE FACON, REGINE LALEAU, HONG
PHUONG NGUYEN 57 4.1 OVERVIEW OF THE METHOD 57 4.1.1 THE SEMI-FORMAL
SPECIFICATION 57 4.1.2 THE FORMAL SPECIFICATION 59 4.2 SPECIFICATION OF
CASE 1 61 4.2.1 OBJECT DIAGRAM 61 4.2.2 SCENARIOS AND STATE/TRANSITION
DIAGRAMS 62 4.2.3 THE FORMAL SPECIFICATION 64 4.3 SPECIFICATION OF CASE
2 66 4.3.1 SCENARIOS AND STATE/TRANSITION DIAGRAMS 67 4.3.2 THE FORMAL
SPECIFICATION 70 4.4 VALIDATION 74 4.5 THE NATURAL LANGUAGE DESCRIPTION
OF THE SPECIFICATIONS 75 4.5.1 CASE 1 75 4.5.2 CASE 2 75 4.6 CONCLUSION
76 PART II EVENT-BASED APPROACHES 5 ACTION SYSTEMS: A METHOD COMBINING
STATE-BASED AND EVENT-BASED SPECIFICATION JANE SINCLAIR 81 5.1 OVERVIEW
OF ACTION SYSTEMS 81 5.2 ANALYSIS AND SPECIFICATION OF CASE 1 82 5.2.1
MODELLING THE STATE OF THE ACTION SYSTEM 82 5.2.2 DEFINING THE ACTIONS
84 5.2.3 AN ACTION SYSTEM FOR CASE 1 87 5.3 ANALYSIS AND SPECIFICATION
OF CASE 2 88 5.3.1 MODELLING THE STATE FOR CASE 2 88 5.3.2 DEFINING THE
ACTIONS 89 CONTENTS 5.3.3 AN ACTION SYSTEM FOR CASE 2 91 5.4
VERIFICATION FOR ACTION SYSTEMS 91 5.5 THE NATURAL LANGUAGE DESCRIPTION
OF THE SPECIFICATION 94 5.5.1 CASE 1 94 5.5.2 CASE 2 94 5.6 CONCLUSION
95 6 USING UML WITH A BEHAVIOUR-DRIVEN METHOD SOPHIE DUPUY, AGNES
FRONT-CONTE, CHRISTOPHE SAINT-MARCEL 97 6.1 OVERVIEW OF THE UML NOTATION
AND OF THE CSO METHOD 97 6.2 CASE 1 98 6.2.1 REQUIREMENTS CAPTURE 98
6.2.2 ANALYSIS AND DESIGN 99 6.3 CASE 2 103 6.3.1 REQUIREMENTS CAPTURE
103 6.3.2 ANALYSIS AND DESIGN PHASE 106 6.4 NATURAL LANGUAGE DESCRIPTION
OF THE UML SPECIFICATIONS 111 6.4.1 CASE 1 111 6.4.2 CASE 2 111 6.5
CONCLUSION 111 7 VHDL: A HARDWARE DESCRIPTION LANGUAGE AND ITS
SIMULATION SEMANTICS LAURENCE PIERRE 113 7.1 OVERVIEW OF VHDL 113 7.2
ANALYSIS AND SPECIFICATION OF CASE 1 115 7.2.1 IDENTIFYING DATA
STRUCTURES 115 7.2.2 IDENTIFYING OPERATIONS 116 7.3 ANALYSIS AND
SPECIFICATION OF CASE 2 120 7.4 THE NATURAL LANGUAGE DESCRIPTION OF THE
SPECIFICATION 128 7.4.1 CASE 1 128 7.4.2 CASE 2 128 7.5 CONCLUSION 129 8
ESTELLE: A FORMAL DESCRIPTION TECHNIQUE ERIC LALLET, JEAN-LUC RAFFY 131
8.1 OVERVIEW OF THE FDT ESTELLE 131 8.2 ANALYSIS AND SPECIFICATION OF
CASE 1 131 8.2.1 DEFINING THE ARCHITECTURE OF THE SPECIFICATION 132
8.2.2 DEFINING THE BEHAVIOUR 134 8.3 ANALYSIS AND SPECIFICATION OF CASE
2 137 8.3.1 DEFINING THE NEW ARCHITECTURE 138 8.3.2 DEFINING THE
BEHAVIOUR 139 8.4 VALIDATING THE SPECIFICATION 143 XVIII CONTENTS 8.5
THE NATURAL LANGUAGE DESCRIPTION OF THE SPECIFICATIONS 143 8.5.1 CASE 1
143 8.5.2 CASE 2 144 8.6 CONCLUSION 144 9 SDL: A LANGUAGE BASED ON
EXTENDED FINITE STATE MACHINES WITH ABSTRACT DATA TYPES P. POIZAT 147
9.1 OVERVIEW OF SDL 147 9.2 ANALYSIS AND SPECIFICATION OF CASE 1 148
9.2.1 SYSTEM STRUCTURE 148 9.2.2 PROCESS GRAPHS 150 9.2.3 SORT
DEFINITIONS 153 9.2.4 COMMENTS ON THE FIRST CASE STUDY 157 9.3 ANALYSIS
AND SPECIFICATION OF CASE 2 157 9.3.1 SYSTEM STRUCTURE 157 9.3.2 PROCESS
GRAPHS 159 9.3.3 SORT DEFINITIONS 160 9.4 THE NATURAL LANGUAGE
DESCRIPTION OF THE SPECIFICATIONS 162 9.4.1 CASE 1 162 9.4.2 CASE 2 162
9.5 CONCLUSION 162 10 (E)-LOTOS: (ENHANCED) LANGUAGE OF TEMPORAL
ORDERING SPECIFICATION KENNETH J. TURNER, MIHAELA SIGHIREANU 165 10.1
OVERVIEW OF THE LOTOS NOTATION AND METHOD 165 10.1.1 THE LOTOS AND
E-LOTOS LANGUAGES 165 10.1.2 REQUIREMENTS CAPTURE IN LOTOS 166 10.2
ANALYSIS AND SPECIFICATION OF CASE 1 168 10.2.1 ANALYSIS 168 10.2.2
SPECIFICATION 169 10.3 ANALYSIS AND SPECIFICATION OF CASE 2 170 10.3.1
ANALYSIS 170 10.3.2 SPECIFICATION 174 10.4 VALIDATION AND VERIFICATION
OF THE LOTOS SPECIFICATIONS 182 10.4.1 VALIDATION 182 10.4.2
VERIFICATION 183 10.5 NATURAL LANGUAGE DESCRIPTION OF THE SPECIFICATIONS
186 10.5.1 CASE 1 10.5.2 CASE 2 10.6 CONCLUSION CONTENTS 11 SPECIFYING A
CLEANROOM BLACK BOX USING JSD MARC FRAPPIER, RICHARD ST-DENIS 191 11.1
OVERVIEW OF THE METHOD 191 11.2 ANALYSIS AND SPECIFICATION OF CASE 1 192
11.2.1 DECLARATION OF INPUT-OUTPUT SPACE AND ENTITY TYPES 192 11.2.2
DEFINITION OF GLOBAL CONSTRAINTS 194 11.2.3 SPECIFICATION OF
INPUT-OUTPUT BEHAVIOUR 195 11.3 ANALYSIS AND SPECIFICATION OF CASE 2 195
11.3.1 DECLARATION OF INPUT-OUTPUT SPACE AND ENTITY TYPES 195 11.3.2
DESCRIPTION OF INDIVIDUAL BEHAVIOURS OF ENTITIES 197 11.3.3 DEFINITION
OF GLOBAL CONSTRAINTS 200 11.3.4 SPECIFICATION OF INPUT-OUTPUT BEHAVIOUR
202 11.4 THE NATURAL LANGUAGE DESCRIPTION OF THE SPECIFICATION 203
11.4.1 CASE 1 203 11.4.2 CASE 2 203 11.5 CONCLUSION 204 PART III OTHER
FORMAL APPROACHES 12 ALGEBRAIC SPECIFICATION IN CASL HUBERT BAUMEISTER,
DIDIER BERT 209 12.1 OVERVIEW OF THE CASL NOTATION 209 12.2 ANALYSIS AND
SPECIFICATION OF CASE 1 210 12.3 ANALYSIS AND SPECIFICATION OF CASE 2
215 12.4 ARCHITECTURAL SPECIFICATION 221 12.5 THE NATURAL LANGUAGE
DESCRIPTION OF THE SPECIFICATION 222 12.5.1 CASE 1 222 12.5.2 CASE 2 223
12.6 CONCLUSION 223 REFERENCES 224 13 AN ABSTRACT AND CONSTRUCTIVE
SPECIFICATION IN COQ PHILIPPE CHAVIN, JEAN-FRANCOIS MONIN 225 13.1
INTRODUCTION TO COQ 225 13.2 TERMS ANALYSIS 226 13.2.1 STOCK AND ORDERS
226 13.2.2 OPERATIONS 227 13.2.3 REQUIREMENTS ON QUANTITIES 227 13.3 A
SPECIFICATION FOR CASE 1 228 13.3.1 BASIC TYPES 228 13.3.2 STATE AND
OPERATION 230 13.3.3 OPERATION "INVOICE" 230 13.4 A SPECIFICATION FOR
CASE 2 . 232 XX CONTENTS 13.4.1 USING GENERAL OPERATIONS OVER SETS 232
13.4.2 REFERENCE-DEPENDENT MEASURE SYSTEMS 234 13.5 EXPERIMENTING WITH
THE SPECIFICATION 236 13.5.1 REFINING 236 13.5.2 RUNNING AN EXAMPLE 238
13.6 TERMS REPHRASING 239 13.7 CONCLUSION 240 14 PETRI NETS: A GRAPHICAL
TOOL FOR SYSTEM MODELLING AND ANALYSIS ANNIE CHOQUET-GENIET, PASCAL
RICHARD 241 14.1 OVERVIEW OF PETRI NETS 241 14.2 ANALYSIS AND
SPECIFICATION OF CASE 1 243 14.2.1 ONE ORDER WITH A DATA/ACTION APPROACH
243 14.2.2 ONE ORDER WITH A STRUCTURAL APPROACH 247 14.2.3 SEVERAL
ORDERS 249 14.3 ANALYSIS AND SPECIFICATION OF CASE 2 252 14.3.1 ENTRY
FLOW IN STOCKS 252 14.3.2 FLOWS OF ORDERS 253 14.4 VALIDATION OF THE
SPECIFICATION 253 14.5 THE NATURAL LANGUAGE DESCRIPTION OF THE
SPECIFICATIONS '. . 256 14.5.1 CASE 1 256 14.5.2 CASE 2 256 14.6
CONCLUSION 256 15 USING PETRI NETS AND OBJECTS: A FORMAL YET EXPRESSIVE
APPROACH CHRISTOPHE SIBERTIN-BLANC 259 15.1 INTRODUCTION 259 15.2 A
CONCEPTUAL FRAMEWORK FOR THE REPRESENTATION OF SYSTEMS 260 15.3 CASE 1
262 15.4 THE SYSTEM'S INTERFACE 262 15.5 THE COMPONENTS OF THE SYSTEM'S
STRUCTURE 262 15.6 THE ENTITIES 264 15.7 THE OPERATIONS 268 15.8 THE
ACTORS 269 15.9 THE CONTROL STRUCTURE 270 15.10 NATURAL LANGUAGE
DESCRIPTION OF THE SPECIFICATIONS 275 15.11 REMARKS ABOUT THE TREATMENT
OF THE CASE STUDY 275 INDEX |
| any_adam_object | 1 |
| author_GND | (DE-588)122205596 |
| building | Verbundindex |
| bvnumber | BV013325303 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.F67 |
| callnumber-search | QA76.9.F67 |
| callnumber-sort | QA 276.9 F67 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 130 ST 230 |
| ctrlnum | (OCoLC)44732273 (DE-599)BVBBV013325303 |
| dewey-full | 004/.01/51 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.01/51 |
| dewey-search | 004/.01/51 |
| dewey-sort | 14 11 251 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008c 4500</leader><controlfield tag="001">BV013325303</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20030411</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">000829s2001 gw d||| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">959440429</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1852333537</subfield><subfield code="c">: DM 114.00</subfield><subfield code="9">1-85233-353-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)44732273</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013325303</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">eng</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-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.F67</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.01/51</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</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="245" ind1="1" ind2="0"><subfield code="a">Software specification methods</subfield><subfield code="b">an overview using a case study</subfield><subfield code="c">Marc Frappier ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London ; Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong</subfield><subfield code="b">Springer</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 282 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="490" ind1="0" ind2=" "><subfield code="a">Formal approaches to computing and information technology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels - Spécifications</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Méthodes formelles (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="v">Specifications</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</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="650" ind1="0" ind2="7"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="689" ind1="1" ind2="0"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Frappier, Marc</subfield><subfield code="d">1965-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)122205596</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=009087604&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009087604</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV013325303 |
| illustrated | Illustrated |
| indexdate | 2024-07-20T08:25:20Z |
| institution | BVB |
| isbn | 1852333537 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009087604 |
| oclc_num | 44732273 |
| open_access_boolean | |
| owner | DE-739 DE-384 DE-634 |
| owner_facet | DE-739 DE-384 DE-634 |
| physical | XX, 282 S. graph. Darst. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer |
| record_format | marc |
| series2 | Formal approaches to computing and information technology |
| spelling | Software specification methods an overview using a case study Marc Frappier ... (eds.) London ; Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong Springer 2001 XX, 282 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Formal approaches to computing and information technology Logiciels - Spécifications Méthodes formelles (Informatique) Computer software Specifications Formal methods (Computer science) Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Formale Spezifikationstechnik (DE-588)4299725-2 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Softwarespezifikation (DE-588)4056186-0 s DE-604 Formale Spezifikationstechnik (DE-588)4299725-2 s Frappier, Marc 1965- Sonstige (DE-588)122205596 oth GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009087604&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Software specification methods an overview using a case study Logiciels - Spécifications Méthodes formelles (Informatique) Computer software Specifications Formal methods (Computer science) Softwarespezifikation (DE-588)4056186-0 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd |
| subject_GND | (DE-588)4056186-0 (DE-588)4299725-2 (DE-588)4143413-4 |
| title | Software specification methods an overview using a case study |
| title_auth | Software specification methods an overview using a case study |
| title_exact_search | Software specification methods an overview using a case study |
| title_full | Software specification methods an overview using a case study Marc Frappier ... (eds.) |
| title_fullStr | Software specification methods an overview using a case study Marc Frappier ... (eds.) |
| title_full_unstemmed | Software specification methods an overview using a case study Marc Frappier ... (eds.) |
| title_short | Software specification methods |
| title_sort | software specification methods an overview using a case study |
| title_sub | an overview using a case study |
| topic | Logiciels - Spécifications Méthodes formelles (Informatique) Computer software Specifications Formal methods (Computer science) Softwarespezifikation (DE-588)4056186-0 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd |
| topic_facet | Logiciels - Spécifications Méthodes formelles (Informatique) Computer software Specifications Formal methods (Computer science) Softwarespezifikation Formale Spezifikationstechnik Aufsatzsammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009087604&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT frappiermarc softwarespecificationmethodsanoverviewusingacasestudy |