| 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 [...] |
|  |
Crear una solicitud de compra Refinar búsqueda
