|
|
|
|
LEADER |
00000cam a2200000 i 4500 |
001 |
OR_ocn904769491 |
003 |
OCoLC |
005 |
20231017213018.0 |
006 |
m o d |
007 |
cr unu|||||||| |
008 |
150312s2014 enka ob 001 0 eng d |
040 |
|
|
|a UMI
|b eng
|e rda
|e pn
|c UMI
|d DEBBG
|d OCLCF
|d OCLCO
|d DEBSZ
|d EBLCP
|d OCLCO
|d CEF
|d VT2
|d UAB
|d AU@
|d UKAHL
|d OCLCQ
|d VLB
|d OCLCO
|d OCLCQ
|
019 |
|
|
|a 929525475
|a 932331358
|a 1055384097
|a 1081237787
|a 1153037369
|a 1192350316
|a 1228597548
|
020 |
|
|
|a 9781118579596
|
020 |
|
|
|a 1118579593
|
020 |
|
|
|a 1848214693
|
020 |
|
|
|a 9781848214699
|
020 |
|
|
|z 9781848214699
|
029 |
1 |
|
|a AU@
|b 000067094230
|
029 |
1 |
|
|a DEBBG
|b BV042682793
|
029 |
1 |
|
|a DEBSZ
|b 446579947
|
035 |
|
|
|a (OCoLC)904769491
|z (OCoLC)929525475
|z (OCoLC)932331358
|z (OCoLC)1055384097
|z (OCoLC)1081237787
|z (OCoLC)1153037369
|z (OCoLC)1192350316
|z (OCoLC)1228597548
|
037 |
|
|
|a CL0500000567
|b Safari Books Online
|
050 |
|
4 |
|a TA168
|b .M53 2014eb
|
082 |
0 |
4 |
|a 620.0011
|
049 |
|
|
|a UAMI
|
100 |
1 |
|
|a Micouin, Patrice,
|e author.
|
245 |
1 |
0 |
|a Model based systems engineering :
|b fundamentals and methods /
|c Patrice Micouin.
|
264 |
|
1 |
|a London ;
|a Hoboken, NJ :
|b ISTE Ltd :
|b John Wiley & Sons, Inc.,
|c 2014.
|
300 |
|
|
|a 1 online resource (1 volume) :
|b illustrations
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
490 |
1 |
|
|a Control, Systems and Industrial Engineering Series
|
588 |
0 |
|
|a Print version record.
|
504 |
|
|
|a Includes bibliographical references and index.
|
505 |
0 |
|
|a Title Page; Copyright; List of Figures and Tables; Acknowledgements; Foreword; Introduction: Goals of Property-Model Methodology; PART 1: Fundamentals; 1 General Systems Theory; 1.1. Introduction; 1.2. What is a system?; 1.3. Systems, subsystems and levels; 1.4. Concrete and abstract objects; 1.5. Properties; 1.6. States, event, process, behavior and fact; 1.7. Systems of interest; 2 Technological Systems; 2.1. Introduction; 2.2. Definition of technological systems; 2.3. Function, behavior and structure of a technological system
|
505 |
8 |
|
|a 2.4. Intended and concomitant effects of a technological system2.5. Modes, mode switching and states; 2.6. Errors, faults and failures; 2.7. "The human factor"; 3 Knowledge Systems; 3.1. Introduction; 3.2. Knowledge and its bearers; 3.3. Intersubjective knowledge; 3.4. Concepts, propositions and conceptual knowledge; 3.5. Objective and true knowledge; 3.6. Scientific and technological knowledge; 3.7. Knowledge and belief; 4 Semiotic Systems and Models; 4.1. Introduction; 4.2. Signs and systems of signs; 4.3. Nomological propositions and law statements
|
505 |
8 |
|
|a 4.4. Models, object models, theoretical models and simulation4.5. Representativeness of models and the expressiveness of languages; PART 2: Methods; 5 Engineering Processes; 5.1. Introduction; 5.2. Systems engineering process; 6 Determining Requirements and Specification MODELS; 6.1. Introduction; 6.2. Specifications and requirements; 6.3. Text-based requirements and subjectivity; 6.4. Objectifying requirements and assumptions through property-based requirements; 6.5. Conjunction and comparison of property-based requirements; 6.6. Interpreting text-based requirements
|
505 |
8 |
|
|a 6.7. Conclusion: specification models and concurrent assertions7 Designing Solutions and Design Models; 7.1. Introduction; 7.2. Deriving requirements; 7.3. Basic system model of a type of systems; 7.4. Dynamic design models of a type of systems; 7.5. Derivation and allocation of the system's behavioral requirements; 7.6. Static design models; 7.7. Derivation and allocation of system requirements; 7.8 The end of the design process and the realization; 8 Validating Requirements and Assumptions; 8.1. Introduction; 8.2. The validation process according to the ARP4754A
|
505 |
8 |
|
|a 8.3. The validation process according to the property model methodology8.4. Conclusion; 9 Verifying the Implementation Step by Step; 9.1. Introduction; 9.2. The verification process according to the ARP4754A; 9.3. The verification process according to the property model methodology; 9.4. Conclusion; 10 Safety Engineering; 10.1. Introduction; 10.2. The safety assessment process according to the ARP4754A; 10.3. The safety assessment process according to the property model methodology (PMM); 10.4. Conclusion; 11 Property Model Methodology Development Process; 11.1. Introduction
|
520 |
8 |
|
|a Annotation
|b This book is a contribution to the definition of a model based system engineering (MBSE) approach, designed to meet the objectives laid out by the INCOSE. After pointing out the complexity that jeopardizes a lot of system developments, the book examines fundamental aspects of systems under consideration. It goes on to address methodological issues and proposes a methodic approach of MBSE that provides, unlike current practices, systematic and integrated model-based engineering processes. An annex describes relevant features of the VHDL-AMS language supporting the methodological issues described in the book.
|
590 |
|
|
|a O'Reilly
|b O'Reilly Online Learning: Academic/Public Library Edition
|
650 |
|
0 |
|a Systems engineering
|x Mathematical models.
|
650 |
|
6 |
|a Ingénierie des systèmes
|x Modèles mathématiques.
|
650 |
|
7 |
|a Systems engineering
|x Mathematical models.
|2 fast
|0 (OCoLC)fst01141463
|
776 |
0 |
8 |
|i Print version:
|a Micouin, Patrice.
|t Model based systems engineering
|w (OCoLC)893678274
|
830 |
|
0 |
|a Control, systems and industrial engineering series.
|
856 |
4 |
0 |
|u https://learning.oreilly.com/library/view/~/9781118579596/?ar
|z Texto completo (Requiere registro previo con correo institucional)
|
938 |
|
|
|a Askews and Holts Library Services
|b ASKH
|n AH27080320
|
938 |
|
|
|a ProQuest Ebook Central
|b EBLB
|n EBL4036464
|
994 |
|
|
|a 92
|b IZTAP
|