Strategies for Real-Time System Specification:
This is the digital version of the printed book (Copyright © 1987). Here is a casebook, a practical reference, and an indispensable guide for creating a systematic, formal methodology for large, real-time, software-based systems. The book introduces the widely implemented Hatley/Pirbhai methods, a m...
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
[Place of publication not identified]
Addison-Wesley Professional
2013
|
| Schlagwörter: | |
| Links: | https://learning.oreilly.com/library/view/-/9780133492330/?ar |
| Zusammenfassung: | This is the digital version of the printed book (Copyright © 1987). Here is a casebook, a practical reference, and an indispensable guide for creating a systematic, formal methodology for large, real-time, software-based systems. The book introduces the widely implemented Hatley/Pirbhai methods, a major extension of the DeMarco analysis method describing how external events control the system's operating behavior. The techniques are used in major avionics and electronics companies worldwide, and are automated by most major CASE tools, including TurboCASE/Sys by StructSoft, Incorporated Large software-based systems, especially those for real-time applications, require multi-mode operation, direct interaction with a rapidly changing physical environment, and fast response times. In the past, the development of such systems was prone to massive cost and schedule overruns, and to inadequate performance and reliability. Strategies for Real-Time System Specification addresses these problems by integrating a finite-state machine structure into classical analysis methods. The book contains nearly 200 diagrams, many of which illustrate the requirements specification of a flight management system for a major avionics developer. |
| Beschreibung: | Title from content provider |
| Umfang: | 1 online resource |
| ISBN: | 9780133492330 0133492338 |
Internformat
MARC
| LEADER | 00000cam a22000002c 4500 | ||
|---|---|---|---|
| 001 | ZDB-30-ORH-048604356 | ||
| 003 | DE-627-1 | ||
| 005 | 20240228115742.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 191206s2013 xx |||||o 00| ||eng c | ||
| 020 | |a 9780133492330 |9 978-0-13-349233-0 | ||
| 020 | |a 0133492338 |9 0-13-349233-8 | ||
| 035 | |a (DE-627-1)048604356 | ||
| 035 | |a (DE-599)KEP048604356 | ||
| 035 | |a (ORHE)9780133492330 | ||
| 035 | |a (DE-627-1)048604356 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rda | ||
| 041 | |a eng | ||
| 082 | 0 | |a 004/.33 |2 19/eng/20230216 | |
| 100 | 1 | |a Pirbhai, Derek J. Hatley. Imtiaz A. |e VerfasserIn |4 aut | |
| 245 | 1 | 0 | |a Strategies for Real-Time System Specification |c Derek J. Hatley. Imtiaz A. Pirbhai |
| 264 | 1 | |a [Place of publication not identified] |b Addison-Wesley Professional |c 2013 | |
| 300 | |a 1 online resource | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a Computermedien |b c |2 rdamedia | ||
| 338 | |a Online-Ressource |b cr |2 rdacarrier | ||
| 500 | |a Title from content provider | ||
| 520 | |a This is the digital version of the printed book (Copyright © 1987). Here is a casebook, a practical reference, and an indispensable guide for creating a systematic, formal methodology for large, real-time, software-based systems. The book introduces the widely implemented Hatley/Pirbhai methods, a major extension of the DeMarco analysis method describing how external events control the system's operating behavior. The techniques are used in major avionics and electronics companies worldwide, and are automated by most major CASE tools, including TurboCASE/Sys by StructSoft, Incorporated Large software-based systems, especially those for real-time applications, require multi-mode operation, direct interaction with a rapidly changing physical environment, and fast response times. In the past, the development of such systems was prone to massive cost and schedule overruns, and to inadequate performance and reliability. Strategies for Real-Time System Specification addresses these problems by integrating a finite-state machine structure into classical analysis methods. The book contains nearly 200 diagrams, many of which illustrate the requirements specification of a flight management system for a major avionics developer. | ||
| 650 | 0 | |a Digital communications | |
| 650 | 0 | |a Business planning | |
| 650 | 0 | |a Strategic planning | |
| 650 | 4 | |a Transmission numérique | |
| 650 | 4 | |a Planification stratégique | |
| 650 | 4 | |a Business planning | |
| 650 | 4 | |a Digital communications | |
| 650 | 4 | |a Strategic planning | |
| 966 | 4 | 0 | |l DE-91 |p ZDB-30-ORH |q TUM_PDA_ORH |u https://learning.oreilly.com/library/view/-/9780133492330/?ar |m X:ORHE |x Aggregator |z lizenzpflichtig |3 Volltext |
| 912 | |a ZDB-30-ORH | ||
| 912 | |a ZDB-30-ORH | ||
| 951 | |a BO | ||
| 912 | |a ZDB-30-ORH | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-30-ORH-048604356 |
|---|---|
| _version_ | 1833357054522163200 |
| adam_text | |
| any_adam_object | |
| author | Pirbhai, Derek J. Hatley. Imtiaz A. |
| author_facet | Pirbhai, Derek J. Hatley. Imtiaz A. |
| author_role | aut |
| author_sort | Pirbhai, Derek J. Hatley. Imtiaz A. |
| author_variant | d j h i a p djhia djhiap |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-30-ORH |
| ctrlnum | (DE-627-1)048604356 (DE-599)KEP048604356 (ORHE)9780133492330 |
| dewey-full | 004/.33 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.33 |
| dewey-search | 004/.33 |
| dewey-sort | 14 233 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02726cam a22004452c 4500</leader><controlfield tag="001">ZDB-30-ORH-048604356</controlfield><controlfield tag="003">DE-627-1</controlfield><controlfield tag="005">20240228115742.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">191206s2013 xx |||||o 00| ||eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780133492330</subfield><subfield code="9">978-0-13-349233-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0133492338</subfield><subfield code="9">0-13-349233-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627-1)048604356</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)KEP048604356</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ORHE)9780133492330</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627-1)048604356</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.33</subfield><subfield code="2">19/eng/20230216</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Pirbhai, Derek J. Hatley. Imtiaz A.</subfield><subfield code="e">VerfasserIn</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Strategies for Real-Time System Specification</subfield><subfield code="c">Derek J. Hatley. Imtiaz A. Pirbhai</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Place of publication not identified]</subfield><subfield code="b">Addison-Wesley Professional</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from content provider</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This is the digital version of the printed book (Copyright © 1987). Here is a casebook, a practical reference, and an indispensable guide for creating a systematic, formal methodology for large, real-time, software-based systems. The book introduces the widely implemented Hatley/Pirbhai methods, a major extension of the DeMarco analysis method describing how external events control the system's operating behavior. The techniques are used in major avionics and electronics companies worldwide, and are automated by most major CASE tools, including TurboCASE/Sys by StructSoft, Incorporated Large software-based systems, especially those for real-time applications, require multi-mode operation, direct interaction with a rapidly changing physical environment, and fast response times. In the past, the development of such systems was prone to massive cost and schedule overruns, and to inadequate performance and reliability. Strategies for Real-Time System Specification addresses these problems by integrating a finite-state machine structure into classical analysis methods. The book contains nearly 200 diagrams, many of which illustrate the requirements specification of a flight management system for a major avionics developer.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Digital communications</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Business planning</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Strategic planning</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Transmission numérique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Planification stratégique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Business planning</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Digital communications</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Strategic planning</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-30-ORH</subfield><subfield code="q">TUM_PDA_ORH</subfield><subfield code="u">https://learning.oreilly.com/library/view/-/9780133492330/?ar</subfield><subfield code="m">X:ORHE</subfield><subfield code="x">Aggregator</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-ORH</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-ORH</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">BO</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-ORH</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-30-ORH-048604356 |
| illustrated | Not Illustrated |
| indexdate | 2025-05-28T09:45:35Z |
| institution | BVB |
| isbn | 9780133492330 0133492338 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 online resource |
| psigel | ZDB-30-ORH TUM_PDA_ORH ZDB-30-ORH |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Addison-Wesley Professional |
| record_format | marc |
| spelling | Pirbhai, Derek J. Hatley. Imtiaz A. VerfasserIn aut Strategies for Real-Time System Specification Derek J. Hatley. Imtiaz A. Pirbhai [Place of publication not identified] Addison-Wesley Professional 2013 1 online resource Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Title from content provider This is the digital version of the printed book (Copyright © 1987). Here is a casebook, a practical reference, and an indispensable guide for creating a systematic, formal methodology for large, real-time, software-based systems. The book introduces the widely implemented Hatley/Pirbhai methods, a major extension of the DeMarco analysis method describing how external events control the system's operating behavior. The techniques are used in major avionics and electronics companies worldwide, and are automated by most major CASE tools, including TurboCASE/Sys by StructSoft, Incorporated Large software-based systems, especially those for real-time applications, require multi-mode operation, direct interaction with a rapidly changing physical environment, and fast response times. In the past, the development of such systems was prone to massive cost and schedule overruns, and to inadequate performance and reliability. Strategies for Real-Time System Specification addresses these problems by integrating a finite-state machine structure into classical analysis methods. The book contains nearly 200 diagrams, many of which illustrate the requirements specification of a flight management system for a major avionics developer. Digital communications Business planning Strategic planning Transmission numérique Planification stratégique |
| spellingShingle | Pirbhai, Derek J. Hatley. Imtiaz A. Strategies for Real-Time System Specification Digital communications Business planning Strategic planning Transmission numérique Planification stratégique |
| title | Strategies for Real-Time System Specification |
| title_auth | Strategies for Real-Time System Specification |
| title_exact_search | Strategies for Real-Time System Specification |
| title_full | Strategies for Real-Time System Specification Derek J. Hatley. Imtiaz A. Pirbhai |
| title_fullStr | Strategies for Real-Time System Specification Derek J. Hatley. Imtiaz A. Pirbhai |
| title_full_unstemmed | Strategies for Real-Time System Specification Derek J. Hatley. Imtiaz A. Pirbhai |
| title_short | Strategies for Real-Time System Specification |
| title_sort | strategies for real time system specification |
| topic | Digital communications Business planning Strategic planning Transmission numérique Planification stratégique |
| topic_facet | Digital communications Business planning Strategic planning Transmission numérique Planification stratégique |
| work_keys_str_mv | AT pirbhaiderekjhatleyimtiaza strategiesforrealtimesystemspecification |