Autor van den Brand, Mark
|
|
Documentos disponibles escritos por este autor (3)
Hacer una sugerencia 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. 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 Índice Dewey: 005.1 Programación (Computadoras) 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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.
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 Índice Dewey: 005.1 Programación (Computadoras) 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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. 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 Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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.
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 Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
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. 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 Índice Dewey: 005.1 Programación (Computadoras) 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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.
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 Índice Dewey: 005.1 Programación (Computadoras) 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
