Cargando…
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...
| Autor principal: | |
|---|---|
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
[Place of publication not identified] :
Addison-Wesley Professional,
2013.
|
| Temas: | |
| Acceso en línea: | Texto completo (Requiere registro previo con correo institucional) |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | OR_ocn900322747 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr |n||||||||| | ||
| 008 | 150109s2013 xx o 000 0 eng d | ||
| 040 | |a COO |b eng |e pn |c COO |d OCLCQ |d CEF |d CNCEN |d OCLCO |d OCLCF |d OCLCO |d EBLCP |d OCLCQ |d OCLCO | ||
| 020 | |a 9780133492330 | ||
| 020 | |a 0133492338 | ||
| 029 | 1 | |a AU@ |b 000057233731 | |
| 029 | 1 | |a AU@ |b 000065314718 | |
| 035 | |a (OCoLC)900322747 | ||
| 082 | 0 | 4 | |a 004/.33 |q OCoLC |2 19/eng/20230216 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Pirbhai, Derek J. Hatley. Imtiaz A. | |
| 245 | 1 | 0 | |a Strategies for Real-Time System Specification / |c Derek J. Hatley. Imtiaz A. Pirbhai. |
| 260 | |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 computer |b c |2 rdamedia | ||
| 338 | |a online resource |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. | ||
| 590 | |a O'Reilly |b O'Reilly Online Learning: Academic/Public Library Edition | ||
| 650 | 0 | |a Digital communications. | |
| 650 | 0 | |a Business planning. | |
| 650 | 0 | |a Strategic planning. | |
| 650 | 6 | |a Transmission numérique. | |
| 650 | 6 | |a Planification stratégique. | |
| 650 | 7 | |a Business planning |2 fast | |
| 650 | 7 | |a Digital communications |2 fast | |
| 650 | 7 | |a Strategic planning |2 fast | |
| 856 | 4 | 0 | |u https://learning.oreilly.com/library/view/~/9780133492330/?ar |z Texto completo (Requiere registro previo con correo institucional) |
| 936 | |a BATCHLOAD | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL7050120 | ||
| 994 | |a 92 |b IZTAP | ||