Model-Based Requirements Engineering:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Stevenage
Institution of Engineering and Technology
2012
|
| Series: | Professional applications of computing series
9 |
| Subjects: | |
| Online Access: | FAW01 FAW02 Volltext |
| Item Description: | Acknowledgement; 1. Introduction; Part I: Introduction; 2. Modelling; 3. The SysML notation; Part II: Concepts; 4. Requirements engineering concepts; 5. A framework for model-based requirements engineering; Part III: Realisation; 6. Case study; 7. Realising the process; Appendix A: Summary of notation; Appendix B: Advanced sequence diagram notation; Appendix C: A seven views summary of the UCAM processes; Index This book provides a hands-on introduction to model-based requirementsengineering and management by describing a set of views that form the basisfor the approach. These views take into account each individual requirement interms of its description, but then also provide each requirement with meaning byputting it into the correct 'context'. A requirement that has been put into a contextis known as a 'use case' and may be based upon either stakeholders or levelsof hierarchy in a system. Each use case must then be analysed and validated bydefining a combination of scenarios and formal mathematica Includes bibliographical references and index |
| Physical Description: | 1 Online-Ressource (357 pages) |
| ISBN: | 1283378868 1849194882 9781283378864 9781849194877 9781849194884 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043070407 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s2012 |||| o||u| ||||||eng d | ||
| 020 | |a 1283378868 |9 1-283-37886-8 | ||
| 020 | |a 1849194882 |c electronic bk. |9 1-84919-488-2 | ||
| 020 | |a 9781283378864 |9 978-1-283-37886-4 | ||
| 020 | |a 9781849194877 |9 978-1-84919-487-7 | ||
| 020 | |a 9781849194884 |c electronic bk. |9 978-1-84919-488-4 | ||
| 035 | |a (OCoLC)769343054 | ||
| 035 | |a (DE-599)BVBBV043070407 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 620.001171 | |
| 082 | 0 | |a 620.001/171 | |
| 100 | 1 | |a Holt, Jon |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Model-Based Requirements Engineering |
| 264 | 1 | |a Stevenage |b Institution of Engineering and Technology |c 2012 | |
| 300 | |a 1 Online-Ressource (357 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Professional applications of computing series |v 9 | |
| 500 | |a Acknowledgement; 1. Introduction; Part I: Introduction; 2. Modelling; 3. The SysML notation; Part II: Concepts; 4. Requirements engineering concepts; 5. A framework for model-based requirements engineering; Part III: Realisation; 6. Case study; 7. Realising the process; Appendix A: Summary of notation; Appendix B: Advanced sequence diagram notation; Appendix C: A seven views summary of the UCAM processes; Index | ||
| 500 | |a This book provides a hands-on introduction to model-based requirementsengineering and management by describing a set of views that form the basisfor the approach. These views take into account each individual requirement interms of its description, but then also provide each requirement with meaning byputting it into the correct 'context'. A requirement that has been put into a contextis known as a 'use case' and may be based upon either stakeholders or levelsof hierarchy in a system. Each use case must then be analysed and validated bydefining a combination of scenarios and formal mathematica | ||
| 500 | |a Includes bibliographical references and index | ||
| 650 | 4 | |a SysML (Computer science) | |
| 650 | 4 | |a Systems engineering | |
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Civil engineering | |
| 650 | 7 | |a TECHNOLOGY & ENGINEERING / Engineering (General) |2 bisacsh | |
| 650 | 7 | |a TECHNOLOGY & ENGINEERING / Reference |2 bisacsh | |
| 650 | 7 | |a Computer software / Development |2 fast | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 650 | 4 | |a Computer software |x Development | |
| 650 | 0 | 7 | |a Systemanalyse |0 (DE-588)4116673-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 2 | |a Systemanalyse |0 (DE-588)4116673-5 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=415785 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028494599 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=415785 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=415785 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Record in the Search Index
| _version_ | 1804175453152346112 |
|---|---|
| any_adam_object | |
| author | Holt, Jon |
| author_facet | Holt, Jon |
| author_role | aut |
| author_sort | Holt, Jon |
| author_variant | j h jh |
| building | Verbundindex |
| bvnumber | BV043070407 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)769343054 (DE-599)BVBBV043070407 |
| dewey-full | 620.001171 620.001/171 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 620 - Engineering and allied operations |
| dewey-raw | 620.001171 620.001/171 |
| dewey-search | 620.001171 620.001/171 |
| dewey-sort | 3620.001171 |
| dewey-tens | 620 - Engineering and allied operations |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03565nmm a2200625zcb4500</leader><controlfield tag="001">BV043070407</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s2012 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1283378868</subfield><subfield code="9">1-283-37886-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1849194882</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-84919-488-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781283378864</subfield><subfield code="9">978-1-283-37886-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781849194877</subfield><subfield code="9">978-1-84919-487-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781849194884</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-84919-488-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)769343054</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043070407</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-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620.001171</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620.001/171</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Holt, Jon</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Model-Based Requirements Engineering</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stevenage</subfield><subfield code="b">Institution of Engineering and Technology</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (357 pages)</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">Professional applications of computing series</subfield><subfield code="v">9</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Acknowledgement; 1. Introduction; Part I: Introduction; 2. Modelling; 3. The SysML notation; Part II: Concepts; 4. Requirements engineering concepts; 5. A framework for model-based requirements engineering; Part III: Realisation; 6. Case study; 7. Realising the process; Appendix A: Summary of notation; Appendix B: Advanced sequence diagram notation; Appendix C: A seven views summary of the UCAM processes; Index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">This book provides a hands-on introduction to model-based requirementsengineering and management by describing a set of views that form the basisfor the approach. These views take into account each individual requirement interms of its description, but then also provide each requirement with meaning byputting it into the correct 'context'. A requirement that has been put into a contextis known as a 'use case' and may be based upon either stakeholders or levelsof hierarchy in a system. Each use case must then be analysed and validated bydefining a combination of scenarios and formal mathematica</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">SysML (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Civil engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">TECHNOLOGY & ENGINEERING / Engineering (General)</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">TECHNOLOGY & ENGINEERING / Reference</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software / Development</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Development</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=415785</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028494599</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=415785</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=415785</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043070407 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:16:31Z |
| institution | BVB |
| isbn | 1283378868 1849194882 9781283378864 9781849194877 9781849194884 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028494599 |
| oclc_num | 769343054 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (357 pages) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Institution of Engineering and Technology |
| record_format | marc |
| series2 | Professional applications of computing series |
| spelling | Holt, Jon Verfasser aut Model-Based Requirements Engineering Stevenage Institution of Engineering and Technology 2012 1 Online-Ressource (357 pages) txt rdacontent c rdamedia cr rdacarrier Professional applications of computing series 9 Acknowledgement; 1. Introduction; Part I: Introduction; 2. Modelling; 3. The SysML notation; Part II: Concepts; 4. Requirements engineering concepts; 5. A framework for model-based requirements engineering; Part III: Realisation; 6. Case study; 7. Realising the process; Appendix A: Summary of notation; Appendix B: Advanced sequence diagram notation; Appendix C: A seven views summary of the UCAM processes; Index This book provides a hands-on introduction to model-based requirementsengineering and management by describing a set of views that form the basisfor the approach. These views take into account each individual requirement interms of its description, but then also provide each requirement with meaning byputting it into the correct 'context'. A requirement that has been put into a contextis known as a 'use case' and may be based upon either stakeholders or levelsof hierarchy in a system. Each use case must then be analysed and validated bydefining a combination of scenarios and formal mathematica Includes bibliographical references and index SysML (Computer science) Systems engineering Engineering Civil engineering TECHNOLOGY & ENGINEERING / Engineering (General) bisacsh TECHNOLOGY & ENGINEERING / Reference bisacsh Computer software / Development fast Ingenieurwissenschaften Computer software Development Systemanalyse (DE-588)4116673-5 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 s Mathematische Logik (DE-588)4037951-6 s Systemanalyse (DE-588)4116673-5 s 1\p DE-604 http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=415785 Aggregator Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Holt, Jon Model-Based Requirements Engineering SysML (Computer science) Systems engineering Engineering Civil engineering TECHNOLOGY & ENGINEERING / Engineering (General) bisacsh TECHNOLOGY & ENGINEERING / Reference bisacsh Computer software / Development fast Ingenieurwissenschaften Computer software Development Systemanalyse (DE-588)4116673-5 gnd Mathematische Logik (DE-588)4037951-6 gnd Softwareentwicklung (DE-588)4116522-6 gnd |
| subject_GND | (DE-588)4116673-5 (DE-588)4037951-6 (DE-588)4116522-6 |
| title | Model-Based Requirements Engineering |
| title_auth | Model-Based Requirements Engineering |
| title_exact_search | Model-Based Requirements Engineering |
| title_full | Model-Based Requirements Engineering |
| title_fullStr | Model-Based Requirements Engineering |
| title_full_unstemmed | Model-Based Requirements Engineering |
| title_short | Model-Based Requirements Engineering |
| title_sort | model based requirements engineering |
| topic | SysML (Computer science) Systems engineering Engineering Civil engineering TECHNOLOGY & ENGINEERING / Engineering (General) bisacsh TECHNOLOGY & ENGINEERING / Reference bisacsh Computer software / Development fast Ingenieurwissenschaften Computer software Development Systemanalyse (DE-588)4116673-5 gnd Mathematische Logik (DE-588)4037951-6 gnd Softwareentwicklung (DE-588)4116522-6 gnd |
| topic_facet | SysML (Computer science) Systems engineering Engineering Civil engineering TECHNOLOGY & ENGINEERING / Engineering (General) TECHNOLOGY & ENGINEERING / Reference Computer software / Development Ingenieurwissenschaften Computer software Development Systemanalyse Mathematische Logik Softwareentwicklung |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=415785 |
| work_keys_str_mv | AT holtjon modelbasedrequirementsengineering |