LEADER 03483nam 2200469 450 001 9910554841303321 005 20200106152547.0 010 $a1-119-51392-8 010 $a1-5231-3332-5 010 $a1-119-51395-2 010 $a1-119-51394-4 035 $a(CKB)4100000010010440 035 $a(MiAaPQ)EBC5993968 035 $a(CaSebORM)9781119513896 035 $a(PPN)251064824 035 $a(EXLCZ)994100000010010440 100 $a20200106d2020 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aSystems engineering in the fourth industrial revolution $ebig data, novel technologies, and modern systems engineering /$fedited by Robert S. Swarz, Avigdor Zonnenshain and Ron S. Kenett 205 $a1st edition 210 1$aHoboken, New Jersey :$cWiley,$d2020. 215 $a1 online resource (659 pages) 311 $a1-119-51389-8 330 $aAn up-to-date guide for using massive amounts of data and novel technologies to design, build, and maintain better systems engineering Systems Engineering in the Fourth Industrial Revolution: Big Data, Novel Technologies, and Modern Systems Engineering offers a guide to the recent changes in systems engineering prompted by the current challenging and innovative industrial environment called the Fourth Industrial Revolution?INDUSTRY 4.0. This book contains advanced models, innovative practices, and state-of-the-art research findings on systems engineering. The contributors, an international panel of experts on the topic, explore the key elements in systems engineering that have shifted towards data collection and analytics, available and used in the design and development of systems and also in the later life-cycle stages of use and retirement. The contributors address the issues in a system in which the system involves data in its operation, contrasting with earlier approaches in which data, models, and algorithms were less involved in the function of the system. The book covers a wide range of topics including five systems engineering domains: systems engineering and systems thinking; systems software and process engineering; the digital factory; reliability and maintainability modeling and analytics; and organizational aspects of systems engineering. This important resource: Presents new and advanced approaches, methodologies, and tools for designing, testing, deploying, and maintaining advanced complex systems Explores effective evidence-based risk management practices Describes an integrated approach to safety, reliability, and cyber security based on system theory Discusses entrepreneurship as a multidisciplinary system Emphasizes technical merits of systems engineering concepts by providing technical models Written for systems engineers, Systems Engineering in the Fourth Industrial Revolution offers an up-to-date resource that contains the best practices and most recent research on the topic of systems engineering. 606 $aSystems engineering 615 0$aSystems engineering. 676 $a620.001171 700 $aKenett$b Ron$0874200 702 $aZonnenshain$b Avigdor 702 $aSwarz$b Robert S. 702 $aKenett$b Ron 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910554841303321 996 $aSystems engineering in the fourth industrial revolution$92819387 997 $aUNINA LEADER 00983nam0 22002531i 450 001 UON00316697 005 20231205104121.805 100 $a20081020d1977 |0itac50 ba 101 $arum 102 $aRO 105 $a|||| 1|||| 200 1 $aDreptul românesc contemporan$eevolutie si perspective$fcoordonator Ioan Ceterchi 210 $aBucuresti$cEditura stiintifica si enciclopedica$d1977 215 $a469 p.$d21 cm. 606 $aRomania$xDiritto$xStudi$3UONC069749$2FI 620 $aRO$dBucure?ti$3UONL000071 702 1$aCETERCHI$bIoan$3UONV180798 712 $aEditura Stiintifica si Enciclopedica$3UONV269674$4650 801 $aIT$bSOL$c20250801$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00316697 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI NAPOLITANO 0987 $eSI SC 44239 5 0987 996 $aDreptul românesc contemporan$91374968 997 $aUNIOR LEADER 04804nam 22006975 450 001 9910484590103321 005 20251226195431.0 010 $a3-540-93900-8 024 7 $a10.1007/978-3-540-93900-9 035 $a(CKB)1000000000545922 035 $a(SSID)ssj0000320627 035 $a(PQKBManifestationID)11937793 035 $a(PQKBTitleCode)TC0000320627 035 $a(PQKBWorkID)10249731 035 $a(PQKB)10561021 035 $a(DE-He213)978-3-540-93900-9 035 $a(MiAaPQ)EBC3063865 035 $a(PPN)132869004 035 $a(EXLCZ)991000000000545922 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aVerification, Model Checking, and Abstract Interpretation $e10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /$fedited by Neil Jones, Markus Müller-Olm 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (XI, 381 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5403 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-93899-0 327 $aInvited Talks -- Model Checking: Progress and Problems -- Model Checking Concurrent Programs -- Thread-Modular Shape Analysis -- Invited Tutorials -- Advances in Program Termination and Liveness -- Verification of Security Protocols -- Submitted Papers -- Towards Automatic Stability Analysis for Rely-Guarantee Proofs -- Mostly-Functional Behavior in Java Programs -- The Higher-Order Aggregate Update Problem -- An Abort-Aware Model of Transactional Programming -- Model-Checking the Linux Virtual File System -- LTL Generalized Model Checking Revisited -- Monitoring the Full Range of ?-Regular Properties of Stochastic Systems -- Constraint-Based Invariant Inference over Predicate Abstraction -- Reducing Behavioural to Structural Properties of Programs with Procedures -- Query-Driven Program Testing -- Average-Price-per-Reward Games on Hybrid Automata with Strong Resets -- Abstraction Refinement for Probabilistic Software -- Finding Concurrency-Related Bugs Using Random Isolation -- An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries -- SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities -- Deciding Extensions of the Theories of Vectors and Bags -- A Posteriori Soundness for Non-deterministic Abstract Interpretations -- An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking -- A Scalable Memory Model for Low-Level Code -- Synthesizing Switching Logic Using Constraint Solving -- Extending Symmetry Reduction by Exploiting System Architecture -- Shape-Value Abstraction for Verifying Linearizability -- Mixed Transition Systems Revisited -- Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. 330 $aThe book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009 - co-located with POPL 2009, the 36th Annual Symposium on Principles of Programming Languages. The 24 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 72 submissions. The papers address all current issues from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5403 606 $aComputer programming 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aProgramming Techniques 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aComputer Science Logic and Foundations of Programming 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aComputer science. 615 14$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a005.11 701 $aJones$b Neil D$059760 701 $aMuller-Olm$b Markus$0508822 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484590103321 996 $aVerification, model checking, and abstract interpretation$94193177 997 $aUNINA