Información del autor
Autor van der Aalst, Wil |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra Refinar búsqueda22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / Hähnle, Reiner ; van der Aalst, Wil
TÃtulo : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings Tipo de documento: documento electrónico Autores: Hähnle, Reiner, ; van der Aalst, Wil, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XIII, 446 p. 1202 ilustraciones, 85 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-16722-6 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 Compiladores (programas informáticos) Computadoras digitales electrónicas Ordenadores Profesiones Ciencias de la Computación Simulación por ordenador Compiladores e intérpretes Rendimiento y evaluación del sistema La profesión informática TeorÃa de la Computación Modelado por computadora Clasificación: 005.1 Resumen: Este libro es de Acceso Abierto bajo licencia CC BY. Nota de contenido: FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs. Tipo de medio : Computadora Summary : This book is Open Access under a CC BY licence. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings [documento electrónico] / Hähnle, Reiner, ; van der Aalst, Wil, . - 1 ed. . - [s.l.] : Springer, 2019 . - XIII, 446 p. 1202 ilustraciones, 85 ilustraciones en color.
ISBN : 978-3-030-16722-6
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 Compiladores (programas informáticos) Computadoras digitales electrónicas Ordenadores Profesiones Ciencias de la Computación Simulación por ordenador Compiladores e intérpretes Rendimiento y evaluación del sistema La profesión informática TeorÃa de la Computación Modelado por computadora Clasificación: 005.1 Resumen: Este libro es de Acceso Abierto bajo licencia CC BY. Nota de contenido: FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs. Tipo de medio : Computadora Summary : This book is Open Access under a CC BY licence. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings Tipo de documento: documento electrónico Autores: van der Aalst, Wil, ; Best, Eike, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIV, 351 p. 136 ilustraciones ISBN/ISSN/DL: 978-3-319-57861-3 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: Ciencias de la Computación IngenierÃa de software Simulación por ordenador TeorÃa de las máquinas Inteligencia artificial Lógica informática y fundamentos de la programación Modelado por computadora Lenguajes formales y teorÃa de los autómatas Clasificación: 40.151 Resumen: Este libro constituye las actas de la 38.ª Conferencia Internacional sobre Aplicación y TeorÃa de las Redes de Petri y la Concurrencia, PETRI NETS 2017, celebrada en Zaragoza, España, en junio de 2017. Petri Nets 2017 se ubica junto con la Conferencia sobre Aplicación de la Concurrencia al Diseño de Sistemas. , ACSD 2017. Los 16 artÃculos, 9 artÃculos teóricos, 4 artÃculos de aplicación y 3 artÃculos de herramientas, con 1 resumen breve y 3 resúmenes extendidos de charlas invitadas presentados juntos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 33 presentaciones. El enfoque de la conferencia se centra en los siguientes temas: Simulación de redes de Petri coloreadas, Herramientas de redes de Petri: verificación de modelos, vivacidad y opacidad, redes de Petri estocásticas, clases de redes especÃficas y redes de Petri para rutas. Nota de contenido: Distinguished Carl Adam Petri Lecture -- Simulation of Colored Petri Nets -- Petri Net Tools -- Model Checking -- Liveness and Opacity -- Stochastic Petri Nets -- Specific Net Classes -- Petri Nets for Pathways. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017. The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, with 1 short abstract and 3 extended abstracts of invited talks presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Simulation of Colored Petri Nets, Petri Net Tools.- Model Checking, Liveness and Opacity, Stochastic Petri Nets, Specific Net Classes, and Petri Nets for Pathways. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings [documento electrónico] / van der Aalst, Wil, ; Best, Eike, . - 1 ed. . - [s.l.] : Springer, 2017 . - XIV, 351 p. 136 ilustraciones.
ISBN : 978-3-319-57861-3
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: Ciencias de la Computación IngenierÃa de software Simulación por ordenador TeorÃa de las máquinas Inteligencia artificial Lógica informática y fundamentos de la programación Modelado por computadora Lenguajes formales y teorÃa de los autómatas Clasificación: 40.151 Resumen: Este libro constituye las actas de la 38.ª Conferencia Internacional sobre Aplicación y TeorÃa de las Redes de Petri y la Concurrencia, PETRI NETS 2017, celebrada en Zaragoza, España, en junio de 2017. Petri Nets 2017 se ubica junto con la Conferencia sobre Aplicación de la Concurrencia al Diseño de Sistemas. , ACSD 2017. Los 16 artÃculos, 9 artÃculos teóricos, 4 artÃculos de aplicación y 3 artÃculos de herramientas, con 1 resumen breve y 3 resúmenes extendidos de charlas invitadas presentados juntos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 33 presentaciones. El enfoque de la conferencia se centra en los siguientes temas: Simulación de redes de Petri coloreadas, Herramientas de redes de Petri: verificación de modelos, vivacidad y opacidad, redes de Petri estocásticas, clases de redes especÃficas y redes de Petri para rutas. Nota de contenido: Distinguished Carl Adam Petri Lecture -- Simulation of Colored Petri Nets -- Petri Net Tools -- Model Checking -- Liveness and Opacity -- Stochastic Petri Nets -- Specific Net Classes -- Petri Nets for Pathways. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017. The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, with 1 short abstract and 3 extended abstracts of invited talks presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Simulation of Colored Petri Nets, Petri Net Tools.- Model Checking, Liveness and Opacity, Stochastic Petri Nets, Specific Net Classes, and Petri Nets for Pathways. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
