Cargando…
Systems engineering and architecting : creating formal requirements /
"Preface This book was written to take a step to fulfill a goal that George Friedman stated in his president's keynote address in 1994 at just the second meeting of the International Council on Systems Engineering. George asked his audience to provide a mathematical basis for doing systems...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Boca Raton, FL :
CRC Press,
©2012.
|
| Temas: | |
| Acceso en línea: | Texto completo (Requiere registro previo con correo institucional) |
MARC
| LEADER | 00000cam a2200000Ia 4500 | ||
|---|---|---|---|
| 001 | OR_ocn789358044 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 120425s2012 flu ob 000 0 eng d | ||
| 010 | |z 2012000515 | ||
| 040 | |a WAU |b eng |e pn |c WAU |d YDXCP |d E7B |d N$T |d FER |d UAB |d OCLCQ |d DEBSZ |d OCLCQ |d CRCPR |d OCLCQ |d IDEBK |d OCLCQ |d MYIIU |d PIFBY |d OTZ |d OCLCQ |d ERL |d OCLCF |d OCLCQ |d CEF |d AU@ |d UKMGB |d WYU |d S9I |d YDX |d TYFRS |d OCLCQ |d UKAHL |d LEAUB |d VT2 |d OCLCO |d OCLCQ |d SFB |d OCLCQ |d OCLCO | ||
| 015 | |a GBB7A5132 |2 bnb | ||
| 016 | 7 | |a 018380559 |2 Uk | |
| 019 | |a 794489772 |a 957327570 |a 994915931 |a 1031048353 |a 1058482113 |a 1064756608 |a 1086417103 |a 1153005137 |a 1192347207 |a 1240516899 | ||
| 020 | |a 9781439881422 |q (electronic bk.) | ||
| 020 | |a 1439881421 |q (electronic bk.) | ||
| 020 | |z 9781439881408 |q (hardback) | ||
| 020 | |z 1439881405 |q (hardback) | ||
| 020 | |z 9781138077751 | ||
| 020 | |a 1138077755 | ||
| 020 | |a 9781138077751 | ||
| 024 | 7 | |a 10.1201/b11903 |2 doi | |
| 029 | 1 | |a DEBSZ |b 372880665 | |
| 029 | 1 | |a DEBSZ |b 431416443 | |
| 029 | 1 | |a NZ1 |b 14522763 | |
| 029 | 1 | |a NZ1 |b 14938900 | |
| 029 | 1 | |a AU@ |b 000062626028 | |
| 029 | 1 | |a UKMGB |b 018380559 | |
| 035 | |a (OCoLC)789358044 |z (OCoLC)794489772 |z (OCoLC)957327570 |z (OCoLC)994915931 |z (OCoLC)1031048353 |z (OCoLC)1058482113 |z (OCoLC)1064756608 |z (OCoLC)1086417103 |z (OCoLC)1153005137 |z (OCoLC)1192347207 |z (OCoLC)1240516899 | ||
| 037 | |a TANDF_243743 |b Ingram Content Group | ||
| 050 | 4 | |a TA168 |b .B376 2012 | |
| 072 | 7 | |a TEC |x 009000 |2 bisacsh | |
| 072 | 7 | |a TEC |x 035000 |2 bisacsh | |
| 082 | 0 | 4 | |a 620/.0042 |2 23 |
| 084 | |a TEC009000 |a TEC009070 |2 bisacsh | ||
| 049 | |a UAMI | ||
| 100 | 1 | |a Bellagamba, Laurence. | |
| 245 | 1 | 0 | |a Systems engineering and architecting : |b creating formal requirements / |c Laurence Bellagamba. |
| 260 | |a Boca Raton, FL : |b CRC Press, |c ©2012. | ||
| 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 | ||
| 347 | |a data file |2 rda | ||
| 520 | |a "Preface This book was written to take a step to fulfill a goal that George Friedman stated in his president's keynote address in 1994 at just the second meeting of the International Council on Systems Engineering. George asked his audience to provide a mathematical basis for doing systems engineering. Such a basis is now called formal requirements, which are explicit, executable instructions to do something that can be verified by logic or examination. Since George asked, substantial advances were gradually made in our ability to provide formal requirements for doing many aspects of software engineering and embedded systems. These successful efforts provide the insights needed to start the process for systems engineering. Also in the years since, the need to rationally control the interactions of families of systems has developed into a major concern. So we now need formal methods to do architecting as well. The book describes a set of formal methods and shows examples of their use. The actual formal requirements themselves are written in Mathematicaʼ and are available online. In retrospect, formulating the formal requirements is actually much easier than inventing how to accomplish systems engineering and architecting tasks in the first place. The job to make formal requirements is more illumination than invention, so embellishing and adding to the set of formal requirements are best done by many people rather than a few individuals. Therefore, all my colleagues are encouraged to get the set and recommend improvements or additions. My hope is that over time talented individuals will collectively achieve George's goal"-- |c Provided by publisher. | ||
| 504 | |a Includes bibliographical references. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Ch. 1. Motivation, objective, definitions, and approach -- ch. 2. Model systems and architecture behavior -- ch. 3. Make decisions -- ch. 4. Establish natural language requirements -- ch. 5. Improve an organization's ability to do systems engineering and architecting. | |
| 590 | |a O'Reilly |b O'Reilly Online Learning: Academic/Public Library Edition | ||
| 650 | 0 | |a Systems engineering |x Mathematics. | |
| 650 | 0 | |a Requirements engineering. | |
| 650 | 6 | |a Ingénierie des systèmes |x Mathématiques. | |
| 650 | 6 | |a Ingénierie des exigences. | |
| 650 | 7 | |a TECHNOLOGY & ENGINEERING |x Engineering (General) |2 bisacsh | |
| 650 | 7 | |a TECHNOLOGY & ENGINEERING |x Mechanical. |2 bisacsh | |
| 650 | 7 | |a TECHNOLOGY & ENGINEERING |x Reference. |2 bisacsh | |
| 650 | 7 | |a Requirements engineering |2 fast | |
| 776 | 0 | 8 | |i Print version: |a Bellagamba, Laurence. |t Systems engineering and architecting. |d boca Raton, FL : CRC Press, 2012 |z 9781439881408 |w (DLC) 2012000515 |w (OCoLC)751834976 |
| 856 | 4 | 0 | |u https://learning.oreilly.com/library/view/~/9781439881422/?ar |z Texto completo (Requiere registro previo con correo institucional) |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24133955 | ||
| 938 | |a Taylor & Francis |b TAFR |n 9780429111075 | ||
| 938 | |a YBP Library Services |b YANK |n 15918472 | ||
| 938 | |a Taylor & Francis |b TAFR |n CRC0KE13991PDF | ||
| 938 | |a ebrary |b EBRY |n ebr10551827 | ||
| 938 | |a EBSCOhost |b EBSC |n 449146 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis30546609 | ||
| 938 | |a YBP Library Services |b YANK |n 7083498 | ||
| 994 | |a 92 |b IZTAP | ||