Software Specification Methods: An Overview Using a Case Study
Objectives of this Book This book is an introduction to a set of software specification methods. Its tar geted audience are readers who do not wish to read pages of definitions in order to understand the basics of a method. The same case study is used to introduce each method, following a rigorousl...
Gespeichert in:
| Weitere Verfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
London
Springer London
2001
|
| Ausgabe: | 1st ed. 2001 |
| Schriftenreihe: | Formal Approaches to Computing and Information Technology (FACIT)
|
| Schlagworte: | |
| Online-Zugang: | UBY01 URL des Eerstveröffentlichers |
| Zusammenfassung: | Objectives of this Book This book is an introduction to a set of software specification methods. Its tar geted audience are readers who do not wish to read pages of definitions in order to understand the basics of a method. The same case study is used to introduce each method, following a rigorously uniform presentation format. Special care has been devoted to ensure that specifications do not deviate from the case study text. As much as the method allows, what is specified is what appears in the case study text. The benefits are two-fold. First, the reader can easily switch from one method to another, using his knowledge of the case study as a leverage to understand a new method. Second, it becomes easier to compare methods, because the same behavior is specified in each case. Each method presentation follows the same pattern. The concepts are pro gressively introduced when they are needed. To illustrate the specification pro cess, questions that the specifier should raise during the analysis of the case study are stated. Answers are provided as if they were given by an imaginary client. The question/answer process guides the derivation of the specification. Interestingly, the questions raised depend on the method, which is illustrative of the differences between them |
| Beschreibung: | 1 Online-Ressource (XXIV, 282 p. 7 illus) |
| ISBN: | 9781447107019 |
| DOI: | 10.1007/978-1-4471-0701-9 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV047064350 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 201216s2001 |||| o||u| ||||||eng d | ||
| 020 | |a 9781447107019 |9 978-1-4471-0701-9 | ||
| 024 | 7 | |a 10.1007/978-1-4471-0701-9 |2 doi | |
| 035 | |a (ZDB-2-SCS)978-1-4471-0701-9 | ||
| 035 | |a (OCoLC)1227478232 | ||
| 035 | |a (DE-599)BVBBV047064350 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 082 | 0 | |a 005.131 |2 23 | |
| 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 edited by Marc Frappier, Henri Habrias |
| 250 | |a 1st ed. 2001 | ||
| 264 | 1 | |a London |b Springer London |c 2001 | |
| 300 | |a 1 Online-Ressource (XXIV, 282 p. 7 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Formal Approaches to Computing and Information Technology (FACIT) | |
| 520 | |a Objectives of this Book This book is an introduction to a set of software specification methods. Its tar geted audience are readers who do not wish to read pages of definitions in order to understand the basics of a method. The same case study is used to introduce each method, following a rigorously uniform presentation format. Special care has been devoted to ensure that specifications do not deviate from the case study text. As much as the method allows, what is specified is what appears in the case study text. The benefits are two-fold. First, the reader can easily switch from one method to another, using his knowledge of the case study as a leverage to understand a new method. Second, it becomes easier to compare methods, because the same behavior is specified in each case. Each method presentation follows the same pattern. The concepts are pro gressively introduced when they are needed. To illustrate the specification pro cess, questions that the specifier should raise during the analysis of the case study are stated. Answers are provided as if they were given by an imaginary client. The question/answer process guides the derivation of the specification. Interestingly, the questions raised depend on the method, which is illustrative of the differences between them | ||
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Software engineering | |
| 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 Formale Spezifikationstechnik |0 (DE-588)4299725-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Frappier, Marc |4 edt | |
| 700 | 1 | |a Habrias, Henri |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781852333539 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781447107026 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4471-0701-9 |x Verlag |z URL des Eerstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SCS | ||
| 940 | 1 | |q ZDB-2-SCS_2000/2004 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032471462 | ||
| 966 | e | |u https://doi.org/10.1007/978-1-4471-0701-9 |l UBY01 |p ZDB-2-SCS |q ZDB-2-SCS_2000/2004 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804182062249279489 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Frappier, Marc Habrias, Henri |
| author2_role | edt edt |
| author2_variant | m f mf h h hh |
| author_facet | Frappier, Marc Habrias, Henri |
| building | Verbundindex |
| bvnumber | BV047064350 |
| classification_rvk | ST 130 ST 230 |
| collection | ZDB-2-SCS |
| ctrlnum | (ZDB-2-SCS)978-1-4471-0701-9 (OCoLC)1227478232 (DE-599)BVBBV047064350 |
| dewey-full | 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.131 |
| dewey-search | 005.131 |
| dewey-sort | 15.131 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/978-1-4471-0701-9 |
| edition | 1st ed. 2001 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03498nmm a2200589zc 4500</leader><controlfield tag="001">BV047064350</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">201216s2001 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781447107019</subfield><subfield code="9">978-1-4471-0701-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4471-0701-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-1-4471-0701-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1227478232</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047064350</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="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">23</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">edited by Marc Frappier, Henri Habrias</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2001</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Springer London</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XXIV, 282 p. 7 illus)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Formal Approaches to Computing and Information Technology (FACIT)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Objectives of this Book This book is an introduction to a set of software specification methods. Its tar geted audience are readers who do not wish to read pages of definitions in order to understand the basics of a method. The same case study is used to introduce each method, following a rigorously uniform presentation format. Special care has been devoted to ensure that specifications do not deviate from the case study text. As much as the method allows, what is specified is what appears in the case study text. The benefits are two-fold. First, the reader can easily switch from one method to another, using his knowledge of the case study as a leverage to understand a new method. Second, it becomes easier to compare methods, because the same behavior is specified in each case. Each method presentation follows the same pattern. The concepts are pro gressively introduced when they are needed. To illustrate the specification pro cess, questions that the specifier should raise during the analysis of the case study are stated. Answers are provided as if they were given by an imaginary client. The question/answer process guides the derivation of the specification. Interestingly, the questions raised depend on the method, which is illustrative of the differences between them</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</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">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</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">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</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="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Habrias, Henri</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781852333539</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781447107026</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4471-0701-9</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Eerstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032471462</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-0701-9</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="q">ZDB-2-SCS_2000/2004</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV047064350 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T16:12:22Z |
| indexdate | 2024-07-10T09:01:34Z |
| institution | BVB |
| isbn | 9781447107019 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032471462 |
| oclc_num | 1227478232 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 1 Online-Ressource (XXIV, 282 p. 7 illus) |
| psigel | ZDB-2-SCS ZDB-2-SCS_2000/2004 ZDB-2-SCS ZDB-2-SCS_2000/2004 |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer London |
| record_format | marc |
| series2 | Formal Approaches to Computing and Information Technology (FACIT) |
| spelling | Software Specification Methods An Overview Using a Case Study edited by Marc Frappier, Henri Habrias 1st ed. 2001 London Springer London 2001 1 Online-Ressource (XXIV, 282 p. 7 illus) txt rdacontent c rdamedia cr rdacarrier Formal Approaches to Computing and Information Technology (FACIT) Objectives of this Book This book is an introduction to a set of software specification methods. Its tar geted audience are readers who do not wish to read pages of definitions in order to understand the basics of a method. The same case study is used to introduce each method, following a rigorously uniform presentation format. Special care has been devoted to ensure that specifications do not deviate from the case study text. As much as the method allows, what is specified is what appears in the case study text. The benefits are two-fold. First, the reader can easily switch from one method to another, using his knowledge of the case study as a leverage to understand a new method. Second, it becomes easier to compare methods, because the same behavior is specified in each case. Each method presentation follows the same pattern. The concepts are pro gressively introduced when they are needed. To illustrate the specification pro cess, questions that the specifier should raise during the analysis of the case study are stated. Answers are provided as if they were given by an imaginary client. The question/answer process guides the derivation of the specification. Interestingly, the questions raised depend on the method, which is illustrative of the differences between them Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Mathematical logic Computer logic Software engineering Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Formale Spezifikationstechnik (DE-588)4299725-2 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Formale Spezifikationstechnik (DE-588)4299725-2 s DE-604 Softwarespezifikation (DE-588)4056186-0 s Frappier, Marc edt Habrias, Henri edt Erscheint auch als Druck-Ausgabe 9781852333539 Erscheint auch als Druck-Ausgabe 9781447107026 https://doi.org/10.1007/978-1-4471-0701-9 Verlag URL des Eerstveröffentlichers Volltext |
| spellingShingle | Software Specification Methods An Overview Using a Case Study Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Mathematical logic Computer logic Software engineering 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_exact_search_txtP | Software Specification Methods An Overview Using a Case Study |
| title_full | Software Specification Methods An Overview Using a Case Study edited by Marc Frappier, Henri Habrias |
| title_fullStr | Software Specification Methods An Overview Using a Case Study edited by Marc Frappier, Henri Habrias |
| title_full_unstemmed | Software Specification Methods An Overview Using a Case Study edited by Marc Frappier, Henri Habrias |
| 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 | Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Mathematical logic Computer logic Software engineering Softwarespezifikation (DE-588)4056186-0 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd |
| topic_facet | Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Mathematical logic Computer logic Software engineering Softwarespezifikation Formale Spezifikationstechnik Aufsatzsammlung |
| url | https://doi.org/10.1007/978-1-4471-0701-9 |
| work_keys_str_mv | AT frappiermarc softwarespecificationmethodsanoverviewusingacasestudy AT habriashenri softwarespecificationmethodsanoverviewusingacasestudy |