top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
The autonomous system : a foundational synthesis of the sciences of the mind / / Szabolcs Michael de Gyurky with Mark A. Tarbell
The autonomous system : a foundational synthesis of the sciences of the mind / / Szabolcs Michael de Gyurky with Mark A. Tarbell
Autore De Gyurky Szabolcs Michael
Pubbl/distr/stampa Hoboken, New Jersey : , : Wiley, , [2014]
Descrizione fisica 1 online resource (204 p.)
Disciplina 006.3
Altri autori (Persone) TarbellMark A
Soggetto topico Artificial intelligence
Thought and thinking
ISBN 1-118-75749-1
1-118-75740-8
1-118-75995-8
Classificazione COM059000
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Cover; Title page; Copyright page; Dedication; Contents; Preface; Introduction; CHAPTER 1: The Architecture of the Autonomous System; 1.1 Introduction; 1.2 The System Constellation; 1.3 System Constellation Architectural Overview; 1.4 The Constellation Architecture; 1.4.1 The Four Categories of Communication; 1.5 The Software Systems Comprising the Constellation; 1.5.1 The Will System; 1.5.2 The Reason System; 1.5.3 The Intellect System; 1.5.4 The Presentation System; 1.5.5 The Understanding System; 1.5.6 The Sensory System; 1.5.7 The Decision System
1.5.8 The Thought System: Nexus CogitationisCHAPTER 2: The Architectural Methodology; 2.1 Articulation of the Requirements and Design; 2.1.1 Pillars of Knowledge and Experience; 2.1.2 Level I Architecture Design Document; 2.1.3 Project Functional Requirements Document; 2.1.4 Project Functional Design Document; 2.1.5 Project Software Requirements Document; 2.1.6 Project Implementation Plan; 2.1.7 Project Programming Rules and Conventions; 2.1.8 Project Software Design Document; 2.1.9 Project Detailed Design Document; 2.1.10 Project Software Specifications Document
2.1.11 Project Software Interface Specifications Document2.1.12 Project Software Test and Integration Plan; 2.1.13 System Functional Requirements Documents; 2.1.14 System Functional Design Documents; 2.1.15 System Software Requirements Documents 1 and 2; 2.1.16 System Software Design Documents; 2.1.17 System Detailed Design Documents; 2.1.18 System Software Specifications Documents; 2.1.19 System Software Interface Specifications Documents; 2.1.20 System Software Test and Integration Plans; 2.2 System Development and Integration Testing; 2.2.1 System Development and Debugging
2.2.2 System Testing2.2.3 Systems Integration Testing; 2.2.4 Project Integration Testing; 2.2.5 Project Final Acceptance Testing; 2.2.6 Project Delivery; 2.2.7 Project Operation and Maintenance Phase; 2.3 Phase I: The Idea; 2.3.1 Organizational Case Study: The Voyager Project; 2.3.2 JPL-STD-D-4000 Case Study: The TOPEX Project; 2.4 Making Rational Judgments; 2.5 Phase II: The Concept; 2.6 Using JPL-STD-D-4000 for System Requirements; CHAPTER 3: The Architecture of the Will System; 3.1 The Search for Truth; 3.1.1 Philosophical Background; 3.2 The Nature of the Will; 3.3 Das Ding an Sich
3.4 The Will as a System3.5 The Architecture of the Will System; 3.6 The Interfaces of the Will System; 3.7 The Subsystems of the Will System; 3.7.1 The Survival Subsystem; 3.7.2 The Propagation Subsystem; 3.7.3 The Dominance Subsystem; 3.7.4 The Science Data Conversion Subsystem; 3.7.5 The Craving Subsystem; 3.7.6 The Search for Truth Subsystem; 3.7.7 The Mission Subsystem; 3.7.8 The Repair Subsystem; CHAPTER 4: The Architecture of the Reason System; 4.1 The Reason and Ethics; 4.2 The Nature of the Reason; 4.3 The Reason as a System; 4.4 The Architecture of the Reason System
4.5 The External Interfaces of the Reason
Record Nr. UNINA-9910138997003321
De Gyurky Szabolcs Michael  
Hoboken, New Jersey : , : Wiley, , [2014]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
The autonomous system : a foundational synthesis of the sciences of the mind / / Szabolcs Michael de Gyurky with Mark A. Tarbell
The autonomous system : a foundational synthesis of the sciences of the mind / / Szabolcs Michael de Gyurky with Mark A. Tarbell
Autore De Gyurky Szabolcs Michael
Pubbl/distr/stampa Hoboken, New Jersey : , : Wiley, , [2014]
Descrizione fisica 1 online resource (204 p.)
Disciplina 006.3
Altri autori (Persone) TarbellMark A
Soggetto topico Artificial intelligence
Thought and thinking
ISBN 1-118-75749-1
1-118-75740-8
1-118-75995-8
Classificazione COM059000
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Cover; Title page; Copyright page; Dedication; Contents; Preface; Introduction; CHAPTER 1: The Architecture of the Autonomous System; 1.1 Introduction; 1.2 The System Constellation; 1.3 System Constellation Architectural Overview; 1.4 The Constellation Architecture; 1.4.1 The Four Categories of Communication; 1.5 The Software Systems Comprising the Constellation; 1.5.1 The Will System; 1.5.2 The Reason System; 1.5.3 The Intellect System; 1.5.4 The Presentation System; 1.5.5 The Understanding System; 1.5.6 The Sensory System; 1.5.7 The Decision System
1.5.8 The Thought System: Nexus CogitationisCHAPTER 2: The Architectural Methodology; 2.1 Articulation of the Requirements and Design; 2.1.1 Pillars of Knowledge and Experience; 2.1.2 Level I Architecture Design Document; 2.1.3 Project Functional Requirements Document; 2.1.4 Project Functional Design Document; 2.1.5 Project Software Requirements Document; 2.1.6 Project Implementation Plan; 2.1.7 Project Programming Rules and Conventions; 2.1.8 Project Software Design Document; 2.1.9 Project Detailed Design Document; 2.1.10 Project Software Specifications Document
2.1.11 Project Software Interface Specifications Document2.1.12 Project Software Test and Integration Plan; 2.1.13 System Functional Requirements Documents; 2.1.14 System Functional Design Documents; 2.1.15 System Software Requirements Documents 1 and 2; 2.1.16 System Software Design Documents; 2.1.17 System Detailed Design Documents; 2.1.18 System Software Specifications Documents; 2.1.19 System Software Interface Specifications Documents; 2.1.20 System Software Test and Integration Plans; 2.2 System Development and Integration Testing; 2.2.1 System Development and Debugging
2.2.2 System Testing2.2.3 Systems Integration Testing; 2.2.4 Project Integration Testing; 2.2.5 Project Final Acceptance Testing; 2.2.6 Project Delivery; 2.2.7 Project Operation and Maintenance Phase; 2.3 Phase I: The Idea; 2.3.1 Organizational Case Study: The Voyager Project; 2.3.2 JPL-STD-D-4000 Case Study: The TOPEX Project; 2.4 Making Rational Judgments; 2.5 Phase II: The Concept; 2.6 Using JPL-STD-D-4000 for System Requirements; CHAPTER 3: The Architecture of the Will System; 3.1 The Search for Truth; 3.1.1 Philosophical Background; 3.2 The Nature of the Will; 3.3 Das Ding an Sich
3.4 The Will as a System3.5 The Architecture of the Will System; 3.6 The Interfaces of the Will System; 3.7 The Subsystems of the Will System; 3.7.1 The Survival Subsystem; 3.7.2 The Propagation Subsystem; 3.7.3 The Dominance Subsystem; 3.7.4 The Science Data Conversion Subsystem; 3.7.5 The Craving Subsystem; 3.7.6 The Search for Truth Subsystem; 3.7.7 The Mission Subsystem; 3.7.8 The Repair Subsystem; CHAPTER 4: The Architecture of the Reason System; 4.1 The Reason and Ethics; 4.2 The Nature of the Reason; 4.3 The Reason as a System; 4.4 The Architecture of the Reason System
4.5 The External Interfaces of the Reason
Record Nr. UNINA-9910810815503321
De Gyurky Szabolcs Michael  
Hoboken, New Jersey : , : Wiley, , [2014]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Developments in data storage : materials perspective / / [edited by] S.N. Piramanayagam, Chong Tow Chong
Developments in data storage : materials perspective / / [edited by] S.N. Piramanayagam, Chong Tow Chong
Pubbl/distr/stampa Hoboken, N.J., : Wiley
Descrizione fisica 1 online resource (347 p.)
Disciplina 621.39/7
Altri autori (Persone) PiramanayagamS. N
ChongTow C
Soggetto topico Computer storage devices
ISBN 9786613294678
9781118096833
1118096835
9781283294676
1283294672
9781118096826
1118096827
9781118096819
1118096819
Classificazione COM059000
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Preface. -- Acknowledgments. -- 1. Introduction. -- 2.Fundamentals of Magnetism. -- 3. Longitudinal Recording Media. -- 4. Perpendicular Recording Medium. -- 5. Writer heads - Fundamentals. -- 6. Magneto-resistive Read Heads: Fundamentals and Functionality. -- 7. Read sensors for over 1 Terabits per square inch. -- 8. Thin film media Lubricants: Structure, Characterization and Performance. -- 9. Overcoat Materials for Magnetic Recording Media. -- 10. Heat Assisted Magnetic Recording. -- 11. L lo FePt for Magnetic Recording Media Applications. -- 12. Patterned Magnetic Recording Media: Progress and Prospects. -- 13. Phase Change Random Access Memory. -- 14. Non-volatile Solid State Magnetic Memory.
Record Nr. UNINA-9911018963403321
Hoboken, N.J., : Wiley
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Developments in data storage : materials perspective / / [edited by] S.N. Piramanayagam, Chong Tow Chong
Developments in data storage : materials perspective / / [edited by] S.N. Piramanayagam, Chong Tow Chong
Pubbl/distr/stampa Hoboken, New Jersey : , : Wiley, , c2011
Descrizione fisica 1 online resource (347 p.)
Disciplina 620.11
621.39/7
Altri autori (Persone) PiramanayagamS. N
ChongChong Tow
Soggetto topico Computer storage devices
ISBN 1-118-09683-5
1-283-29467-2
9786613294678
1-118-09682-7
1-118-09681-9
Classificazione COM059000
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Preface. -- Acknowledgments. -- 1. Introduction. -- 2.Fundamentals of Magnetism. -- 3. Longitudinal Recording Media. -- 4. Perpendicular Recording Medium. -- 5. Writer heads - Fundamentals. -- 6. Magneto-resistive Read Heads: Fundamentals and Functionality. -- 7. Read sensors for over 1 Terabits per square inch. -- 8. Thin film media Lubricants: Structure, Characterization and Performance. -- 9. Overcoat Materials for Magnetic Recording Media. -- 10. Heat Assisted Magnetic Recording. -- 11. L lo FePt for Magnetic Recording Media Applications. -- 12. Patterned Magnetic Recording Media: Progress and Prospects. -- 13. Phase Change Random Access Memory. -- 14. Non-volatile Solid State Magnetic Memory.
Record Nr. UNINA-9910139572503321
Hoboken, New Jersey : , : Wiley, , c2011
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Developments in data storage : materials perspective / / [edited by] S.N. Piramanayagam, Chong Tow Chong
Developments in data storage : materials perspective / / [edited by] S.N. Piramanayagam, Chong Tow Chong
Pubbl/distr/stampa Hoboken, New Jersey : , : Wiley, , c2011
Descrizione fisica 1 online resource (347 p.)
Disciplina 620.11
621.39/7
Altri autori (Persone) PiramanayagamS. N
ChongChong Tow
Soggetto topico Computer storage devices
ISBN 1-118-09683-5
1-283-29467-2
9786613294678
1-118-09682-7
1-118-09681-9
Classificazione COM059000
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Preface. -- Acknowledgments. -- 1. Introduction. -- 2.Fundamentals of Magnetism. -- 3. Longitudinal Recording Media. -- 4. Perpendicular Recording Medium. -- 5. Writer heads - Fundamentals. -- 6. Magneto-resistive Read Heads: Fundamentals and Functionality. -- 7. Read sensors for over 1 Terabits per square inch. -- 8. Thin film media Lubricants: Structure, Characterization and Performance. -- 9. Overcoat Materials for Magnetic Recording Media. -- 10. Heat Assisted Magnetic Recording. -- 11. L lo FePt for Magnetic Recording Media Applications. -- 12. Patterned Magnetic Recording Media: Progress and Prospects. -- 13. Phase Change Random Access Memory. -- 14. Non-volatile Solid State Magnetic Memory.
Record Nr. UNINA-9910829957103321
Hoboken, New Jersey : , : Wiley, , c2011
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Energy security : an interdisciplinary approach / / Gawdat Bahgat
Energy security : an interdisciplinary approach / / Gawdat Bahgat
Autore Bahgat Gawdat
Pubbl/distr/stampa Chichester, West Sussex : , : Wiley, , 2011
Descrizione fisica 1 online resource (256 pages)
Disciplina 333.79
Soggetto topico Energy policy
Energy development
Power resources
ISBN 0-470-98016-8
1-283-37411-0
9786613374110
0-470-98018-4
0-470-98017-6
Classificazione COM059000
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ENERGY SECURITY; Contents; About the Author; Preface; Acknowledgements; List of abbreviations; Glossary; 1 Introduction; 1.1 Energy Security; 1.2 Diversification of Energy Mix; 1.2.1 Oil; 1.2.2 Natural Gas; 1.2.3 Coal; 1.2.4 Nuclear Power; 1.2.5 Biofuels; 1.2.6 Other Renewable Sources; 1.2.7 Investment; 1.2.8 Resource Nationalism; 1.2.9 Geo-policy; 1.3 Conclusion; References; 2 United States; 2.1 Oil; 2.2 Natural Gas; 2.3 Coal; 2.4 Nuclear Power; 2.5 Ethanol; 2.6 The Quest for an Energy Strategy; 2.7 Conclusion: The Way Forward; References; 3 European Union; 3.1 The EU Energy Outlook
3.1.1 Oil3.1.2 Natural Gas; 3.1.3 Coal; 3.1.4 Nuclear Power; 3.1.5 Renewable Sources; 3.2 Russia; 3.3 Central Asia/Caspian Sea Region; 3.4 Mediterranean Sea; 3.5 The Gulf Cooperation Council; 3.6 Turkey; 3.7 Conclusion: The Way Ahead; References; 4 China; 4.1 Regulatory Authority; 4.2 Oil; 4.2.1 Imports from the Middle East; 4.2.2 Africa; 4.2.3 Central Asia; 4.2.4 Refining; 4.2.5 Shipping; 4.2.6 Strategic Petroleum Reserve (SPR); 4.3 Coal; 4.4 Natural Gas; 4.5 Nuclear Power; 4.6 Renewable Energy; 4.7 Overseas Exploration and Production; 4.8 Conclusion; References; 5 Persian Gulf
5.1 Socio-economic and Political Challenges5.1.1 International Sanctions; 5.1.2 Wars and Ethnic/Sectarian Strife; 5.1.3 Terrorism; 5.1.4 Closure of Straits of Hormuz; 5.1.5 Domestic Instability; 5.1.6 Underinvestment; 5.2 Saudi Arabia; 5.3 Iran; 5.4 Iraq; 5.5 Conclusion: The Way Forward; References; 6 Africa; 6.1 Algeria; 6.2 Libya; 6.3 Egypt; 6.4 Sudan; 6.5 Angola; 6.6 Nigeria; 6.7 United States and Africa; 6.8 Europe and Africa; 6.9 Conclusion: The Way Ahead; References; 7 Caspian Sea; 7.1 Hydrocarbon Resources - An Assessment; 7.1.1 Azerbaijan; 7.1.2 Kazakhstan; 7.1.3 Turkmenistan
7.2 The Legal Status of the Caspian Sea7.2.1 Azerbaijan; 7.2.2 Kazakhstan; 7.2.3 Russia; 7.2.4 Turkmenistan; 7.2.5 Iran; 7.3 Geopolitical Rivalry and Pipeline Diplomacy; 7.3.1 Iran; 7.3.2 Russia; 7.3.3 China; 7.3.4 Europe and the United States; 7.4 Conclusion: The Way Forward; References; 8 Russia; 8.1 Oil Sector; 8.2 Natural Gas; 8.3 The Energy Strategy-2030; 8.3.1 Oil Sector; 8.3.2 Gas Sector; 8.4 The Arctic Hydrocarbons; 8.5 Russia-EU Energy Partnership; 8.6 Russia, the Middle East, and OPEC; 8.7 Energy Sector Organization; 8.8 Conclusion: The Way Forward; References; 9 OPEC and Gas OPEC
9.1 OPEC: History and Evolution9.2 OPEC: Objectives, Membership, and Organization; 9.3 OPEC Summits; 9.4 OPEC: Long-Term Strategy; 9.5 Gas OPEC; 9.6 GECF and OPEC; 9.7 Oil vs. Gas; 9.7.1 Russia; 9.7.2 Iran, Qatar, and Algeria; 9.7.3 Consumers' Reaction; 9.8 Conclusion; References; 10 International Energy Agency; 10.1 The Founding of the IEA; 10.2 The International Energy Program; 10.3 Structure of the IEA; 10.3.1 The Governing Board; 10.3.2 Standing Groups; 10.3.3 The Secretariat; 10.3.4 Membership; 10.4 Energy Security; 10.4.1 Emergency Response Mechanisms; 10.5 How Did the System Work?
10.5.1 The 1979-1981 Crisis
Record Nr. UNINA-9910133454103321
Bahgat Gawdat  
Chichester, West Sussex : , : Wiley, , 2011
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Energy security : an interdisciplinary approach / / Gawdat Bahgat
Energy security : an interdisciplinary approach / / Gawdat Bahgat
Autore Bahgat Gawdat
Edizione [1st ed.]
Pubbl/distr/stampa Chichester, West Sussex, U.K., : Wiley, 2011
Descrizione fisica 1 online resource (256 pages)
Disciplina 333.79
Altri autori (Persone) BahgatGawdat
Soggetto topico Energy policy
Energy development
Power resources
ISBN 9786613374110
9780470980163
0470980168
9781283374118
1283374110
9780470980187
0470980184
9780470980170
0470980176
Classificazione COM059000
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ENERGY SECURITY; Contents; About the Author; Preface; Acknowledgements; List of abbreviations; Glossary; 1 Introduction; 1.1 Energy Security; 1.2 Diversification of Energy Mix; 1.2.1 Oil; 1.2.2 Natural Gas; 1.2.3 Coal; 1.2.4 Nuclear Power; 1.2.5 Biofuels; 1.2.6 Other Renewable Sources; 1.2.7 Investment; 1.2.8 Resource Nationalism; 1.2.9 Geo-policy; 1.3 Conclusion; References; 2 United States; 2.1 Oil; 2.2 Natural Gas; 2.3 Coal; 2.4 Nuclear Power; 2.5 Ethanol; 2.6 The Quest for an Energy Strategy; 2.7 Conclusion: The Way Forward; References; 3 European Union; 3.1 The EU Energy Outlook
3.1.1 Oil3.1.2 Natural Gas; 3.1.3 Coal; 3.1.4 Nuclear Power; 3.1.5 Renewable Sources; 3.2 Russia; 3.3 Central Asia/Caspian Sea Region; 3.4 Mediterranean Sea; 3.5 The Gulf Cooperation Council; 3.6 Turkey; 3.7 Conclusion: The Way Ahead; References; 4 China; 4.1 Regulatory Authority; 4.2 Oil; 4.2.1 Imports from the Middle East; 4.2.2 Africa; 4.2.3 Central Asia; 4.2.4 Refining; 4.2.5 Shipping; 4.2.6 Strategic Petroleum Reserve (SPR); 4.3 Coal; 4.4 Natural Gas; 4.5 Nuclear Power; 4.6 Renewable Energy; 4.7 Overseas Exploration and Production; 4.8 Conclusion; References; 5 Persian Gulf
5.1 Socio-economic and Political Challenges5.1.1 International Sanctions; 5.1.2 Wars and Ethnic/Sectarian Strife; 5.1.3 Terrorism; 5.1.4 Closure of Straits of Hormuz; 5.1.5 Domestic Instability; 5.1.6 Underinvestment; 5.2 Saudi Arabia; 5.3 Iran; 5.4 Iraq; 5.5 Conclusion: The Way Forward; References; 6 Africa; 6.1 Algeria; 6.2 Libya; 6.3 Egypt; 6.4 Sudan; 6.5 Angola; 6.6 Nigeria; 6.7 United States and Africa; 6.8 Europe and Africa; 6.9 Conclusion: The Way Ahead; References; 7 Caspian Sea; 7.1 Hydrocarbon Resources - An Assessment; 7.1.1 Azerbaijan; 7.1.2 Kazakhstan; 7.1.3 Turkmenistan
7.2 The Legal Status of the Caspian Sea7.2.1 Azerbaijan; 7.2.2 Kazakhstan; 7.2.3 Russia; 7.2.4 Turkmenistan; 7.2.5 Iran; 7.3 Geopolitical Rivalry and Pipeline Diplomacy; 7.3.1 Iran; 7.3.2 Russia; 7.3.3 China; 7.3.4 Europe and the United States; 7.4 Conclusion: The Way Forward; References; 8 Russia; 8.1 Oil Sector; 8.2 Natural Gas; 8.3 The Energy Strategy-2030; 8.3.1 Oil Sector; 8.3.2 Gas Sector; 8.4 The Arctic Hydrocarbons; 8.5 Russia-EU Energy Partnership; 8.6 Russia, the Middle East, and OPEC; 8.7 Energy Sector Organization; 8.8 Conclusion: The Way Forward; References; 9 OPEC and Gas OPEC
9.1 OPEC: History and Evolution9.2 OPEC: Objectives, Membership, and Organization; 9.3 OPEC Summits; 9.4 OPEC: Long-Term Strategy; 9.5 Gas OPEC; 9.6 GECF and OPEC; 9.7 Oil vs. Gas; 9.7.1 Russia; 9.7.2 Iran, Qatar, and Algeria; 9.7.3 Consumers' Reaction; 9.8 Conclusion; References; 10 International Energy Agency; 10.1 The Founding of the IEA; 10.2 The International Energy Program; 10.3 Structure of the IEA; 10.3.1 The Governing Board; 10.3.2 Standing Groups; 10.3.3 The Secretariat; 10.3.4 Membership; 10.4 Energy Security; 10.4.1 Emergency Response Mechanisms; 10.5 How Did the System Work?
10.5.1 The 1979-1981 Crisis
Record Nr. UNINA-9910827253403321
Bahgat Gawdat  
Chichester, West Sussex, U.K., : Wiley, 2011
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Formal methods for industrial critical systems : a survey of applications / / edited by Stefania Gnesi, Tiziana Margaria
Formal methods for industrial critical systems : a survey of applications / / edited by Stefania Gnesi, Tiziana Margaria
Pubbl/distr/stampa Hoboken, N.J., : John Wiley & Sons Inc., c2013
Descrizione fisica 1 online resource (294 p.)
Disciplina 004.21
620.86028551
Altri autori (Persone) GnesiStefania <1954->
Margaria-SteffenTiziana <1964->
Soggetto topico Formal methods (Computer science)
System design
ISBN 1-118-45989-X
1-283-85888-6
1-118-45986-5
Classificazione COM059000
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto FOREWORD by Mike Hinchey xiii -- FOREWORD by Alessandro Fantechi and Pedro Merino xv -- PREFACE xvii -- CONTRIBUTORS xix -- PART I INTRODUCTION AND STATE OF THE ART 1 -- 1 FORMAL METHODS: APPLYING {LOGICS IN, THEORETICAL} COMPUTER SCIENCE 3 -- Diego Latella -- 1.1 Introduction and State of the Art 3 -- 1.2 Future Directions 9 -- PART II MODELING PARADIGMS 15 -- 2 A SYNCHRONOUS LANGUAGE AT WORK: THE STORY OF LUSTRE 17 -- Nicolas Halbwachs -- 2.1 Introduction 17 -- 2.2 A Flavor of the Language 18 -- 2.3 The Design and Development of Lustre and Scade 20 -- 2.4 Some Lessons from Industrial Use 25 -- 2.5 And Now . . . 28 -- 3 REQUIREMENTS OF AN INTEGRATED FORMAL METHOD FOR INTELLIGENT SWARMS 33 -- Mike Hinchey, James L. Rash, Christopher A. Rouff, Walt F. Truszkowski, and Amy K.C.S. Vanderbilt -- 3.1 Introduction 33 -- 3.2 Swarm Technologies 35 -- 3.3 NASA FAST Project 39 -- 3.4 Integrated Swarm Formal Method 41 -- 3.5 Conclusion 55 -- PART III TRANSPORTATION SYSTEMS 61 -- 4 SOME TRENDS IN FORMAL METHODS APPLICATIONS TO RAILWAY SIGNALING 63 -- Alessandro Fantechi, Wan Fokkink, and Angelo Morzenti -- 4.1 Introduction 63 -- 4.2 CENELEC Guidelines 65 -- 4.3 Software Procurement in Railway Signaling 66 -- 4.4 A Success Story: The B Method 70 -- 4.5 Classes of Railway Signaling Equipment 71 -- 4.6 Conclusions 80 -- 5 SYMBOLIC MODEL CHECKING FOR AVIONICS 85 -- Radu I. Siminiceanu and Gianfranco Ciardo -- 5.1 Introduction 85 -- 5.2 Application: The Runway Safety Monitor 87 -- 5.3 A Discrete Model of RSM 95 -- 5.4 Discussion 107 -- PART IV TELECOMMUNICATIONS 113 -- 6 APPLYING FORMAL METHODS TO TELECOMMUNICATION SERVICES WITH ACTIVE NETWORKS 115 -- Marƒia del Mar Gallardo, Jesús Martƒinez, and Pedro Merino -- 6.1 Overview 115 -- 6.2 Active Networks 116 -- 6.3 The Capsule Approach 117 -- 6.4 Previous Approaches on Analyzing Active Networks 118 -- 6.5 Model Checking Active Networks with SPIN 122 -- 6.6 Conclusions 129 -- 7 PRACTICAL APPLICATIONS OF PROBABILISTIC MODEL CHECKING TO COMMUNICATION PROTOCOLS 133 -- Marie Dufl ot, Marta Kwiatkowska, Gethin Norman, David Parker, Sylvain Peyronnet, Claudine Picaronny, and Jeremy Sproston.
7.1 Introduction 133 -- 7.2 PTAs 134 -- 7.3 Probabilistic Model Checking 136 -- 7.4 Case Study: CSMA/CD 139 -- 7.5 Discussion and Conclusion 146 -- PART V INTERNET AND ONLINE SERVICES 151 -- 8 DESIGN FOR VERIFIABILITY: THE OCS CASE STUDY 153 -- Johannes Neubauer, Tiziana Margaria, and Bernhard Steffen -- 8.1 Introduction 153 -- 8.2 The User Model 155 -- 8.3 The Models and the Framework 158 -- 8.4 Model Checking 159 -- 8.5 Validating Emerging Global Behavior via Automata Learning 161 -- 8.6 Related Work 170 -- 8.7 Conclusion and Perspectives 173 -- 9 AN APPLICATION OF STOCHASTIC MODEL CHECKING IN THE INDUSTRY: USER-CENTERED MODELING AND ANALYSIS OF COLLABORATION IN THINKTEAM 179 -- Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, and Gianluca Trentanni -- 9.1 Introduction 179 -- 9.2 thinkteam 182 -- 9.3 Analysis of the thinkteam Log File 184 -- 9.4 thinkteam with Replicated Vaults 189 -- 9.5 Lessons Learned 201 -- 9.6 Conclusions 201 -- PART VI RUNTIME: TESTING AND MODEL LEARNING 205 -- 10 THE TESTING AND TEST CONTROL NOTATION TTCN-3 AND ITS USE 207 -- Ina Schieferdecker and Alain-Georges Vouffo-Feudjio -- 10.1 Introduction 207 -- 10.2 The Concepts of TTCN-3 210 -- 10.3 An Introductory Example 216 -- 10.4 TTCN-3 Semantics and Its Application 219 -- 10.5 A Distributed Test Platform for the TTCN-3 220 -- 10.6 Case Study I: Testing of Open Service Architecture (OSA)/Parlay Services 223 -- 10.7 Case Study II: Testing of IP Multimedia Subsystem (IMS) Equipment 225 -- 10.8 Conclusion 230 -- 11 PRACTICAL ASPECTS OF ACTIVE AUTOMATA LEARNING 235 -- Falk Howar, Maik Merten, Bernhard Steffen, and Tiziana Margaria -- 11.1 Introduction 235 -- 11.2 Regular Extrapolation 239 -- 11.3 Challenges in Regular Extrapolation 244 -- 11.4 Interacting with Real Systems 247 -- 11.5 Membership Queries 250 -- 11.6 Reset 253 -- 11.7 Parameters and Value Domains 256 -- 11.8 The NGLL 260 -- 11.9 Conclusion and Perspectives 263 -- References 264 -- INDEX 269.
Record Nr. UNINA-9911019777003321
Hoboken, N.J., : John Wiley & Sons Inc., c2013
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Formal methods for industrial critical systems : a survey of applications / / edited by Stefania Gnesi, Tiziana Margaria
Formal methods for industrial critical systems : a survey of applications / / edited by Stefania Gnesi, Tiziana Margaria
Pubbl/distr/stampa Hoboken, New Jersey : , : John Wiley and Sons Incorporated, , [2012]
Descrizione fisica 1 online resource (294 p.)
Disciplina 004.21
620.86028551
Altri autori (Persone) GnesiStefania <1954->
Margaria-SteffenTiziana <1964->
Soggetto topico Formal methods (Computer science)
System design
ISBN 1-118-45989-X
1-283-85888-6
1-118-45986-5
Classificazione COM059000
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto FOREWORD by Mike Hinchey xiii -- FOREWORD by Alessandro Fantechi and Pedro Merino xv -- PREFACE xvii -- CONTRIBUTORS xix -- PART I INTRODUCTION AND STATE OF THE ART 1 -- 1 FORMAL METHODS: APPLYING {LOGICS IN, THEORETICAL} COMPUTER SCIENCE 3 -- Diego Latella -- 1.1 Introduction and State of the Art 3 -- 1.2 Future Directions 9 -- PART II MODELING PARADIGMS 15 -- 2 A SYNCHRONOUS LANGUAGE AT WORK: THE STORY OF LUSTRE 17 -- Nicolas Halbwachs -- 2.1 Introduction 17 -- 2.2 A Flavor of the Language 18 -- 2.3 The Design and Development of Lustre and Scade 20 -- 2.4 Some Lessons from Industrial Use 25 -- 2.5 And Now . . . 28 -- 3 REQUIREMENTS OF AN INTEGRATED FORMAL METHOD FOR INTELLIGENT SWARMS 33 -- Mike Hinchey, James L. Rash, Christopher A. Rouff, Walt F. Truszkowski, and Amy K.C.S. Vanderbilt -- 3.1 Introduction 33 -- 3.2 Swarm Technologies 35 -- 3.3 NASA FAST Project 39 -- 3.4 Integrated Swarm Formal Method 41 -- 3.5 Conclusion 55 -- PART III TRANSPORTATION SYSTEMS 61 -- 4 SOME TRENDS IN FORMAL METHODS APPLICATIONS TO RAILWAY SIGNALING 63 -- Alessandro Fantechi, Wan Fokkink, and Angelo Morzenti -- 4.1 Introduction 63 -- 4.2 CENELEC Guidelines 65 -- 4.3 Software Procurement in Railway Signaling 66 -- 4.4 A Success Story: The B Method 70 -- 4.5 Classes of Railway Signaling Equipment 71 -- 4.6 Conclusions 80 -- 5 SYMBOLIC MODEL CHECKING FOR AVIONICS 85 -- Radu I. Siminiceanu and Gianfranco Ciardo -- 5.1 Introduction 85 -- 5.2 Application: The Runway Safety Monitor 87 -- 5.3 A Discrete Model of RSM 95 -- 5.4 Discussion 107 -- PART IV TELECOMMUNICATIONS 113 -- 6 APPLYING FORMAL METHODS TO TELECOMMUNICATION SERVICES WITH ACTIVE NETWORKS 115 -- Marƒia del Mar Gallardo, Jesús Martƒinez, and Pedro Merino -- 6.1 Overview 115 -- 6.2 Active Networks 116 -- 6.3 The Capsule Approach 117 -- 6.4 Previous Approaches on Analyzing Active Networks 118 -- 6.5 Model Checking Active Networks with SPIN 122 -- 6.6 Conclusions 129 -- 7 PRACTICAL APPLICATIONS OF PROBABILISTIC MODEL CHECKING TO COMMUNICATION PROTOCOLS 133 -- Marie Dufl ot, Marta Kwiatkowska, Gethin Norman, David Parker, Sylvain Peyronnet, Claudine Picaronny, and Jeremy Sproston.
7.1 Introduction 133 -- 7.2 PTAs 134 -- 7.3 Probabilistic Model Checking 136 -- 7.4 Case Study: CSMA/CD 139 -- 7.5 Discussion and Conclusion 146 -- PART V INTERNET AND ONLINE SERVICES 151 -- 8 DESIGN FOR VERIFIABILITY: THE OCS CASE STUDY 153 -- Johannes Neubauer, Tiziana Margaria, and Bernhard Steffen -- 8.1 Introduction 153 -- 8.2 The User Model 155 -- 8.3 The Models and the Framework 158 -- 8.4 Model Checking 159 -- 8.5 Validating Emerging Global Behavior via Automata Learning 161 -- 8.6 Related Work 170 -- 8.7 Conclusion and Perspectives 173 -- 9 AN APPLICATION OF STOCHASTIC MODEL CHECKING IN THE INDUSTRY: USER-CENTERED MODELING AND ANALYSIS OF COLLABORATION IN THINKTEAM 179 -- Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, and Gianluca Trentanni -- 9.1 Introduction 179 -- 9.2 thinkteam 182 -- 9.3 Analysis of the thinkteam Log File 184 -- 9.4 thinkteam with Replicated Vaults 189 -- 9.5 Lessons Learned 201 -- 9.6 Conclusions 201 -- PART VI RUNTIME: TESTING AND MODEL LEARNING 205 -- 10 THE TESTING AND TEST CONTROL NOTATION TTCN-3 AND ITS USE 207 -- Ina Schieferdecker and Alain-Georges Vouffo-Feudjio -- 10.1 Introduction 207 -- 10.2 The Concepts of TTCN-3 210 -- 10.3 An Introductory Example 216 -- 10.4 TTCN-3 Semantics and Its Application 219 -- 10.5 A Distributed Test Platform for the TTCN-3 220 -- 10.6 Case Study I: Testing of Open Service Architecture (OSA)/Parlay Services 223 -- 10.7 Case Study II: Testing of IP Multimedia Subsystem (IMS) Equipment 225 -- 10.8 Conclusion 230 -- 11 PRACTICAL ASPECTS OF ACTIVE AUTOMATA LEARNING 235 -- Falk Howar, Maik Merten, Bernhard Steffen, and Tiziana Margaria -- 11.1 Introduction 235 -- 11.2 Regular Extrapolation 239 -- 11.3 Challenges in Regular Extrapolation 244 -- 11.4 Interacting with Real Systems 247 -- 11.5 Membership Queries 250 -- 11.6 Reset 253 -- 11.7 Parameters and Value Domains 256 -- 11.8 The NGLL 260 -- 11.9 Conclusion and Perspectives 263 -- References 264 -- INDEX 269.
Record Nr. UNINA-9910141360103321
Hoboken, New Jersey : , : John Wiley and Sons Incorporated, , [2012]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Formal methods for industrial critical systems : a survey of applications / / edited by Stefania Gnesi, Tiziana Margaria
Formal methods for industrial critical systems : a survey of applications / / edited by Stefania Gnesi, Tiziana Margaria
Pubbl/distr/stampa Hoboken, New Jersey : , : John Wiley and Sons Incorporated, , [2012]
Descrizione fisica 1 online resource (294 p.)
Disciplina 004.21
620.86028551
Altri autori (Persone) GnesiStefania <1954->
Margaria-SteffenTiziana <1964->
Soggetto topico Formal methods (Computer science)
System design
ISBN 1-118-45989-X
1-283-85888-6
1-118-45986-5
Classificazione COM059000
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto FOREWORD by Mike Hinchey xiii -- FOREWORD by Alessandro Fantechi and Pedro Merino xv -- PREFACE xvii -- CONTRIBUTORS xix -- PART I INTRODUCTION AND STATE OF THE ART 1 -- 1 FORMAL METHODS: APPLYING {LOGICS IN, THEORETICAL} COMPUTER SCIENCE 3 -- Diego Latella -- 1.1 Introduction and State of the Art 3 -- 1.2 Future Directions 9 -- PART II MODELING PARADIGMS 15 -- 2 A SYNCHRONOUS LANGUAGE AT WORK: THE STORY OF LUSTRE 17 -- Nicolas Halbwachs -- 2.1 Introduction 17 -- 2.2 A Flavor of the Language 18 -- 2.3 The Design and Development of Lustre and Scade 20 -- 2.4 Some Lessons from Industrial Use 25 -- 2.5 And Now . . . 28 -- 3 REQUIREMENTS OF AN INTEGRATED FORMAL METHOD FOR INTELLIGENT SWARMS 33 -- Mike Hinchey, James L. Rash, Christopher A. Rouff, Walt F. Truszkowski, and Amy K.C.S. Vanderbilt -- 3.1 Introduction 33 -- 3.2 Swarm Technologies 35 -- 3.3 NASA FAST Project 39 -- 3.4 Integrated Swarm Formal Method 41 -- 3.5 Conclusion 55 -- PART III TRANSPORTATION SYSTEMS 61 -- 4 SOME TRENDS IN FORMAL METHODS APPLICATIONS TO RAILWAY SIGNALING 63 -- Alessandro Fantechi, Wan Fokkink, and Angelo Morzenti -- 4.1 Introduction 63 -- 4.2 CENELEC Guidelines 65 -- 4.3 Software Procurement in Railway Signaling 66 -- 4.4 A Success Story: The B Method 70 -- 4.5 Classes of Railway Signaling Equipment 71 -- 4.6 Conclusions 80 -- 5 SYMBOLIC MODEL CHECKING FOR AVIONICS 85 -- Radu I. Siminiceanu and Gianfranco Ciardo -- 5.1 Introduction 85 -- 5.2 Application: The Runway Safety Monitor 87 -- 5.3 A Discrete Model of RSM 95 -- 5.4 Discussion 107 -- PART IV TELECOMMUNICATIONS 113 -- 6 APPLYING FORMAL METHODS TO TELECOMMUNICATION SERVICES WITH ACTIVE NETWORKS 115 -- Marƒia del Mar Gallardo, Jesús Martƒinez, and Pedro Merino -- 6.1 Overview 115 -- 6.2 Active Networks 116 -- 6.3 The Capsule Approach 117 -- 6.4 Previous Approaches on Analyzing Active Networks 118 -- 6.5 Model Checking Active Networks with SPIN 122 -- 6.6 Conclusions 129 -- 7 PRACTICAL APPLICATIONS OF PROBABILISTIC MODEL CHECKING TO COMMUNICATION PROTOCOLS 133 -- Marie Dufl ot, Marta Kwiatkowska, Gethin Norman, David Parker, Sylvain Peyronnet, Claudine Picaronny, and Jeremy Sproston.
7.1 Introduction 133 -- 7.2 PTAs 134 -- 7.3 Probabilistic Model Checking 136 -- 7.4 Case Study: CSMA/CD 139 -- 7.5 Discussion and Conclusion 146 -- PART V INTERNET AND ONLINE SERVICES 151 -- 8 DESIGN FOR VERIFIABILITY: THE OCS CASE STUDY 153 -- Johannes Neubauer, Tiziana Margaria, and Bernhard Steffen -- 8.1 Introduction 153 -- 8.2 The User Model 155 -- 8.3 The Models and the Framework 158 -- 8.4 Model Checking 159 -- 8.5 Validating Emerging Global Behavior via Automata Learning 161 -- 8.6 Related Work 170 -- 8.7 Conclusion and Perspectives 173 -- 9 AN APPLICATION OF STOCHASTIC MODEL CHECKING IN THE INDUSTRY: USER-CENTERED MODELING AND ANALYSIS OF COLLABORATION IN THINKTEAM 179 -- Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, and Gianluca Trentanni -- 9.1 Introduction 179 -- 9.2 thinkteam 182 -- 9.3 Analysis of the thinkteam Log File 184 -- 9.4 thinkteam with Replicated Vaults 189 -- 9.5 Lessons Learned 201 -- 9.6 Conclusions 201 -- PART VI RUNTIME: TESTING AND MODEL LEARNING 205 -- 10 THE TESTING AND TEST CONTROL NOTATION TTCN-3 AND ITS USE 207 -- Ina Schieferdecker and Alain-Georges Vouffo-Feudjio -- 10.1 Introduction 207 -- 10.2 The Concepts of TTCN-3 210 -- 10.3 An Introductory Example 216 -- 10.4 TTCN-3 Semantics and Its Application 219 -- 10.5 A Distributed Test Platform for the TTCN-3 220 -- 10.6 Case Study I: Testing of Open Service Architecture (OSA)/Parlay Services 223 -- 10.7 Case Study II: Testing of IP Multimedia Subsystem (IMS) Equipment 225 -- 10.8 Conclusion 230 -- 11 PRACTICAL ASPECTS OF ACTIVE AUTOMATA LEARNING 235 -- Falk Howar, Maik Merten, Bernhard Steffen, and Tiziana Margaria -- 11.1 Introduction 235 -- 11.2 Regular Extrapolation 239 -- 11.3 Challenges in Regular Extrapolation 244 -- 11.4 Interacting with Real Systems 247 -- 11.5 Membership Queries 250 -- 11.6 Reset 253 -- 11.7 Parameters and Value Domains 256 -- 11.8 The NGLL 260 -- 11.9 Conclusion and Perspectives 263 -- References 264 -- INDEX 269.
Record Nr. UNINA-9910830558103321
Hoboken, New Jersey : , : John Wiley and Sons Incorporated, , [2012]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui