Autor Sirjani, Marjan
|
|
Documentos disponibles escritos por este autor (4)
Hacer una sugerencia Refinar búsqueda15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings / Cimatti, Alessandro ; Sirjani, Marjan
Título : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings Tipo de documento: documento electrónico Autores: Cimatti, Alessandro, ; Sirjani, Marjan, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIX, 410 p. 94 ilustraciones ISBN/ISSN/DL: 978-3-319-66197-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 Compiladores (programas informáticos) Programación de computadoras Ciencias de la Computación Computadoras digitales electrónicas Inteligencia artificial Compiladores e intérpretes Técnicas de programación Teoría de la Computación Rendimiento y evaluación del sistema Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la 15.ª Conferencia Internacional sobre Ingeniería de Software y Métodos Formales, SEFM 2017, celebrada en Trento, Italia, en septiembre de 2017. Los 17 artículos completos y 6 artículos breves presentados fueron cuidadosamente revisados y seleccionados entre 102 presentaciones. Los artículos abordan una amplia gama de temas en las siguientes áreas de investigación: nuevas fronteras en la arquitectura de software; verificación y prueba de software; métodos de desarrollo de software; transferencia de aplicaciones y tecnología; seguridad y protección; y principios de diseño. . 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 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings [documento electrónico] / Cimatti, Alessandro, ; Sirjani, Marjan, . - 1 ed. . - [s.l.] : Springer, 2017 . - XIX, 410 p. 94 ilustraciones.
ISBN : 978-3-319-66197-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 Compiladores (programas informáticos) Programación de computadoras Ciencias de la Computación Computadoras digitales electrónicas Inteligencia artificial Compiladores e intérpretes Técnicas de programación Teoría de la Computación Rendimiento y evaluación del sistema Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la 15.ª Conferencia Internacional sobre Ingeniería de Software y Métodos Formales, SEFM 2017, celebrada en Trento, Italia, en septiembre de 2017. Los 17 artículos completos y 6 artículos breves presentados fueron cuidadosamente revisados y seleccionados entre 102 presentaciones. Los artículos abordan una amplia gama de temas en las siguientes áreas de investigación: nuevas fronteras en la arquitectura de software; verificación y prueba de software; métodos de desarrollo de software; transferencia de aplicaciones y tecnología; seguridad y protección; y principios de diseño. . 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 : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers Tipo de documento: documento electrónico Autores: Dastani, Mehdi, ; Sirjani, Marjan, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: X, 261 p. 70 ilustraciones ISBN/ISSN/DL: 978-3-319-68972-2 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 Ciencias de la Computación Algoritmos Compiladores (programas informáticos) Programación de computadoras Ingeniería Informática Red de computadoras Lógica informática y fundamentos de la programación Compiladores e intérpretes Técnicas de programación Ingeniería Informática y Redes Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, de la Séptima Conferencia Internacional sobre Fundamentos de Ingeniería de Software, FSEN 2017, celebrada en Teherán, Irán, en abril de 2017. Los 16 artículos completos presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 49 presentaciones. . Los temas de interés en FSEN abarcan todos los aspectos de los métodos formales, especialmente aquellos relacionados con el avance de la aplicación de métodos formales en la industria del software y la promoción de su integración con técnicas prácticas de ingeniería. Nota de contenido: Implementing Open Call-by-Value -- Debugging of Concurrent Programs Using Counterexample Analysis -- Bisimilarity of Open Terms in Stream GSOS -- Composing Families of Timed Automata -- A Core Calculus for Multi SPLs -- Translating Active Objects into Colored Petri Nets for Communication Analysias -- Synthesizing Parameterized Self-Stabilizing Rings with Constant-Space Processes -- Flexible Transactional Coordination in the Peer Model -- Using Swarm Intelligence to Generate Test Data for Covering Prime Paths -- LittleDarwin: a Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems -- TCE+: An Extension of the TCE Approach for Detecting Equivalent Mutants in Java Programs -- Quality-Aware Reactive Programming for the IoT -- Purpose-based Policy Enforcement in Actor-based Systems -- Automatic Transition System Model Identification for Network Applications from Packet Traces -- Gray-Box Conformance Testing for Symbolic Reactive State Machines -- Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving. . 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, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers [documento electrónico] / Dastani, Mehdi, ; Sirjani, Marjan, . - 1 ed. . - [s.l.] : Springer, 2017 . - X, 261 p. 70 ilustraciones.
ISBN : 978-3-319-68972-2
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 Ciencias de la Computación Algoritmos Compiladores (programas informáticos) Programación de computadoras Ingeniería Informática Red de computadoras Lógica informática y fundamentos de la programación Compiladores e intérpretes Técnicas de programación Ingeniería Informática y Redes Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, de la Séptima Conferencia Internacional sobre Fundamentos de Ingeniería de Software, FSEN 2017, celebrada en Teherán, Irán, en abril de 2017. Los 16 artículos completos presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 49 presentaciones. . Los temas de interés en FSEN abarcan todos los aspectos de los métodos formales, especialmente aquellos relacionados con el avance de la aplicación de métodos formales en la industria del software y la promoción de su integración con técnicas prácticas de ingeniería. Nota de contenido: Implementing Open Call-by-Value -- Debugging of Concurrent Programs Using Counterexample Analysis -- Bisimilarity of Open Terms in Stream GSOS -- Composing Families of Timed Automata -- A Core Calculus for Multi SPLs -- Translating Active Objects into Colored Petri Nets for Communication Analysias -- Synthesizing Parameterized Self-Stabilizing Rings with Constant-Space Processes -- Flexible Transactional Coordination in the Peer Model -- Using Swarm Intelligence to Generate Test Data for Covering Prime Paths -- LittleDarwin: a Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems -- TCE+: An Extension of the TCE Approach for Detecting Equivalent Mutants in Java Programs -- Quality-Aware Reactive Programming for the IoT -- Purpose-based Policy Enforcement in Actor-based Systems -- Automatic Transition System Model Identification for Network Applications from Packet Traces -- Gray-Box Conformance Testing for Symbolic Reactive State Machines -- Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving. . 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 : Principles of Modeling : Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday Tipo de documento: documento electrónico Autores: Lohstroh, Marten, ; Derler, Patricia, ; Sirjani, Marjan, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XXVII, 539 p. 158 ilustraciones ISBN/ISSN/DL: 978-3-319-95246-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: Compiladores (programas informáticos) Ingeniería Informática Red de computadoras Ordenadores Inteligencia artificial Profesiones Compiladores e intérpretes Ingeniería Informática y Redes Hardware de la computadora La profesión informática Índice Dewey: 005.45 interfaces con el computador y los controladores del dispositivo Resumen: Este Festschrift se publica en honor de Edward A. Lee, Profesor Emérito Distinguido Robert S. Pepper y Profesor de la Escuela de Graduados del Departamento de Ingeniería Eléctrica y Ciencias de la Computación de la Universidad de California, Berkeley, EE. UU., con motivo de su 60.º aniversario. cumpleaños. El título de este Festschrift es "Principios del modelado" porque Edward A. Lee se ha dedicado durante mucho tiempo a la investigación centrada en el papel de los modelos en la ciencia y la ingeniería. Ha estado examinando el uso y las limitaciones de los modelos, sus propiedades formales, su papel en la cognición y la interacción con la creatividad y su capacidad para representar la realidad y la física. El Festschrift contiene 29 artículos que presentan la amplia gama de temas de investigación de Edward A. Lee; como sistemas integrados; computación en tiempo real; arquitectura de Computadores; modelado y simulación, y diseño de sistemas. Nota de contenido: You Can Program What You Want but You Cannot Compute What You Want -- Transforming Threads Into Actors: Learning Concurrency Structure from Execution Traces -- Interfaces for Stream Processing Systems -- Simulation-Based Reachability Analysis for Nonlinear Systems Using Componentwise Contraction Properties -- Predictability Issues in Mixed-Criticality Real-Time Systems -- Model-based Representations for Dataflow Schedules -- Hybrid Simulation Safety: Limbos and Zero Crossings -- Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework -- Computing Average Response Time -- Modeling Dynamical Phenomena in the Era of Big Data -- A Formal Semantics for Traffic Sequence Charts -- Code Generation for Flow Preservation in Multicore Systems -- A Semantic Account of Rigorous Simulation -- On Determinism -- Lossy Channels in a Dataflow Model of Computation -- If We Could Go Back in Time. . .On the Use of `Unnatural' Time and Ordering in Dataflow Models -- Compressed Sensing in Cyber Physical SocialSystems -- Embedded Software Design Methodology Based on Formal Models of Computation -- Anytime Algorithms in Time-Triggered Control Systems -- Autonomous Retailing: A Frontier for Cyber-Physical-Human Systems -- The Relativity Example: Is Terminological Innovation a Good Idea -- Hierarchical System Design with Vertical Contracts -- Abstraction and Refinement of Time in Hierarchically Decomposable Underspecified Architecture Simulations -- Cyber-Physical Systems Education: Explorations and Dreams -- Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience -- Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, and Compositionality -- Complexity Challenges in Development of Cyber-Physical Systems -- Augmenting State Models with Data Flow -- On the Road to Conviction: An Email Exchange with Edward Lee. 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 Principles of Modeling : Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday [documento electrónico] / Lohstroh, Marten, ; Derler, Patricia, ; Sirjani, Marjan, . - 1 ed. . - [s.l.] : Springer, 2018 . - XXVII, 539 p. 158 ilustraciones.
ISBN : 978-3-319-95246-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Compiladores (programas informáticos) Ingeniería Informática Red de computadoras Ordenadores Inteligencia artificial Profesiones Compiladores e intérpretes Ingeniería Informática y Redes Hardware de la computadora La profesión informática Índice Dewey: 005.45 interfaces con el computador y los controladores del dispositivo Resumen: Este Festschrift se publica en honor de Edward A. Lee, Profesor Emérito Distinguido Robert S. Pepper y Profesor de la Escuela de Graduados del Departamento de Ingeniería Eléctrica y Ciencias de la Computación de la Universidad de California, Berkeley, EE. UU., con motivo de su 60.º aniversario. cumpleaños. El título de este Festschrift es "Principios del modelado" porque Edward A. Lee se ha dedicado durante mucho tiempo a la investigación centrada en el papel de los modelos en la ciencia y la ingeniería. Ha estado examinando el uso y las limitaciones de los modelos, sus propiedades formales, su papel en la cognición y la interacción con la creatividad y su capacidad para representar la realidad y la física. El Festschrift contiene 29 artículos que presentan la amplia gama de temas de investigación de Edward A. Lee; como sistemas integrados; computación en tiempo real; arquitectura de Computadores; modelado y simulación, y diseño de sistemas. Nota de contenido: You Can Program What You Want but You Cannot Compute What You Want -- Transforming Threads Into Actors: Learning Concurrency Structure from Execution Traces -- Interfaces for Stream Processing Systems -- Simulation-Based Reachability Analysis for Nonlinear Systems Using Componentwise Contraction Properties -- Predictability Issues in Mixed-Criticality Real-Time Systems -- Model-based Representations for Dataflow Schedules -- Hybrid Simulation Safety: Limbos and Zero Crossings -- Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework -- Computing Average Response Time -- Modeling Dynamical Phenomena in the Era of Big Data -- A Formal Semantics for Traffic Sequence Charts -- Code Generation for Flow Preservation in Multicore Systems -- A Semantic Account of Rigorous Simulation -- On Determinism -- Lossy Channels in a Dataflow Model of Computation -- If We Could Go Back in Time. . .On the Use of `Unnatural' Time and Ordering in Dataflow Models -- Compressed Sensing in Cyber Physical SocialSystems -- Embedded Software Design Methodology Based on Formal Models of Computation -- Anytime Algorithms in Time-Triggered Control Systems -- Autonomous Retailing: A Frontier for Cyber-Physical-Human Systems -- The Relativity Example: Is Terminological Innovation a Good Idea -- Hierarchical System Design with Vertical Contracts -- Abstraction and Refinement of Time in Hierarchically Decomposable Underspecified Architecture Simulations -- Cyber-Physical Systems Education: Explorations and Dreams -- Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience -- Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, and Compositionality -- Complexity Challenges in Development of Cyber-Physical Systems -- Augmenting State Models with Data Flow -- On the Road to Conviction: An Email Exchange with Edward Lee. 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 : Software Architecture : 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings Tipo de documento: documento electrónico Autores: Biffl, Stefan, ; Navarro, Elena, ; Löwe, Welf, ; Sirjani, Marjan, ; Mirandola, Raffaela, ; Weyns, Danny, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XXI, 328 p. 83 ilustraciones, 51 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-86044-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 Red de computadoras Software de la aplicacion Implementación de sistema informático Redes de comunicación informática Aplicaciones informáticas y de sistemas de información Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la 15.ª Conferencia Internacional sobre Arquitectura de Software, ECSA 2021, celebrada en Suecia, en septiembre de 2021. Debido a la pandemia de COVID-19, la conferencia se celebró de forma virtual. Para la modalidad de investigación, se revisaron y seleccionaron cuidadosamente 11 artículos completos, presentados junto con 5 artículos breves, entre 58 presentaciones. Los artículos están organizados en secciones temáticas de la siguiente manera: arquitecturas para sistemas reconfigurables y autoadaptativos; aprendizaje automático para arquitectura de software; conocimiento, decisiones y fundamentos arquitectónicos; arquitectura para atributos de calidad; análisis de código fuente centrado en la arquitectura; y experiencias y aprendizajes de estudios de casos industriales. Nota de contenido: Architectures for reconfigurable and self-adaptive systems -- Dynamic Updates of Virtual PLCs deployed as Kubernetes Microservices -- A runtime safety enforcement approach by monitoring and adaptation -- Towards a Taxonomy of Autonomous Systems -- Machine learning for Software Architecture -- Explaining Architectural Tradeoff Spaces: a Machine Learning Approach -- A Machine Learning Approach to Service Discovery for Microservice Architectures -- FLRA: A Reference Architecture for Federated Learning Systems -- Architectural knowledge, decisions, and rationale -- Tracelink Recovery for Software Architecture Documentation -- An Exploratory Study on Architectural Knowledge in Issue Tracking Systems -- Human Behavior-Oriented Architectural Design -- Architecting for Quality Attributes -- Updating Service-based Software Systems in Air-Gapped Environments -- Energy-Aware Robotics Software: A Catalog of Architectural Tactics from the ROS Ecosystem -- Taxonomy of Edge Blockchain Network Designs -- Impact analysis of software parallelism in big data technologies for data-intensive architectures -- Architecture-centric Source Code Analysis -- State of the Practice in Application Programming Interfaces (APIs): A Case Study -- Identifying Domain-Based Cyclic Dependencies in Microservice APIs Using Source Code Detectors -- Optimized Dependency Weights in Source Code Clustering -- Experiences and Learnings from Industrial Case Studies -- Reliable Event Routing in the Cloud and on the Edge: An Internet-of-Things Solution in the AgeTech Domain -- An Experience Report on Modernizing I/O Configuration Software -- Enabling SMEs to Industry 4.0 using the BaSyx middleware: a case study -- Software Architectures for Edge Analytics: A Survey -- How Software Architects Focus Their Attention. 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 Software Architecture : 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings [documento electrónico] / Biffl, Stefan, ; Navarro, Elena, ; Löwe, Welf, ; Sirjani, Marjan, ; Mirandola, Raffaela, ; Weyns, Danny, . - 1 ed. . - [s.l.] : Springer, 2021 . - XXI, 328 p. 83 ilustraciones, 51 ilustraciones en color.
ISBN : 978-3-030-86044-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 Red de computadoras Software de la aplicacion Implementación de sistema informático Redes de comunicación informática Aplicaciones informáticas y de sistemas de información Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la 15.ª Conferencia Internacional sobre Arquitectura de Software, ECSA 2021, celebrada en Suecia, en septiembre de 2021. Debido a la pandemia de COVID-19, la conferencia se celebró de forma virtual. Para la modalidad de investigación, se revisaron y seleccionaron cuidadosamente 11 artículos completos, presentados junto con 5 artículos breves, entre 58 presentaciones. Los artículos están organizados en secciones temáticas de la siguiente manera: arquitecturas para sistemas reconfigurables y autoadaptativos; aprendizaje automático para arquitectura de software; conocimiento, decisiones y fundamentos arquitectónicos; arquitectura para atributos de calidad; análisis de código fuente centrado en la arquitectura; y experiencias y aprendizajes de estudios de casos industriales. Nota de contenido: Architectures for reconfigurable and self-adaptive systems -- Dynamic Updates of Virtual PLCs deployed as Kubernetes Microservices -- A runtime safety enforcement approach by monitoring and adaptation -- Towards a Taxonomy of Autonomous Systems -- Machine learning for Software Architecture -- Explaining Architectural Tradeoff Spaces: a Machine Learning Approach -- A Machine Learning Approach to Service Discovery for Microservice Architectures -- FLRA: A Reference Architecture for Federated Learning Systems -- Architectural knowledge, decisions, and rationale -- Tracelink Recovery for Software Architecture Documentation -- An Exploratory Study on Architectural Knowledge in Issue Tracking Systems -- Human Behavior-Oriented Architectural Design -- Architecting for Quality Attributes -- Updating Service-based Software Systems in Air-Gapped Environments -- Energy-Aware Robotics Software: A Catalog of Architectural Tactics from the ROS Ecosystem -- Taxonomy of Edge Blockchain Network Designs -- Impact analysis of software parallelism in big data technologies for data-intensive architectures -- Architecture-centric Source Code Analysis -- State of the Practice in Application Programming Interfaces (APIs): A Case Study -- Identifying Domain-Based Cyclic Dependencies in Microservice APIs Using Source Code Detectors -- Optimized Dependency Weights in Source Code Clustering -- Experiences and Learnings from Industrial Case Studies -- Reliable Event Routing in the Cloud and on the Edge: An Internet-of-Things Solution in the AgeTech Domain -- An Experience Report on Modernizing I/O Configuration Software -- Enabling SMEs to Industry 4.0 using the BaSyx middleware: a case study -- Software Architectures for Edge Analytics: A Survey -- How Software Architects Focus Their Attention. 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
