Información del autor
Autor Katoen, Joost-Pieter |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra Refinar búsquedaDependable Software Engineering. Theories, Tools, and Applications / Guan, Nan ; Katoen, Joost-Pieter ; Sun, Jun
TÃtulo : Dependable Software Engineering. Theories, Tools, and Applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings / Tipo de documento: documento electrónico Autores: Guan, Nan, ; Katoen, Joost-Pieter, ; Sun, Jun, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XIII, 139 p. 135 ilustraciones, 23 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-35540-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 IngenierÃa Informática Red de computadoras Microprogramación Simulación por ordenador Ciencias de la Computación TeorÃa de las máquinas IngenierÃa Informática y Redes Estructuras de control y microprogramación. Modelado por computadora Lógica informática y fundamentos de la programación. Lenguajes formales y teorÃa de los autómatas Clasificación: 005.1 Resumen: Este libro constituye las actas del V Simposio Internacional sobre IngenierÃa de Software Confiable: TeorÃas, Herramientas y Aplicaciones, SETTA 2019, celebrado en Shanghai, China, en noviembre de 2019. Los 8 artÃculos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 26 presentaciones. Presentan avances de vanguardia en el campo de los métodos formales y su interoperabilidad con la ingenierÃa de software y se centran en la aplicación de técnicas y herramientas formales para construir sistemas confiables, seguros e inteligentes con complejidades multidimensionales. . Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019. The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the field of formal methods and its interoperability with software engineering and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Dependable Software Engineering. Theories, Tools, and Applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings / [documento electrónico] / Guan, Nan, ; Katoen, Joost-Pieter, ; Sun, Jun, . - 1 ed. . - [s.l.] : Springer, 2019 . - XIII, 139 p. 135 ilustraciones, 23 ilustraciones en color.
ISBN : 978-3-030-35540-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 IngenierÃa Informática Red de computadoras Microprogramación Simulación por ordenador Ciencias de la Computación TeorÃa de las máquinas IngenierÃa Informática y Redes Estructuras de control y microprogramación. Modelado por computadora Lógica informática y fundamentos de la programación. Lenguajes formales y teorÃa de los autómatas Clasificación: 005.1 Resumen: Este libro constituye las actas del V Simposio Internacional sobre IngenierÃa de Software Confiable: TeorÃas, Herramientas y Aplicaciones, SETTA 2019, celebrado en Shanghai, China, en noviembre de 2019. Los 8 artÃculos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 26 presentaciones. Presentan avances de vanguardia en el campo de los métodos formales y su interoperabilidad con la ingenierÃa de software y se centran en la aplicación de técnicas y herramientas formales para construir sistemas confiables, seguros e inteligentes con complejidades multidimensionales. . Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019. The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the field of formal methods and its interoperability with software engineering and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday Tipo de documento: documento electrónico Autores: Katoen, Joost-Pieter, ; Langerak, Rom, ; Rensink, Arend, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XII, 391 p. 115 ilustraciones ISBN/ISSN/DL: 978-3-319-68270-9 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 Compiladores (programas informáticos) Simulación por ordenador TeorÃa de las máquinas Algoritmos Lógica informática y fundamentos de la programación. Compiladores e intérpretes Modelado por computadora Lenguajes formales y teorÃa de los autómatas Clasificación: 40.151 Resumen: Este volumen de Festschrift se ha publicado en honor a Ed Brinksma, con motivo de su 60 cumpleaños. Las contribuciones de este Festschrift están escritas por varios antiguos doctores de Ed. estudiantes y colaboradores. Los artÃculos son una reflexión sobre sus contribuciones e intereses de investigación y todos caen en el área de métodos formales o, en la terminologÃa de Ed, matemáticas aplicadas a la informática. Los artÃculos abordan lenguajes de modelado y semántica, pruebas basadas en modelos, análisis de verificación y desempeño, cálculo probabilÃstico, dinámica de sistemas y aplicaciones de métodos formales. Nota de contenido: Modeling and Semantics -- Testing -- Analysis -- Probabilities -- System Dynamics -- Applications. Tipo de medio : Computadora Summary : This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday. The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science. The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday [documento electrónico] / Katoen, Joost-Pieter, ; Langerak, Rom, ; Rensink, Arend, . - 1 ed. . - [s.l.] : Springer, 2017 . - XII, 391 p. 115 ilustraciones.
ISBN : 978-3-319-68270-9
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 Compiladores (programas informáticos) Simulación por ordenador TeorÃa de las máquinas Algoritmos Lógica informática y fundamentos de la programación. Compiladores e intérpretes Modelado por computadora Lenguajes formales y teorÃa de los autómatas Clasificación: 40.151 Resumen: Este volumen de Festschrift se ha publicado en honor a Ed Brinksma, con motivo de su 60 cumpleaños. Las contribuciones de este Festschrift están escritas por varios antiguos doctores de Ed. estudiantes y colaboradores. Los artÃculos son una reflexión sobre sus contribuciones e intereses de investigación y todos caen en el área de métodos formales o, en la terminologÃa de Ed, matemáticas aplicadas a la informática. Los artÃculos abordan lenguajes de modelado y semántica, pruebas basadas en modelos, análisis de verificación y desempeño, cálculo probabilÃstico, dinámica de sistemas y aplicaciones de métodos formales. Nota de contenido: Modeling and Semantics -- Testing -- Analysis -- Probabilities -- System Dynamics -- Applications. Tipo de medio : Computadora Summary : This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday. The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science. The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
