|
|
|
|
| LEADER |
03999nmm a2200385 u 4500 |
| 001 |
EB001935652 |
| 003 |
EBX01000000000000001098554 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
210123 ||| eng |
| 020 |
|
|
|a 9781118579596
|
| 020 |
|
|
|a 1118579593
|
| 020 |
|
|
|a 1848214693
|
| 050 |
|
4 |
|a TA168
|
| 100 |
1 |
|
|a Micouin, Patrice
|
| 245 |
0 |
0 |
|a Model based systems engineering
|b fundamentals and methods
|c Patrice Micouin
|
| 260 |
|
|
|a London
|b ISTE Ltd
|c 2014
|
| 300 |
|
|
|a 1 volume
|b illustrations
|
| 505 |
0 |
|
|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 |
0 |
|
|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 |
0 |
|
|a Includes bibliographical references and index
|
| 505 |
0 |
|
|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
|
| 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 |
0 |
|
|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
|
| 653 |
|
|
|a Ingénierie des systèmes / Modèles mathématiques
|
| 653 |
|
|
|a Systems engineering / Mathematical models
|
| 653 |
|
|
|a Systems engineering / Mathematical models / fast
|
| 041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
| 989 |
|
|
|b OREILLY
|a O'Reilly
|
| 490 |
0 |
|
|a Control, Systems and Industrial Engineering Series
|
| 776 |
|
|
|z 9781848214699
|
| 856 |
4 |
0 |
|u https://learning.oreilly.com/library/view/~/9781118579596/?ar
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 620.0011
|
| 082 |
0 |
|
|a 620
|
| 520 |
|
|
|a Annotation
|