Autor Selic, Bran
|
|
Documentos disponibles escritos por este autor (5)
Hacer una sugerencia Refinar búsqueda7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers / Hammoudi, Slimane ; Pires, Luís Ferreira ; Selic, Bran
Título : 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers Tipo de documento: documento electrónico Autores: Hammoudi, Slimane, ; Pires, Luís Ferreira, ; Selic, Bran, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XIV, 399 p. 210 ilustraciones, 109 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-37873-8 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 Microprogramación Ingeniería Informática Red de computadoras Ciencias de la Computación Estructuras de control y microprogramación Ingeniería Informática y Redes Teoría de la Computación Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye artículos cuidadosamente revisados y seleccionados de la 7ma Conferencia Internacional sobre Ingeniería Dirigida por Modelos y Desarrollo de Software, MODELSWARD 2019, celebrada en Praga, República Checa, en febrero de 2019. Los 16 artículos minuciosamente revisados y ampliados presentados en este volumen fueron cuidadosamente revisados. y seleccionado entre 76 presentaciones. Abordan algunos de los desafíos más relevantes que enfrentan los investigadores y profesionales en el campo de la ingeniería basada en modelos y el desarrollo de software y cubren temas como diseño de lenguajes y herramientas; herramientas de soporte de programación; generación de código y texto a partir de modelos, modelado y análisis de comportamiento; transformaciones de modelos y modelado multivista; así como aplicaciones de MDD y sus técnicas relacionadas a sistemas ciberfísicos, ciberseguridad, IoT, vehículos autónomos y atención médica. Nota de contenido: Integrating UML and ALF: An Approach to Overcome the Code Generation Dilemma in Model-driven Software Engineering -- A Model-based Combination Language for Scheduling Verification -- Resolving The Asymmetry of On-Exit versus On-Entry in Executable Models of Behaviour -- A Role Modeling based Approach for Cyber Threat Analysis -- Static Data-Flow Analysis of UML/SysML Functional Views for Signal and Image Processing Applications -- Umple-TL: A Model-oriented, Dependency-free Text Emission Tool -- Model Driven Data Management in Healthcare -- The Art of Bootstrapping -- A Framework for Multi-level Modeling of Analog/Mixed Signal Embedded Systems -- Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol -- Executing Scenario-Based Specification with Dynamic Generation of Rich Events -- Evaluating the Multi-Variant Model Transformation of UML Class Diagrams to Java Models -- Modeling and Analysis of Partitions on Functional Architectures using EAST-ADL -- A Programming and Verification Framework for Flexible and Unrestricted Program Evolution -- Classifying Approaches for Constructing Single Underlying Models -- TRILATERAL: A Model-based Approach for Industrial CPS – Monitoring and Control. 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 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers [documento electrónico] / Hammoudi, Slimane, ; Pires, Luís Ferreira, ; Selic, Bran, . - 1 ed. . - [s.l.] : Springer, 2020 . - XIV, 399 p. 210 ilustraciones, 109 ilustraciones en color.
ISBN : 978-3-030-37873-8
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 Microprogramación Ingeniería Informática Red de computadoras Ciencias de la Computación Estructuras de control y microprogramación Ingeniería Informática y Redes Teoría de la Computación Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye artículos cuidadosamente revisados y seleccionados de la 7ma Conferencia Internacional sobre Ingeniería Dirigida por Modelos y Desarrollo de Software, MODELSWARD 2019, celebrada en Praga, República Checa, en febrero de 2019. Los 16 artículos minuciosamente revisados y ampliados presentados en este volumen fueron cuidadosamente revisados. y seleccionado entre 76 presentaciones. Abordan algunos de los desafíos más relevantes que enfrentan los investigadores y profesionales en el campo de la ingeniería basada en modelos y el desarrollo de software y cubren temas como diseño de lenguajes y herramientas; herramientas de soporte de programación; generación de código y texto a partir de modelos, modelado y análisis de comportamiento; transformaciones de modelos y modelado multivista; así como aplicaciones de MDD y sus técnicas relacionadas a sistemas ciberfísicos, ciberseguridad, IoT, vehículos autónomos y atención médica. Nota de contenido: Integrating UML and ALF: An Approach to Overcome the Code Generation Dilemma in Model-driven Software Engineering -- A Model-based Combination Language for Scheduling Verification -- Resolving The Asymmetry of On-Exit versus On-Entry in Executable Models of Behaviour -- A Role Modeling based Approach for Cyber Threat Analysis -- Static Data-Flow Analysis of UML/SysML Functional Views for Signal and Image Processing Applications -- Umple-TL: A Model-oriented, Dependency-free Text Emission Tool -- Model Driven Data Management in Healthcare -- The Art of Bootstrapping -- A Framework for Multi-level Modeling of Analog/Mixed Signal Embedded Systems -- Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol -- Executing Scenario-Based Specification with Dynamic Generation of Rich Events -- Evaluating the Multi-Variant Model Transformation of UML Class Diagrams to Java Models -- Modeling and Analysis of Partitions on Functional Architectures using EAST-ADL -- A Programming and Verification Framework for Flexible and Unrestricted Program Evolution -- Classifying Approaches for Constructing Single Underlying Models -- TRILATERAL: A Model-based Approach for Industrial CPS – Monitoring and Control. 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 : 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25–27, 2020, Revised Selected Papers Tipo de documento: documento electrónico Autores: Hammoudi, Slimane, ; Pires, Luís Ferreira, ; Selic, Bran, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XII, 377 p. 64 ilustraciones ISBN/ISSN/DL: 978-3-030-67445-8 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 informáticos Computadoras Propósitos especiales Lenguajes de programación (computadoras electrónicas) Programación de computadoras Inteligencia artificial Implementación de sistema informático Sistemas de propósito especial y basados en aplicaciones Lenguaje de programación Técnicas de programación Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye artículos cuidadosamente revisados y seleccionados de la 8.ª Conferencia Internacional sobre Ingeniería Dirigida por Modelos y Desarrollo de Software, MODELSWARD 2020, celebrada en La Valeta, Malta, en febrero de 2020. Los 15 artículos revisados y ampliados presentados en este volumen fueron cuidadosamente revisados y seleccionados. de 66 presentaciones. Presentan resultados de investigación recientes y actividades de desarrollo en el uso de modelos y técnicas de ingeniería basadas en modelos para el desarrollo de software. Los artículos están organizados en secciones temáticas sobre metodologías, procesos y plataformas; desarrollo de aplicaciones y software; lenguajes, herramientas y arquitecturas de modelado. Nota de contenido: Methodologies, Processes and Platforms -- Applications and Software Development -- Modeling Languages, Tools and Architectures. 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 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25–27, 2020, Revised Selected Papers [documento electrónico] / Hammoudi, Slimane, ; Pires, Luís Ferreira, ; Selic, Bran, . - 1 ed. . - [s.l.] : Springer, 2021 . - XII, 377 p. 64 ilustraciones.
ISBN : 978-3-030-67445-8
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 informáticos Computadoras Propósitos especiales Lenguajes de programación (computadoras electrónicas) Programación de computadoras Inteligencia artificial Implementación de sistema informático Sistemas de propósito especial y basados en aplicaciones Lenguaje de programación Técnicas de programación Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye artículos cuidadosamente revisados y seleccionados de la 8.ª Conferencia Internacional sobre Ingeniería Dirigida por Modelos y Desarrollo de Software, MODELSWARD 2020, celebrada en La Valeta, Malta, en febrero de 2020. Los 15 artículos revisados y ampliados presentados en este volumen fueron cuidadosamente revisados y seleccionados. de 66 presentaciones. Presentan resultados de investigación recientes y actividades de desarrollo en el uso de modelos y técnicas de ingeniería basadas en modelos para el desarrollo de software. Los artículos están organizados en secciones temáticas sobre metodologías, procesos y plataformas; desarrollo de aplicaciones y software; lenguajes, herramientas y arquitecturas de modelado. Nota de contenido: Methodologies, Processes and Platforms -- Applications and Software Development -- Modeling Languages, Tools and Architectures. 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 : Model-Driven Engineering and Software Development : 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers Tipo de documento: documento electrónico Autores: Hammoudi, Slimane, ; Pires, Luís Ferreira, ; Selic, Bran, ; Desfray, Philippe, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIV, 355 p. 131 ilustraciones ISBN/ISSN/DL: 978-3-319-66302-9 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 Simulación por ordenador Compiladores (programas informáticos) Inteligencia artificial Modelado por computadora Compiladores e intérpretes Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye artículos cuidadosamente revisados y seleccionados de la 4ta Conferencia Internacional sobre Ingeniería Dirigida por Modelos y Desarrollo de Software, MODELSWARD 2016, celebrada en Roma, Italia, en febrero de 2016. Los 17 artículos minuciosamente revisados y ampliados presentados en este volumen fueron cuidadosamente revisados y seleccionado entre 118 presentaciones. Están organizados en secciones temáticas denominadas: lenguajes, herramientas y arquitecturas de modelado; metodologías, procesos y plataformas; desarrollo de aplicaciones y software. Nota de contenido: Modeling languages, tools and architectures -- Methodologies, processes and platforms -- Applications and software development. 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 Model-Driven Engineering and Software Development : 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers [documento electrónico] / Hammoudi, Slimane, ; Pires, Luís Ferreira, ; Selic, Bran, ; Desfray, Philippe, . - 1 ed. . - [s.l.] : Springer, 2017 . - XIV, 355 p. 131 ilustraciones.
ISBN : 978-3-319-66302-9
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 Simulación por ordenador Compiladores (programas informáticos) Inteligencia artificial Modelado por computadora Compiladores e intérpretes Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye artículos cuidadosamente revisados y seleccionados de la 4ta Conferencia Internacional sobre Ingeniería Dirigida por Modelos y Desarrollo de Software, MODELSWARD 2016, celebrada en Roma, Italia, en febrero de 2016. Los 17 artículos minuciosamente revisados y ampliados presentados en este volumen fueron cuidadosamente revisados y seleccionado entre 118 presentaciones. Están organizados en secciones temáticas denominadas: lenguajes, herramientas y arquitecturas de modelado; metodologías, procesos y plataformas; desarrollo de aplicaciones y software. Nota de contenido: Modeling languages, tools and architectures -- Methodologies, processes and platforms -- Applications and software development. 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 : Model-Driven Engineering and Software Development : 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers Tipo de documento: documento electrónico Autores: Pires, Luís Ferreira, ; Hammoudi, Slimane, ; Selic, Bran, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XII, 507 p. 181 ilustraciones ISBN/ISSN/DL: 978-3-319-94764-8 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) Compiladores (programas informáticos) diseño lógico Computadoras digitales electrónicas Sistemas informáticos Sistemas operativos Compiladores e intérpretes Rendimiento y evaluación del sistema Implementación de sistema informático Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye artículos minuciosamente revisados y seleccionados de la Quinta Conferencia Internacional sobre Ingeniería Dirigida por Modelos y Desarrollo de Software, MODELSWARD 2017, celebrada en Oporto, Portugal, en febrero de 2017. Los 20 artículos minuciosamente revisados y ampliados presentados en este volumen fueron cuidadosamente revisados y seleccionado entre 91 presentaciones. Contribuyen al desarrollo de tendencias de investigación muy relevantes en ingeniería basada en modelos y desarrollo de software, como metodologías para el desarrollo y explotación de MDD, pruebas basadas en modelos, simulación de modelos, modelado de dominios específicos, generación de código a partir de modelos, nuevas herramientas MDD, múltiples -Gestión de modelos, evolución de modelos y aplicaciones industriales de métodos y tecnologías basados en modelos. Nota de contenido: Sommelier: A Tool for Validating TOSCA Application TopologiesSommelier: A Tool for Validating TOSCA Application Topologies -- Evaluation of XIS-Reverse, a Model-Driven Reverse Engineering Approach for Legacy Information Systems -- Formal and Virtual Multi-level Design Space Exploration -- Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems -- A Model based Approach for Complex Dynamic Decision-making -- Deterministic High-level Executable Models Allowing Efficient Runtime Verification -- A Consistency-preserving Editing Model for Dynamic Filtered Engineering of Model-driven Product Lines -- Model-driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information -- A Model Driven Engineering Approach for Heterogeneous Model Composition -- Generative versus Interpretive Model-Driven Development: Moving Past `It Depends' -- Applying Integrated Domain-Specific Modeling for Multi-concerns Development of Complex Systems.-A Domain-Specific Modeling Approach for Testing Environment Emulation -- A Framework for UML-based Component-based Design and Code Generation for Reactive Systems -- Automatic UI Generation for Aggregated Linked Data Applications by using Sharable Application Ontologies -- Surveying Co-Evolution in Modeling Ecosystems -- Functional Decomposition for Software Architecture Evolution -- Model-Driven Approach to Handle Evolutions of OLAP Requirements and Data Source Model -- Complex Event Processing for User-Centric Management of IoT Systems -- Efficient Distributed Execution of Multi-component Scenario-Based Models -- Modelling the World of a Smart Room for Robotic Co-working. 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 Model-Driven Engineering and Software Development : 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers [documento electrónico] / Pires, Luís Ferreira, ; Hammoudi, Slimane, ; Selic, Bran, . - 1 ed. . - [s.l.] : Springer, 2018 . - XII, 507 p. 181 ilustraciones.
ISBN : 978-3-319-94764-8
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) Compiladores (programas informáticos) diseño lógico Computadoras digitales electrónicas Sistemas informáticos Sistemas operativos Compiladores e intérpretes Rendimiento y evaluación del sistema Implementación de sistema informático Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye artículos minuciosamente revisados y seleccionados de la Quinta Conferencia Internacional sobre Ingeniería Dirigida por Modelos y Desarrollo de Software, MODELSWARD 2017, celebrada en Oporto, Portugal, en febrero de 2017. Los 20 artículos minuciosamente revisados y ampliados presentados en este volumen fueron cuidadosamente revisados y seleccionado entre 91 presentaciones. Contribuyen al desarrollo de tendencias de investigación muy relevantes en ingeniería basada en modelos y desarrollo de software, como metodologías para el desarrollo y explotación de MDD, pruebas basadas en modelos, simulación de modelos, modelado de dominios específicos, generación de código a partir de modelos, nuevas herramientas MDD, múltiples -Gestión de modelos, evolución de modelos y aplicaciones industriales de métodos y tecnologías basados en modelos. Nota de contenido: Sommelier: A Tool for Validating TOSCA Application TopologiesSommelier: A Tool for Validating TOSCA Application Topologies -- Evaluation of XIS-Reverse, a Model-Driven Reverse Engineering Approach for Legacy Information Systems -- Formal and Virtual Multi-level Design Space Exploration -- Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems -- A Model based Approach for Complex Dynamic Decision-making -- Deterministic High-level Executable Models Allowing Efficient Runtime Verification -- A Consistency-preserving Editing Model for Dynamic Filtered Engineering of Model-driven Product Lines -- Model-driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information -- A Model Driven Engineering Approach for Heterogeneous Model Composition -- Generative versus Interpretive Model-Driven Development: Moving Past `It Depends' -- Applying Integrated Domain-Specific Modeling for Multi-concerns Development of Complex Systems.-A Domain-Specific Modeling Approach for Testing Environment Emulation -- A Framework for UML-based Component-based Design and Code Generation for Reactive Systems -- Automatic UI Generation for Aggregated Linked Data Applications by using Sharable Application Ontologies -- Surveying Co-Evolution in Modeling Ecosystems -- Functional Decomposition for Software Architecture Evolution -- Model-Driven Approach to Handle Evolutions of OLAP Requirements and Data Source Model -- Complex Event Processing for User-Centric Management of IoT Systems -- Efficient Distributed Execution of Multi-component Scenario-Based Models -- Modelling the World of a Smart Room for Robotic Co-working. 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 : Model-Driven Engineering and Software Development : 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers Tipo de documento: documento electrónico Autores: Hammoudi, Slimane, ; Pires, Luís Ferreira, ; Selic, Bran, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XII, 496 p. 520 ilustraciones, 173 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-11030-7 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 Ordenadores Ingeniería Informática Red de computadoras Ciencias de la Computación Entornos informáticos Ingeniería Informática y Redes Teoría de la Computación Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye artículos cuidadosamente revisados y seleccionados de la 6.ª Conferencia Internacional sobre Ingeniería Dirigida por Modelos y Desarrollo de Software, MODELSWARD 2018, celebrada en Funchal, Madeira, Portugal, en enero de 2018. Los 22 artículos minuciosamente revisados y ampliados presentados en este volumen fueron cuidadosamente revisado y seleccionado entre 101 presentaciones. Contribuyen al desarrollo de tendencias de investigación muy relevantes en ingeniería basada en modelos y desarrollo de software, como métodos innovadores para el desarrollo y prueba de aplicaciones e interfaces de usuario basadas en MDD, soporte para el desarrollo de lenguajes específicos de dominio (DSL), Desarrollo de aplicaciones basadas en MDD en plataformas multiprocesador, avances en herramientas MDD, semántica formal y modelado de comportamiento e ingeniería de líneas de productos basada en MDD. Nota de contenido: Executable Modeling for Reactive Programming -- A Model-Driven Method for Fast Building ConsistentWeb Services from OpenAPI-Compatible Models -- Reuse and Customization for Code Generators: Synergy by Transformations and Templates -- Model-based Programming for Multi-Processor Platforms with TTool/DIPLODOCUS and OMC -- Evaluating Multi-Variant Model-To-Text Transformations Realized by Generic Aspects -- Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework -- Automated Recommendation of Related Model Elements for Domain Models -- An Integrated Framework to Develop Domain-Specific Languages: Extended Case Study -- Technology Enhanced Support for Learning Interactive Software Systems -- Interactive Measures for Mining Understandable State Machines from Embedded Software: Experiments and Case Studies -- Adaptation and Implementation of the ISO42010 Standard to Software Design and Modeling Tools -- Generation and Validation of Frame Conditions in Formal Models -- Analysis and Evaluation of Conformance Preserving Graph Transformation Rules -- Generation of Inductive Types from Ecore Metamodels -- Towards Automated Defect Analysis using Execution Traces of Scenario-based Models -- A Textual Notation for Modeling and Generating Code for Composite Structure -- Application of a Process-oriented Build Tool for Flight Controller Development along a DO-178C/DO-331 Process -- A Methodology for Generating Tests for Evaluating User-centric Performance of Mobile Streaming Applications -- Combining Model-Driven Architecture and Software Product Line Engineering: Reuse of Platform-specific Assets -- A Test Specification Language for Information Systems based on Data Entities, Use Cases and State Machines -- Synchronizing Heuristics for Weakly Connected Automata with Various Topologies. 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 Model-Driven Engineering and Software Development : 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers [documento electrónico] / Hammoudi, Slimane, ; Pires, Luís Ferreira, ; Selic, Bran, . - 1 ed. . - [s.l.] : Springer, 2019 . - XII, 496 p. 520 ilustraciones, 173 ilustraciones en color.
ISBN : 978-3-030-11030-7
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 Ordenadores Ingeniería Informática Red de computadoras Ciencias de la Computación Entornos informáticos Ingeniería Informática y Redes Teoría de la Computación Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye artículos cuidadosamente revisados y seleccionados de la 6.ª Conferencia Internacional sobre Ingeniería Dirigida por Modelos y Desarrollo de Software, MODELSWARD 2018, celebrada en Funchal, Madeira, Portugal, en enero de 2018. Los 22 artículos minuciosamente revisados y ampliados presentados en este volumen fueron cuidadosamente revisado y seleccionado entre 101 presentaciones. Contribuyen al desarrollo de tendencias de investigación muy relevantes en ingeniería basada en modelos y desarrollo de software, como métodos innovadores para el desarrollo y prueba de aplicaciones e interfaces de usuario basadas en MDD, soporte para el desarrollo de lenguajes específicos de dominio (DSL), Desarrollo de aplicaciones basadas en MDD en plataformas multiprocesador, avances en herramientas MDD, semántica formal y modelado de comportamiento e ingeniería de líneas de productos basada en MDD. Nota de contenido: Executable Modeling for Reactive Programming -- A Model-Driven Method for Fast Building ConsistentWeb Services from OpenAPI-Compatible Models -- Reuse and Customization for Code Generators: Synergy by Transformations and Templates -- Model-based Programming for Multi-Processor Platforms with TTool/DIPLODOCUS and OMC -- Evaluating Multi-Variant Model-To-Text Transformations Realized by Generic Aspects -- Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework -- Automated Recommendation of Related Model Elements for Domain Models -- An Integrated Framework to Develop Domain-Specific Languages: Extended Case Study -- Technology Enhanced Support for Learning Interactive Software Systems -- Interactive Measures for Mining Understandable State Machines from Embedded Software: Experiments and Case Studies -- Adaptation and Implementation of the ISO42010 Standard to Software Design and Modeling Tools -- Generation and Validation of Frame Conditions in Formal Models -- Analysis and Evaluation of Conformance Preserving Graph Transformation Rules -- Generation of Inductive Types from Ecore Metamodels -- Towards Automated Defect Analysis using Execution Traces of Scenario-based Models -- A Textual Notation for Modeling and Generating Code for Composite Structure -- Application of a Process-oriented Build Tool for Flight Controller Development along a DO-178C/DO-331 Process -- A Methodology for Generating Tests for Evaluating User-centric Performance of Mobile Streaming Applications -- Combining Model-Driven Architecture and Software Product Line Engineering: Reuse of Platform-specific Assets -- A Test Specification Language for Information Systems based on Data Entities, Use Cases and State Machines -- Synchronizing Heuristics for Weakly Connected Automata with Various Topologies. 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
