Información del autor
Autor Stålhane, Tor |
Documentos disponibles escritos por este autor (3)
Crear una solicitud de compra Refinar búsqueda
TÃtulo : Functional Safety and Proof of Compliance Tipo de documento: documento electrónico Autores: Myklebust, Thor, ; StÃ¥lhane, Tor, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XXIV, 265 p. 73 ilustraciones, 57 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-86152-0 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: IngenierÃa de software Gestión industrial Protección de datos Gestión de software Operaciones de TI Servicios de seguridad Clasificación: 51.068 Resumen: Este libro tiene como objetivo facilitar y mejorar el trabajo de desarrollo relacionado con todos los documentos e información requeridos por las normas de seguridad funcional. La Prueba de Cumplimiento (PoC) es importante para el evaluador y los organismos de certificación cuando se les llama para confirmar que el fabricante ha desarrollado un sistema de software de acuerdo con los estándares de seguridad requeridos. Si bien los documentos PoC no agregan funcionalidad al producto ni para el desarrollador ni para el cliente, sà agregan confianza al producto y facilitan la certificación y, como tales, son importantes para el valor del producto. A pesar de este valor agregado, la documentación necesaria para PoC a menudo se desarrolla tarde en el proyecto y de manera desordenada. Este libro está dirigido a desarrolladores, evaluadores, organismos de certificación y compradores de sistemas instrumentados de seguridad e informa al lector sobre los documentos PoC más importantes. Una documentación PoC tÃpica abarca de 50 a 200 documentos, varios de los cuales se mencionan en las normas de seguridad (por ejemplo, 82 documentos en la serie IEC 61508:2010, 101 documentos en la serie EN 5012X y 106 productos de trabajo en la serie ISO 26262:2018). Estos documentos también incluyen referencias adicionales, normalmente de una a veinte, y el número total de páginas desarrolladas por el fabricante varÃa entre 2000 y 10000 páginas. El libro proporciona orientación y ejemplos sobre qué incluir en los planes y documentos relevantes. CaracterÃsticas y beneficios • Primer libro sobre cómo planificar y desarrollar información y documentación de prueba de cumplimiento relevante • Describe en detalle qué incluir en los planes y documentos relevantes • Proporciona a fabricantes, desarrolladores, consultores y operadores numerosos planes de ejemplo. Nota de contenido: 1. The Introduction -- 2. Agile Practices -- 3. POC in Agile Development and for SMEs -- 4. Generic Documents -- 5. Plans and Functional safety Management -- 6. Safety Analysis Methods Applied to Software -- 7. Safety and Risk Documents -- 8. Software Documents -- 9. Test, Analysis and V&V. Tipo de medio : Computadora Summary : This book aims to facilitate and improve development work related to all documents and information required by functional safety standards. Proof of Compliance (PoC) is important for the assessor and certification bodies when called up to confirm that the manufacturer has developed a software system according to the required safety standards. While PoC documents add functionality to the product neither for the developer nor for the customer, they do add confidence and trust to the product and ease certification, and as such are important for the product's value. In spite of this added value, the documentation needed for PoC is often developed late in the project and in a haphazard manner. This book aims at developers, assessors, certification bodies, and purchasers of safety instrumented systems and informs the reader about the most important PoC documents. A typical PoC documentation encompasses 50 to 200 documents, several of which are named in the safety standards (e.g., 82 documents in IEC 61508:2010 series, 101 documents in EN 5012X series and 106 work products in ISO 26262:2018 series). These documents also include further references, typically one to twenty of them, and the total number of pages developed by the manufacturer varies between 2000 and 10000 pages. The book provides guidance and examples what to include in the relevant plans and documents. Features and Benefits • First book about how to plan and develop relevant proof of compliance documentation and information • Describes in detail what to include in relevant plans and documents • Provides manufacturers, developers, consultants and operators with numerous example plans. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Functional Safety and Proof of Compliance [documento electrónico] / Myklebust, Thor, ; StÃ¥lhane, Tor, . - 1 ed. . - [s.l.] : Springer, 2021 . - XXIV, 265 p. 73 ilustraciones, 57 ilustraciones en color.
ISBN : 978-3-030-86152-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: IngenierÃa de software Gestión industrial Protección de datos Gestión de software Operaciones de TI Servicios de seguridad Clasificación: 51.068 Resumen: Este libro tiene como objetivo facilitar y mejorar el trabajo de desarrollo relacionado con todos los documentos e información requeridos por las normas de seguridad funcional. La Prueba de Cumplimiento (PoC) es importante para el evaluador y los organismos de certificación cuando se les llama para confirmar que el fabricante ha desarrollado un sistema de software de acuerdo con los estándares de seguridad requeridos. Si bien los documentos PoC no agregan funcionalidad al producto ni para el desarrollador ni para el cliente, sà agregan confianza al producto y facilitan la certificación y, como tales, son importantes para el valor del producto. A pesar de este valor agregado, la documentación necesaria para PoC a menudo se desarrolla tarde en el proyecto y de manera desordenada. Este libro está dirigido a desarrolladores, evaluadores, organismos de certificación y compradores de sistemas instrumentados de seguridad e informa al lector sobre los documentos PoC más importantes. Una documentación PoC tÃpica abarca de 50 a 200 documentos, varios de los cuales se mencionan en las normas de seguridad (por ejemplo, 82 documentos en la serie IEC 61508:2010, 101 documentos en la serie EN 5012X y 106 productos de trabajo en la serie ISO 26262:2018). Estos documentos también incluyen referencias adicionales, normalmente de una a veinte, y el número total de páginas desarrolladas por el fabricante varÃa entre 2000 y 10000 páginas. El libro proporciona orientación y ejemplos sobre qué incluir en los planes y documentos relevantes. CaracterÃsticas y beneficios • Primer libro sobre cómo planificar y desarrollar información y documentación de prueba de cumplimiento relevante • Describe en detalle qué incluir en los planes y documentos relevantes • Proporciona a fabricantes, desarrolladores, consultores y operadores numerosos planes de ejemplo. Nota de contenido: 1. The Introduction -- 2. Agile Practices -- 3. POC in Agile Development and for SMEs -- 4. Generic Documents -- 5. Plans and Functional safety Management -- 6. Safety Analysis Methods Applied to Software -- 7. Safety and Risk Documents -- 8. Software Documents -- 9. Test, Analysis and V&V. Tipo de medio : Computadora Summary : This book aims to facilitate and improve development work related to all documents and information required by functional safety standards. Proof of Compliance (PoC) is important for the assessor and certification bodies when called up to confirm that the manufacturer has developed a software system according to the required safety standards. While PoC documents add functionality to the product neither for the developer nor for the customer, they do add confidence and trust to the product and ease certification, and as such are important for the product's value. In spite of this added value, the documentation needed for PoC is often developed late in the project and in a haphazard manner. This book aims at developers, assessors, certification bodies, and purchasers of safety instrumented systems and informs the reader about the most important PoC documents. A typical PoC documentation encompasses 50 to 200 documents, several of which are named in the safety standards (e.g., 82 documents in IEC 61508:2010 series, 101 documents in EN 5012X series and 106 work products in ISO 26262:2018 series). These documents also include further references, typically one to twenty of them, and the total number of pages developed by the manufacturer varies between 2000 and 10000 pages. The book provides guidance and examples what to include in the relevant plans and documents. Features and Benefits • First book about how to plan and develop relevant proof of compliance documentation and information • Describes in detail what to include in relevant plans and documents • Provides manufacturers, developers, consultants and operators with numerous example plans. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : SafeScrum® – Agile Development of Safety-Critical Software Tipo de documento: documento electrónico Autores: Hanssen, Geir Kjetil, ; StÃ¥lhane, Tor, ; Myklebust, Thor, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIII, 233 p. 87 ilustraciones, 3 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-99334-8 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: IngenierÃa de software Gestión de software Operaciones de TI Clasificación: 005.1 Resumen: Este libro aborda el desarrollo de software crÃtico para la seguridad y para ello propone la metodologÃa SafeScrum®. SafeScrum® se inspiró en el método ágil Scrum, que se utiliza ampliamente en muchas áreas de la industria del software. Sin embargo, Scrum no está destinado ni diseñado para su uso con sistemas crÃticos para la seguridad; por lo tanto, los autores proponen pautas y adiciones para que sea útil en la práctica y cumpla con los requisitos adicionales que se encuentran en las normas de seguridad. El libro proporciona una descripción general del desarrollo de software ágil y cómo se puede vincular con la seguridad y los estándares de seguridad relevantes. SafeScrum® se describe en detalle como un enfoque útil para aprovechar los beneficios de los métodos ágiles y pretende ser un conjunto de ideas y una base para la adaptación en proyectos industriales. El libro cubre roles, procesos y prácticas, y documentación. También incluye consejos sobre cómo se pueden emplear herramientas de proceso de software estándar. Por último, se proporcionan algunas ideas sobre investigaciones relevantes en este campo nuevo y emergente y se presentan ejemplos seleccionados del mundo real. Las ideas y descripciones de este libro se basan en la colaboración con la industria, en forma de discusiones con organizaciones de evaluación, discusiones generales dentro de los campos de investigación de seguridad y software y, por último, pero no menos importante, las propias experiencias e ideas de los autores. Fue escrito principalmente para profesionales de la industria que saben mucho sobre cómo producir software crÃtico para la seguridad, pero menos sobre desarrollo ágil en general y Scrum en particular. Nota de contenido: Preface -- Acknowledgements -- Glossary -- 1 Why you should read this book -- 2 What is agile software development - a short intro -- 3 What is safety-critical software -- 4 Placing agile in a safety context -- 5 Standards and certification -- 6 The SafeScrum process -- 7 SafeScrum activities -- 8 SafeScrum additional elements -- 9 Documentation and proof-of-compliance -- Annexes A-B-C-D The SafeScrum handbook. Tipo de medio : Computadora Summary : This book addresses the development of safety-critical software and to this end proposes the SafeScrum® methodology. SafeScrum® was inspired by the agile method Scrum, which is extensively used in many areas of the software industry. Scrum is, however, not intended or designed for use with safety-critical systems; hence the authors propose guidelines and additions to make it both practically useful and compliant with the additional requirements found in safety standards. The book provides an overview of agile software development and how it can be linked to safety and relevant safety standards. SafeScrum® is described in detail as a useful approach for reaping the benefits of agile methods, and is intended as a set of ideas and a basis for adaptation in industry projects. The book covers roles, processes and practices, and documentation. It also includes tips on how standard software process tools can be employed. Lastly, some insights into relevant research in this new and emerging field are provided, and selected real-world examples are presented. The ideas and descriptions in this book are based on collaboration with the industry, in the form of discussions with assessment organizations, general discussions within the research fields of safety and software, and last but not least, the authors' own experiences and ideas. It was mainly written for practitioners in industry who know a great deal about how to produce safety-critical software but less about agile development in general and Scrum in particular. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] SafeScrum® – Agile Development of Safety-Critical Software [documento electrónico] / Hanssen, Geir Kjetil, ; StÃ¥lhane, Tor, ; Myklebust, Thor, . - 1 ed. . - [s.l.] : Springer, 2018 . - XIII, 233 p. 87 ilustraciones, 3 ilustraciones en color.
ISBN : 978-3-319-99334-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: IngenierÃa de software Gestión de software Operaciones de TI Clasificación: 005.1 Resumen: Este libro aborda el desarrollo de software crÃtico para la seguridad y para ello propone la metodologÃa SafeScrum®. SafeScrum® se inspiró en el método ágil Scrum, que se utiliza ampliamente en muchas áreas de la industria del software. Sin embargo, Scrum no está destinado ni diseñado para su uso con sistemas crÃticos para la seguridad; por lo tanto, los autores proponen pautas y adiciones para que sea útil en la práctica y cumpla con los requisitos adicionales que se encuentran en las normas de seguridad. El libro proporciona una descripción general del desarrollo de software ágil y cómo se puede vincular con la seguridad y los estándares de seguridad relevantes. SafeScrum® se describe en detalle como un enfoque útil para aprovechar los beneficios de los métodos ágiles y pretende ser un conjunto de ideas y una base para la adaptación en proyectos industriales. El libro cubre roles, procesos y prácticas, y documentación. También incluye consejos sobre cómo se pueden emplear herramientas de proceso de software estándar. Por último, se proporcionan algunas ideas sobre investigaciones relevantes en este campo nuevo y emergente y se presentan ejemplos seleccionados del mundo real. Las ideas y descripciones de este libro se basan en la colaboración con la industria, en forma de discusiones con organizaciones de evaluación, discusiones generales dentro de los campos de investigación de seguridad y software y, por último, pero no menos importante, las propias experiencias e ideas de los autores. Fue escrito principalmente para profesionales de la industria que saben mucho sobre cómo producir software crÃtico para la seguridad, pero menos sobre desarrollo ágil en general y Scrum en particular. Nota de contenido: Preface -- Acknowledgements -- Glossary -- 1 Why you should read this book -- 2 What is agile software development - a short intro -- 3 What is safety-critical software -- 4 Placing agile in a safety context -- 5 Standards and certification -- 6 The SafeScrum process -- 7 SafeScrum activities -- 8 SafeScrum additional elements -- 9 Documentation and proof-of-compliance -- Annexes A-B-C-D The SafeScrum handbook. Tipo de medio : Computadora Summary : This book addresses the development of safety-critical software and to this end proposes the SafeScrum® methodology. SafeScrum® was inspired by the agile method Scrum, which is extensively used in many areas of the software industry. Scrum is, however, not intended or designed for use with safety-critical systems; hence the authors propose guidelines and additions to make it both practically useful and compliant with the additional requirements found in safety standards. The book provides an overview of agile software development and how it can be linked to safety and relevant safety standards. SafeScrum® is described in detail as a useful approach for reaping the benefits of agile methods, and is intended as a set of ideas and a basis for adaptation in industry projects. The book covers roles, processes and practices, and documentation. It also includes tips on how standard software process tools can be employed. Lastly, some insights into relevant research in this new and emerging field are provided, and selected real-world examples are presented. The ideas and descriptions in this book are based on collaboration with the industry, in the form of discussions with assessment organizations, general discussions within the research fields of safety and software, and last but not least, the authors' own experiences and ideas. It was mainly written for practitioners in industry who know a great deal about how to produce safety-critical software but less about agile development in general and Scrum in particular. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : The Agile Safety Case Tipo de documento: documento electrónico Autores: Myklebust, Thor, ; StÃ¥lhane, Tor, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XII, 235 p. 34 ilustraciones, 29 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-70265-0 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: IngenierÃa de software IngenierÃa de Transporte IngenierÃa de tráfico Gestión de software TecnologÃa del Transporte e IngenierÃa de Tráfico Operaciones de TI Clasificación: 005.1 Resumen: El caso de seguridad (SC) es uno de los resultados más importantes de la industria ferroviaria para generar confianza en sus sistemas. Este es el primer libro sobre cómo escribir un SC, basado en la norma EN 50129:2003. La experiencia ha demostrado que preparar y comprender un SC es difÃcil y requiere mucho tiempo y, como tal, el libro proporciona ideas que mejoran la capacitación para redactar un SC. El libro analiza tanto casos de seguridad "regulares" como casos de seguridad ágiles, que evitan demasiada documentación, mejoran la comunicación entre las partes interesadas, permiten una aprobación más rápida del sistema y que son importantes a la luz de la tecnologÃa que cambia rápidamente. Además, analiza la necesidad de actualizar el software con frecuencia debido a los requisitos del mercado, los cambios en los requisitos y el aumento de las amenazas a la ciberseguridad. Después de una introducción general a los SC y el pensamiento ágil en el capÃtulo 1, el capÃtulo 2 describe la mayorÃa de las funciones que son relevantes al desarrollar sistemas de señalización ferroviaria. A continuación, el capÃtulo 3 proporciona información relacionada con la evaluación de sistemas de señalización, con las certificaciones basadas en IEC 61508 y con la autorización de sistemas de señalización. Luego, el capÃtulo 4 explica cómo se puede desarrollar un plan de seguridad ágil que satisfaga los requisitos establecidos en EN 50126-1:1999, mientras que el capÃtulo 5 proporciona una breve introducción a los patrones y notaciones de casos de seguridad. Por último, el capÃtulo 6 combina todo esto y describe cómo se puede desarrollar un SC (ágil) y qué debe incluir. Para garantizar que los administradores de infraestructura, proveedores, consultores y otros puedan aprovechar al máximo la mentalidad ágil, el libro incluye ejemplos concretos y presenta prácticas ágiles relevantes. Aunque el alcance del libro se limita a los sistemas de señalización, los fundamentos básicos de los SC (ágiles) se describen claramente para que también puedan aplicarse en otros casos. Nota de contenido: 1 Introduction -- 2 Agile development.- Railway roles, assessment and authorisation -- 4 The Agile Safety Plan for signalling systems -- 5 Safety case patterns, notations and GSN -- 6 The Safety Case - Introduction and Definition of system -- 7 Safety case, Quality Management Report -- 8 Safety Management Report -- 9 Technical Safety Report -- 10 Related safety cases, Conclusion and Safety case references. Tipo de medio : Computadora Summary : The safety case (SC) is one of the railway industry's most important deliverables for creating confidence in their systems. This is the first book on how to write an SC, based on the standard EN 50129:2003. Experience has shown that preparing and understanding an SC is difficult and time consuming, and as such the book provides insights that enhance the training for writing an SC. The book discusses both "regular" safety cases and agile safety cases, which avoid too much documentation, improve communication between the stakeholders, allow quicker approval of the system, and which are important in the light of rapidly changing technology. In addition, it discusses the necessity of frequently updating software due to market requirements, changes in requirements and increased cyber-security threats. After a general introduction to SCs and agile thinking in chapter 1, chapter 2 describes the majority of the roles that are relevant when developing railway-signaling systems. Next, chapter 3 provides information related to the assessment of signaling systems, to certifications based on IEC 61508 and to the authorization of signaling systems. Chapter 4 then explains how an agile safety plan satisfying the requirements given in EN 50126-1:1999 can be developed, while chapter 5 provides a brief introduction to safety case patterns and notations. Lastly, chapter 6 combines all this and describes how an (agile) SC can be developed and what it should include. To ensure that infrastructure managers, suppliers, consultants and others can take full advantage of the agile mind-set, the book includes concrete examples and presents relevant agile practices. Although the scope of the book is limited to signaling systems, the basic foundations for (agile) SCs are clearly described so that they can also be applied in other cases. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] The Agile Safety Case [documento electrónico] / Myklebust, Thor, ; StÃ¥lhane, Tor, . - 1 ed. . - [s.l.] : Springer, 2018 . - XII, 235 p. 34 ilustraciones, 29 ilustraciones en color.
ISBN : 978-3-319-70265-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: IngenierÃa de software IngenierÃa de Transporte IngenierÃa de tráfico Gestión de software TecnologÃa del Transporte e IngenierÃa de Tráfico Operaciones de TI Clasificación: 005.1 Resumen: El caso de seguridad (SC) es uno de los resultados más importantes de la industria ferroviaria para generar confianza en sus sistemas. Este es el primer libro sobre cómo escribir un SC, basado en la norma EN 50129:2003. La experiencia ha demostrado que preparar y comprender un SC es difÃcil y requiere mucho tiempo y, como tal, el libro proporciona ideas que mejoran la capacitación para redactar un SC. El libro analiza tanto casos de seguridad "regulares" como casos de seguridad ágiles, que evitan demasiada documentación, mejoran la comunicación entre las partes interesadas, permiten una aprobación más rápida del sistema y que son importantes a la luz de la tecnologÃa que cambia rápidamente. Además, analiza la necesidad de actualizar el software con frecuencia debido a los requisitos del mercado, los cambios en los requisitos y el aumento de las amenazas a la ciberseguridad. Después de una introducción general a los SC y el pensamiento ágil en el capÃtulo 1, el capÃtulo 2 describe la mayorÃa de las funciones que son relevantes al desarrollar sistemas de señalización ferroviaria. A continuación, el capÃtulo 3 proporciona información relacionada con la evaluación de sistemas de señalización, con las certificaciones basadas en IEC 61508 y con la autorización de sistemas de señalización. Luego, el capÃtulo 4 explica cómo se puede desarrollar un plan de seguridad ágil que satisfaga los requisitos establecidos en EN 50126-1:1999, mientras que el capÃtulo 5 proporciona una breve introducción a los patrones y notaciones de casos de seguridad. Por último, el capÃtulo 6 combina todo esto y describe cómo se puede desarrollar un SC (ágil) y qué debe incluir. Para garantizar que los administradores de infraestructura, proveedores, consultores y otros puedan aprovechar al máximo la mentalidad ágil, el libro incluye ejemplos concretos y presenta prácticas ágiles relevantes. Aunque el alcance del libro se limita a los sistemas de señalización, los fundamentos básicos de los SC (ágiles) se describen claramente para que también puedan aplicarse en otros casos. Nota de contenido: 1 Introduction -- 2 Agile development.- Railway roles, assessment and authorisation -- 4 The Agile Safety Plan for signalling systems -- 5 Safety case patterns, notations and GSN -- 6 The Safety Case - Introduction and Definition of system -- 7 Safety case, Quality Management Report -- 8 Safety Management Report -- 9 Technical Safety Report -- 10 Related safety cases, Conclusion and Safety case references. Tipo de medio : Computadora Summary : The safety case (SC) is one of the railway industry's most important deliverables for creating confidence in their systems. This is the first book on how to write an SC, based on the standard EN 50129:2003. Experience has shown that preparing and understanding an SC is difficult and time consuming, and as such the book provides insights that enhance the training for writing an SC. The book discusses both "regular" safety cases and agile safety cases, which avoid too much documentation, improve communication between the stakeholders, allow quicker approval of the system, and which are important in the light of rapidly changing technology. In addition, it discusses the necessity of frequently updating software due to market requirements, changes in requirements and increased cyber-security threats. After a general introduction to SCs and agile thinking in chapter 1, chapter 2 describes the majority of the roles that are relevant when developing railway-signaling systems. Next, chapter 3 provides information related to the assessment of signaling systems, to certifications based on IEC 61508 and to the authorization of signaling systems. Chapter 4 then explains how an agile safety plan satisfying the requirements given in EN 50126-1:1999 can be developed, while chapter 5 provides a brief introduction to safety case patterns and notations. Lastly, chapter 6 combines all this and describes how an (agile) SC can be developed and what it should include. To ensure that infrastructure managers, suppliers, consultants and others can take full advantage of the agile mind-set, the book includes concrete examples and presents relevant agile practices. Although the scope of the book is limited to signaling systems, the basic foundations for (agile) SCs are clearly described so that they can also be applied in other cases. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
