| Título : |
Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday |
| Tipo de documento: |
documento electrónico |
| Autores: |
Margaria, Tiziana, ; Graf, Susanne, ; Larsen, Kim G., |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2019 |
| Número de páginas: |
XV, 431 p. 787 ilustraciones, 52 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-22348-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: |
Ciencias de la Computación Ingeniería de software Compiladores (programas informáticos) Teoría de las máquinas Algoritmos Modelos de Computación Compiladores e intérpretes Lógica informática y fundamentos de la programación Lenguajes formales y teoría de los autómatas |
| Índice Dewey: |
40.151 |
| Resumen: |
Este volumen de Festschrift se publica en honor a Bernhard Steffen, profesor de la Universidad Técnica de Dortmund, con motivo de su 60.º cumpleaños. Su visión, así como su trabajo teórico y práctico, abarcan el desarrollo y la implementación de algoritmos nuevos y específicos, y el establecimiento de relaciones entre comunidades con el efecto de obtener soluciones más simples, pero más poderosas. Inició muchas nuevas líneas de investigación a través de artículos seminales que fueron pioneros en varios campos, comenzando con Concurrency Workbench, una caja de herramientas de verificación de modelos que influyó significativamente en la investigación y el desarrollo de sistemas de alta seguridad basados en modos en todo el mundo. Las contribuciones en este volumen reflejan la amplitud y el impacto de su trabajo. El artículo introductorio de los editores del volumen, los 23 artículos completos y dos declaraciones personales se relacionan con la investigación y la vida de Bernhard. Este volumen, las charlas y todo el cumpleaños en ISoLA 2018 son un homenaje a los primeros 30 años de pasión, impacto y visión de Bernhard por muchas facetas de la informática en general y por los métodos formales en particular. El impacto y la visión incluyen los numerosos roles que el desarrollo de software respaldado por métodos formales debe desempeñar en la educación, en la industria y en la sociedad. |
| Nota de contenido: |
Introduction -- Kiel 1983-87 -- Edinburgh 1987-89 -- Aarhus 1989-90 -- Aachen 1990-93 -- Passau 1993-97 -- Dortmund 1997 – Today. |
| 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 |
Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday [documento electrónico] / Margaria, Tiziana, ; Graf, Susanne, ; Larsen, Kim G., . - 1 ed. . - [s.l.] : Springer, 2019 . - XV, 431 p. 787 ilustraciones, 52 ilustraciones en color. ISBN : 978-3-030-22348-9 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
Ciencias de la Computación Ingeniería de software Compiladores (programas informáticos) Teoría de las máquinas Algoritmos Modelos de Computación Compiladores e intérpretes Lógica informática y fundamentos de la programación Lenguajes formales y teoría de los autómatas |
| Índice Dewey: |
40.151 |
| Resumen: |
Este volumen de Festschrift se publica en honor a Bernhard Steffen, profesor de la Universidad Técnica de Dortmund, con motivo de su 60.º cumpleaños. Su visión, así como su trabajo teórico y práctico, abarcan el desarrollo y la implementación de algoritmos nuevos y específicos, y el establecimiento de relaciones entre comunidades con el efecto de obtener soluciones más simples, pero más poderosas. Inició muchas nuevas líneas de investigación a través de artículos seminales que fueron pioneros en varios campos, comenzando con Concurrency Workbench, una caja de herramientas de verificación de modelos que influyó significativamente en la investigación y el desarrollo de sistemas de alta seguridad basados en modos en todo el mundo. Las contribuciones en este volumen reflejan la amplitud y el impacto de su trabajo. El artículo introductorio de los editores del volumen, los 23 artículos completos y dos declaraciones personales se relacionan con la investigación y la vida de Bernhard. Este volumen, las charlas y todo el cumpleaños en ISoLA 2018 son un homenaje a los primeros 30 años de pasión, impacto y visión de Bernhard por muchas facetas de la informática en general y por los métodos formales en particular. El impacto y la visión incluyen los numerosos roles que el desarrollo de software respaldado por métodos formales debe desempeñar en la educación, en la industria y en la sociedad. |
| Nota de contenido: |
Introduction -- Kiel 1983-87 -- Edinburgh 1987-89 -- Aarhus 1989-90 -- Aachen 1990-93 -- Passau 1993-97 -- Dortmund 1997 – Today. |
| 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 |
|  |
Hacer una sugerencia Refinar búsquedaModels, Mindsets, Meta: The What, the How, and the Why Not? / Margaria, Tiziana ; Graf, Susanne ; Larsen, Kim G.
