Información del autor
Autor van den Brand, Mark |
Documentos disponibles escritos por este autor (3)
Crear una solicitud de compra Refinar búsqueda
TÃtulo : Automotive Systems and Software Engineering : State of the Art and Future Trends Tipo de documento: documento electrónico Autores: Dajsuren, Yanja, ; van den Brand, Mark, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XII, 367 p. 144 ilustraciones, 125 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-12157-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 Computadoras Propósitos especiales IngenierÃa automotriz IngenierÃa de control Robótica Automatización Objetos cooperantes (Sistemas informáticos) Software de la aplicacion Sistemas de propósito especial y basados ​​en aplicaciones Control Sistemas ciberfÃsicos Aplicaciones informáticas y de sistemas de información Clasificación: 005.1 Resumen: Este libro presenta el estado del arte, los desafÃos y las tendencias futuras en la ingenierÃa de software automotriz. La cantidad de software automotriz ha crecido desde unas pocas lÃneas de código en la década de 1970 a millones de lÃneas en los automóviles actuales. Y esta tendencia parece destinada a continuar en los próximos años, considerando todas las innovaciones en automóviles eléctricos/hÃbridos, autónomos y conectados. Sin embargo, también existen preocupaciones relacionadas con el software integrado, como la seguridad, la solidez y la confianza. Este libro cubre todos los aspectos esenciales del campo. Después de una introducción general al tema, aborda el desarrollo de software automotriz, la reutilización de software automotriz, arquitecturas y seguridad E/E, C-ITS y seguridad, y tendencias futuras. Los temas especÃficos discutidos incluyen ingenierÃa de requisitos para sistemas de software integrados, herramientas y métodos utilizados en la industria automotriz, lÃneas de productos de software, marcos arquitectónicos, varios estándares ISO relacionados, seguridad funcional y casos de protección, sistemas de transporte inteligentes cooperativos, vehÃculos autónomos y seguridad y problemas de privacidad. El público objetivo incluye investigadores del mundo académico que desean saber cuáles son los desafÃos fundamentales y cómo se abordan en la industria, y profesionales que buscan hallazgos académicos de vanguardia. Aunque el libro no está escrito como apuntes de clase, también se puede utilizar en cursos avanzados de nivel de maestrÃa sobre ingenierÃa de sistemas y software. El libro también incluye una serie de estudios de casos que pueden utilizarse para proyectos de estudiantes. Nota de contenido: Part I: Introduction -- Automotive Software Engineering: Past, Present, and Future -- Part II: Automotive Software Development -- Requirements Engineering for Automotive Embedded Systems -- Status Report on Automotive Software Development -- State-of-the-Art Tools and Methods Used in the Automotive Industry -- Part III: Automotive Software Reuse -- Software Reuse: From Cloned Variants to Managed Software Product Lines -- Variability Identification and Representation for Automotive Simulink Models -- Defining Architecture Framework for Automotive Systems -- Part IV: E/E Architecture and Safety -- The RACE Project: An Informatics-Driven Greenfield Approach to Future E/E Architectures for Cars -- Development of ISO 11783 Compliant Agricultural Systems: Experience Report -- Safety-Driven Development and ISO 26262 -- Part V: C-ITS and Security -- Introduction to Cooperative Intelligent Transportation Systems -- In-Vehicle Networks and Security -- Security for V2X -- Intelligent Transportation System Infrastructure and Software Challenges -- Part VI: Future Trends -- Future Trends in Electric Vehicles Enabled by Internet Connectivity, Solar, and Battery Technology -- Autonomous Vehicles: State of the Art, Future Trends, and Challenges. Tipo de medio : Computadora Summary : This book presents the state of the art, challenges and future trends in automotive software engineering. The amount of automotive software has grown from just a few lines of code in the 1970s to millions of lines in today's cars. And this trend seems destined to continue in the years to come, considering all the innovations in electric/hybrid, autonomous, and connected cars. Yet there are also concerns related to onboard software, such as security, robustness, and trust. This book covers all essential aspects of the field. After a general introduction to the topic, it addresses automotive software development, automotive software reuse, E/E architectures and safety, C-ITS and security, and future trends. The specific topics discussed include requirements engineering for embedded software systems, tools and methods used in the automotive industry, software product lines, architectural frameworks, various related ISO standards, functional safety and safety cases, cooperative intelligent transportation systems, autonomous vehicles, and security and privacy issues. The intended audience includes researchers from academia who want to learn what the fundamental challenges are and how they are being tackled in the industry, and practitioners looking for cutting-edge academic findings. Although the book is not written as lecture notes, it can also be used in advanced master's-level courses on software and system engineering. The book also includes a number of case studies that can be used for student projects. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Automotive Systems and Software Engineering : State of the Art and Future Trends [documento electrónico] / Dajsuren, Yanja, ; van den Brand, Mark, . - 1 ed. . - [s.l.] : Springer, 2019 . - XII, 367 p. 144 ilustraciones, 125 ilustraciones en color.
ISBN : 978-3-030-12157-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 Computadoras Propósitos especiales IngenierÃa automotriz IngenierÃa de control Robótica Automatización Objetos cooperantes (Sistemas informáticos) Software de la aplicacion Sistemas de propósito especial y basados ​​en aplicaciones Control Sistemas ciberfÃsicos Aplicaciones informáticas y de sistemas de información Clasificación: 005.1 Resumen: Este libro presenta el estado del arte, los desafÃos y las tendencias futuras en la ingenierÃa de software automotriz. La cantidad de software automotriz ha crecido desde unas pocas lÃneas de código en la década de 1970 a millones de lÃneas en los automóviles actuales. Y esta tendencia parece destinada a continuar en los próximos años, considerando todas las innovaciones en automóviles eléctricos/hÃbridos, autónomos y conectados. Sin embargo, también existen preocupaciones relacionadas con el software integrado, como la seguridad, la solidez y la confianza. Este libro cubre todos los aspectos esenciales del campo. Después de una introducción general al tema, aborda el desarrollo de software automotriz, la reutilización de software automotriz, arquitecturas y seguridad E/E, C-ITS y seguridad, y tendencias futuras. Los temas especÃficos discutidos incluyen ingenierÃa de requisitos para sistemas de software integrados, herramientas y métodos utilizados en la industria automotriz, lÃneas de productos de software, marcos arquitectónicos, varios estándares ISO relacionados, seguridad funcional y casos de protección, sistemas de transporte inteligentes cooperativos, vehÃculos autónomos y seguridad y problemas de privacidad. El público objetivo incluye investigadores del mundo académico que desean saber cuáles son los desafÃos fundamentales y cómo se abordan en la industria, y profesionales que buscan hallazgos académicos de vanguardia. Aunque el libro no está escrito como apuntes de clase, también se puede utilizar en cursos avanzados de nivel de maestrÃa sobre ingenierÃa de sistemas y software. El libro también incluye una serie de estudios de casos que pueden utilizarse para proyectos de estudiantes. Nota de contenido: Part I: Introduction -- Automotive Software Engineering: Past, Present, and Future -- Part II: Automotive Software Development -- Requirements Engineering for Automotive Embedded Systems -- Status Report on Automotive Software Development -- State-of-the-Art Tools and Methods Used in the Automotive Industry -- Part III: Automotive Software Reuse -- Software Reuse: From Cloned Variants to Managed Software Product Lines -- Variability Identification and Representation for Automotive Simulink Models -- Defining Architecture Framework for Automotive Systems -- Part IV: E/E Architecture and Safety -- The RACE Project: An Informatics-Driven Greenfield Approach to Future E/E Architectures for Cars -- Development of ISO 11783 Compliant Agricultural Systems: Experience Report -- Safety-Driven Development and ISO 26262 -- Part V: C-ITS and Security -- Introduction to Cooperative Intelligent Transportation Systems -- In-Vehicle Networks and Security -- Security for V2X -- Intelligent Transportation System Infrastructure and Software Challenges -- Part VI: Future Trends -- Future Trends in Electric Vehicles Enabled by Internet Connectivity, Solar, and Battery Technology -- Autonomous Vehicles: State of the Art, Future Trends, and Challenges. Tipo de medio : Computadora Summary : This book presents the state of the art, challenges and future trends in automotive software engineering. The amount of automotive software has grown from just a few lines of code in the 1970s to millions of lines in today's cars. And this trend seems destined to continue in the years to come, considering all the innovations in electric/hybrid, autonomous, and connected cars. Yet there are also concerns related to onboard software, such as security, robustness, and trust. This book covers all essential aspects of the field. After a general introduction to the topic, it addresses automotive software development, automotive software reuse, E/E architectures and safety, C-ITS and security, and future trends. The specific topics discussed include requirements engineering for embedded software systems, tools and methods used in the automotive industry, software product lines, architectural frameworks, various related ISO standards, functional safety and safety cases, cooperative intelligent transportation systems, autonomous vehicles, and security and privacy issues. The intended audience includes researchers from academia who want to learn what the fundamental challenges are and how they are being tackled in the industry, and practitioners looking for cutting-edge academic findings. Although the book is not written as lecture notes, it can also be used in advanced master's-level courses on software and system engineering. The book also includes a number of case studies that can be used for student projects. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] SOFSEM 2017: Theory and Practice of Computer Science / Steffen, Bernhard ; Baier, Christel ; van den Brand, Mark ; Eder, Johann ; Hinchey, Mike ; Margaria, Tiziana
TÃtulo : SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings Tipo de documento: documento electrónico Autores: Steffen, Bernhard, ; Baier, Christel, ; van den Brand, Mark, ; Eder, Johann, ; Hinchey, Mike, ; Margaria, Tiziana, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XVIII, 526 p. 109 ilustraciones ISBN/ISSN/DL: 978-3-319-51963-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: Algoritmos Sistemas de almacenamiento y recuperación de información. Software de la aplicacion IngenierÃa de software Red de computadoras Inteligencia artificial Almacenamiento y recuperación de información Aplicaciones informáticas y de sistemas de información Redes de comunicación informática Clasificación: 518.1 Resumen: Este libro constituye las actas arbitradas de la 43.ª Conferencia Internacional sobre Tendencias Actuales en TeorÃa y Práctica de las Ciencias de la Computación, SOFSEM 2017, celebrada en Limerick, Irlanda, en enero de 2017. Los 34 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 41 presentaciones. . Estaban organizados en secciones temáticas denominadas: fundamentos de la informática; semántica, especificación y composicionalidad; teorÃa de sistemas móviles y distribuidos; verificación y análisis de sistemas automatizados; redes de Petri, juegos y estructuras de datos relajadas; teorÃa de grafos y algoritmos de programación; algoritmos cuánticos y matriciales; gráficos planos y moleculares; cubiertas para colorear y vértices; algoritmos para cadenas y lenguajes formales; ingenierÃa de datos, información y conocimiento; e ingenierÃa de software: métodos, herramientas, aplicaciones. Nota de contenido: Dependable and Optimal Cyber-Physical Systems -- Verifying Parametric Thread Creation -- Network Constructors: A Model for Programmable Matter -- Logical characterisations and compositionality of input-output conformance simulation -- A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories -- Symbolic semantics for multiparty interactions in the link-calculus -- Different Speeds Suffice for Rendezvous of Two Agents on Arbitrary Graphs -- Deciding structural liveness of Petri nets -- Distributed Network Generation based on Preferential Attachment in ABS -- Completeness of Hoare Logic Relative to the Standard Model -- Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict -- Hardness of deriving invertible sequences from finite state machines -- A Graph-theoretical Characterisation of State Separation -- Selfish Transportation Games -- Decomposable Relaxation for Concurrent Data Structures -- Sufficient Conditions for a Connected Graph to have a Hamiltonian Path -- Enumerating Minimal Tropical Connected Sets -- Bamboo Garden Trimming Problem (Perpetual maintenance of machines with different attendance urgency factors) -- Exact quantum query complexity of EXACT_{k,l}^n -- Adjacent vertices can be hard to find by quantum walks -- Matrix semigroup freeness problems in SL(2,Z) -- Order-preserving 1-string representations of planar graphs -- How to Draw a Planarization -- Finding Largest Common Substructures of Molecules in Quadratic Time -- Lower Bounds for On-line Interval Coloring with Vector and Cardinality Constraints -- Parameterized and Exact Algorithms for Class Domination Coloring -- The Approximability of Partial Vertex Covers in Trees -- Longest Common Subsequence in at Least k Length Order-isomorphic Substrings -- Computing longest single-arm-gapped palindromes in a string -- Edit-Distance between Visibly Pushdown Languages -- Trends and Challenges in Predictive Analytics -- Model-driven Development in Practice: From Requirements to Code -- Webpage Menu Detection Based on DOM -- A Hybrid Model for Linking Multiple Social Identities across Heterogeneous Online Social Networks -- Eco Data Warehouse Design Through Logical Variability -- On Featured Transition Systems -- Domain-Specific Languages: A Systematic Mapping Study -- Characterising Malicious Software with High-Level Behavioural Patterns -- AErlang at work -- Software Systems Migration towards Cloud-native Architectures for SME-sized Software Vendors -- Using n-grams for the Automated Clustering of Structural Models. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017. The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions. They were organized in topical sections named: foundations in computer science; semantics, specification and compositionality; theory of mobile and distributed systems; verification and automated system analysis; petri nets, games and relaxed data structures; graph theory and scheduling algorithms; quantum and matrix algorithms; planar and molecular graphs; coloring and vertex covers; algorithms for strings and formal languages; data, information and knowledge engineering; and software engineering: methods, tools, applications. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings [documento electrónico] / Steffen, Bernhard, ; Baier, Christel, ; van den Brand, Mark, ; Eder, Johann, ; Hinchey, Mike, ; Margaria, Tiziana, . - 1 ed. . - [s.l.] : Springer, 2017 . - XVIII, 526 p. 109 ilustraciones.
ISBN : 978-3-319-51963-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: Algoritmos Sistemas de almacenamiento y recuperación de información. Software de la aplicacion IngenierÃa de software Red de computadoras Inteligencia artificial Almacenamiento y recuperación de información Aplicaciones informáticas y de sistemas de información Redes de comunicación informática Clasificación: 518.1 Resumen: Este libro constituye las actas arbitradas de la 43.ª Conferencia Internacional sobre Tendencias Actuales en TeorÃa y Práctica de las Ciencias de la Computación, SOFSEM 2017, celebrada en Limerick, Irlanda, en enero de 2017. Los 34 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 41 presentaciones. . Estaban organizados en secciones temáticas denominadas: fundamentos de la informática; semántica, especificación y composicionalidad; teorÃa de sistemas móviles y distribuidos; verificación y análisis de sistemas automatizados; redes de Petri, juegos y estructuras de datos relajadas; teorÃa de grafos y algoritmos de programación; algoritmos cuánticos y matriciales; gráficos planos y moleculares; cubiertas para colorear y vértices; algoritmos para cadenas y lenguajes formales; ingenierÃa de datos, información y conocimiento; e ingenierÃa de software: métodos, herramientas, aplicaciones. Nota de contenido: Dependable and Optimal Cyber-Physical Systems -- Verifying Parametric Thread Creation -- Network Constructors: A Model for Programmable Matter -- Logical characterisations and compositionality of input-output conformance simulation -- A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories -- Symbolic semantics for multiparty interactions in the link-calculus -- Different Speeds Suffice for Rendezvous of Two Agents on Arbitrary Graphs -- Deciding structural liveness of Petri nets -- Distributed Network Generation based on Preferential Attachment in ABS -- Completeness of Hoare Logic Relative to the Standard Model -- Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict -- Hardness of deriving invertible sequences from finite state machines -- A Graph-theoretical Characterisation of State Separation -- Selfish Transportation Games -- Decomposable Relaxation for Concurrent Data Structures -- Sufficient Conditions for a Connected Graph to have a Hamiltonian Path -- Enumerating Minimal Tropical Connected Sets -- Bamboo Garden Trimming Problem (Perpetual maintenance of machines with different attendance urgency factors) -- Exact quantum query complexity of EXACT_{k,l}^n -- Adjacent vertices can be hard to find by quantum walks -- Matrix semigroup freeness problems in SL(2,Z) -- Order-preserving 1-string representations of planar graphs -- How to Draw a Planarization -- Finding Largest Common Substructures of Molecules in Quadratic Time -- Lower Bounds for On-line Interval Coloring with Vector and Cardinality Constraints -- Parameterized and Exact Algorithms for Class Domination Coloring -- The Approximability of Partial Vertex Covers in Trees -- Longest Common Subsequence in at Least k Length Order-isomorphic Substrings -- Computing longest single-arm-gapped palindromes in a string -- Edit-Distance between Visibly Pushdown Languages -- Trends and Challenges in Predictive Analytics -- Model-driven Development in Practice: From Requirements to Code -- Webpage Menu Detection Based on DOM -- A Hybrid Model for Linking Multiple Social Identities across Heterogeneous Online Social Networks -- Eco Data Warehouse Design Through Logical Variability -- On Featured Transition Systems -- Domain-Specific Languages: A Systematic Mapping Study -- Characterising Malicious Software with High-Level Behavioural Patterns -- AErlang at work -- Software Systems Migration towards Cloud-native Architectures for SME-sized Software Vendors -- Using n-grams for the Automated Clustering of Structural Models. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017. The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions. They were organized in topical sections named: foundations in computer science; semantics, specification and compositionality; theory of mobile and distributed systems; verification and automated system analysis; petri nets, games and relaxed data structures; graph theory and scheduling algorithms; quantum and matrix algorithms; planar and molecular graphs; coloring and vertex covers; algorithms for strings and formal languages; data, information and knowledge engineering; and software engineering: methods, tools, applications. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Theory and Practice of Model Transformation : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings Tipo de documento: documento electrónico Autores: Guerra, Esther, ; van den Brand, Mark, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIV, 183 p. 73 ilustraciones ISBN/ISSN/DL: 978-3-319-61473-1 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 Sistemas operativos (computadoras) diseño lógico Sistemas informáticos Compiladores (programas informáticos) Sistemas operativos Operaciones de TI Implementación de sistema informático Compiladores e intérpretes Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de la 10.ª Conferencia Internacional sobre Transformación de Modelos, ICMT 2017, celebrada como parte de STAF 2017, en Marburgo, Alemania, en julio de 2017. Los 9 artÃculos completos y los 2 artÃculos breves fueron cuidadosamente revisados ​​y seleccionados de 31 presentaciones. Los artÃculos están organizados en las siguientes secciones temáticas: paradigmas, lenguajes, algoritmos y estrategias de transformación; desarrollo de transformaciones; y aplicaciones y estudios de casos. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions. The papers are organized in the following topical sections: transformation paradigms, languages, algorithms and strategies; development of transformations; and applications and case studies. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Theory and Practice of Model Transformation : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings [documento electrónico] / Guerra, Esther, ; van den Brand, Mark, . - 1 ed. . - [s.l.] : Springer, 2017 . - XIV, 183 p. 73 ilustraciones.
ISBN : 978-3-319-61473-1
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 Sistemas operativos (computadoras) diseño lógico Sistemas informáticos Compiladores (programas informáticos) Sistemas operativos Operaciones de TI Implementación de sistema informático Compiladores e intérpretes Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de la 10.ª Conferencia Internacional sobre Transformación de Modelos, ICMT 2017, celebrada como parte de STAF 2017, en Marburgo, Alemania, en julio de 2017. Los 9 artÃculos completos y los 2 artÃculos breves fueron cuidadosamente revisados ​​y seleccionados de 31 presentaciones. Los artÃculos están organizados en las siguientes secciones temáticas: paradigmas, lenguajes, algoritmos y estrategias de transformación; desarrollo de transformaciones; y aplicaciones y estudios de casos. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions. The papers are organized in the following topical sections: transformation paradigms, languages, algorithms and strategies; development of transformations; and applications and case studies. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
