Título :	Recent Trends in Algebraic Development Techniques : 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers
Tipo de documento:	documento electrónico
Autores:	Roggenbach, Markus,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2021
Número de páginas:	IX, 165 p. 38 ilustraciones, 8 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-73785-6
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  Teoría de las máquinas  Programación de computadoras  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas  Técnicas de programación
Índice Dewey:	40.151
Resumen:	Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, del 25º Taller Internacional sobre Técnicas de Desarrollo Algebraico, WADT 2020, celebrado virtualmente en abril de 2020. Los 7 artículos revisados ​​presentados junto con un artículo invitado fueron cuidadosamente revisados ​​y seleccionados entre 9 presentaciones. Las presentaciones contribuyeron cubrieron una variedad de temas sobre el enfoque algebraico para la especificación de sistemas, que abarca muchos aspectos del diseño formal de sistemas de software. Originalmente nacido como un método formal para razonar sobre tipos de datos abstractos, el enfoque algebraico ahora cubre nuevos marcos de especificación y paradigmas de programación (como la programación orientada a objetos, orientada a aspectos, orientada a agentes, lógica y funcional de orden superior), así como una amplia gama de áreas de aplicación (incluidos sistemas de información, sistemas concurrentes, distribuidos y móviles).
Nota de contenido:	Invited Paper -- On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract) -- Contributed Papers -- The wheel of rational numbers as an abstract data type -- Towards General Axiomatizations for Bisimilarity and Trace Semantics -- Monographs, a Category of Graph Structures -- Parallel Coherent Graph Transformations -- K and KIV: Towards Deductive Verification for Arbitrary Programming Languages -- Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS -- Structure-Preserving Diagram Operators.
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

Recent Trends in Algebraic Development Techniques : 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers [documento electrónico] / Roggenbach, Markus,  . -  1 ed.  . - [s.l.] : Springer, 2021 . - IX, 165 p. 38 ilustraciones, 8 ilustraciones en color.
ISBN : 978-3-030-73785-6
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  Teoría de las máquinas  Programación de computadoras  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas  Técnicas de programación
Índice Dewey:	40.151
Resumen:	Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, del 25º Taller Internacional sobre Técnicas de Desarrollo Algebraico, WADT 2020, celebrado virtualmente en abril de 2020. Los 7 artículos revisados ​​presentados junto con un artículo invitado fueron cuidadosamente revisados ​​y seleccionados entre 9 presentaciones. Las presentaciones contribuyeron cubrieron una variedad de temas sobre el enfoque algebraico para la especificación de sistemas, que abarca muchos aspectos del diseño formal de sistemas de software. Originalmente nacido como un método formal para razonar sobre tipos de datos abstractos, el enfoque algebraico ahora cubre nuevos marcos de especificación y paradigmas de programación (como la programación orientada a objetos, orientada a aspectos, orientada a agentes, lógica y funcional de orden superior), así como una amplia gama de áreas de aplicación (incluidos sistemas de información, sistemas concurrentes, distribuidos y móviles).
Nota de contenido:	Invited Paper -- On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract) -- Contributed Papers -- The wheel of rational numbers as an abstract data type -- Towards General Axiomatizations for Bisimilarity and Trace Semantics -- Monographs, a Category of Graph Structures -- Parallel Coherent Graph Transformations -- K and KIV: Towards Deductive Verification for Arbitrary Programming Languages -- Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS -- Structure-Preserving Diagram Operators.
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