Información del autor
Autor Raschke, Alexander |
Documentos disponibles escritos por este autor (5)
Crear una solicitud de compra Refinar búsqueda6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / Butler, Michael ; Raschke, Alexander ; Hoang, Thai Son ; Reichl, Klaus
TÃtulo : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings Tipo de documento: documento electrónico Autores: Butler, Michael, ; Raschke, Alexander, ; Hoang, Thai Son, ; Reichl, Klaus, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIV, 432 p. 83 ilustraciones ISBN/ISSN/DL: 978-3-319-91271-4 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: TeorÃa de las máquinas Algoritmos Ciencias de la Computación Compiladores (programas informáticos) Inteligencia artificial Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación Compiladores e intérpretes Clasificación: Resumen: Este libro constituye las actas arbitradas de la 6.ª Conferencia Internacional sobre Máquinas de Estados Abstractos, Alloy, B, TLA, VDM y Z, ABZ 2016, celebrada en Southampton, Reino Unido, en junio de 2018. Los 20 artÃculos completos y 11 breves presentados en este El volumen fue cuidadosamente revisado y seleccionado entre 60 presentaciones. Registran los últimos desarrollos de investigación en métodos formales basados ​​en estados: Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM y Z. Nota de contenido: Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings [documento electrónico] / Butler, Michael, ; Raschke, Alexander, ; Hoang, Thai Son, ; Reichl, Klaus, . - 1 ed. . - [s.l.] : Springer, 2018 . - XIV, 432 p. 83 ilustraciones.
ISBN : 978-3-319-91271-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: TeorÃa de las máquinas Algoritmos Ciencias de la Computación Compiladores (programas informáticos) Inteligencia artificial Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación Compiladores e intérpretes Clasificación: Resumen: Este libro constituye las actas arbitradas de la 6.ª Conferencia Internacional sobre Máquinas de Estados Abstractos, Alloy, B, TLA, VDM y Z, ABZ 2016, celebrada en Southampton, Reino Unido, en junio de 2018. Los 20 artÃculos completos y 11 breves presentados en este El volumen fue cuidadosamente revisado y seleccionado entre 60 presentaciones. Registran los últimos desarrollos de investigación en métodos formales basados ​​en estados: Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM y Z. Nota de contenido: Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings Tipo de documento: documento electrónico Autores: Raschke, Alexander, ; Méry, Dominique, ; Houdek, Frank, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XII, 428 p. 675 ilustraciones, 66 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-48077-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: TeorÃa de las máquinas Inteligencia artificial IngenierÃa Informática Red de computadoras IngenierÃa de software Microprogramación Lenguajes formales y teorÃa de los autómatas IngenierÃa Informática y Redes Estructuras de control y microprogramación Clasificación: Resumen: Este libro constituye las actas arbitradas de la Séptima Conferencia Internacional sobre Métodos Rigurosos Basados ​​en el Estado, ABZ 2020, que debÃa celebrarse en Ulm, Alemania, en mayo de 2020. La conferencia fue cancelada debido a la pandemia de COVID-19. Los 12 artÃculos completos y 9 artÃculos breves fueron cuidadosamente revisados ​​y seleccionados entre 61 presentaciones. Se presentan en este volumen junto con 2 artÃculos invitados, 6 contribuciones a simposios de doctorado, asà como el estudio de caso y 6 artÃculos aceptados que describen sus soluciones. Los trabajos están organizados en las siguientes secciones: ponencias magistrales y ponencias invitadas; artÃculos de investigación periódicos; artÃculos breves; artÃculos que contribuyen al estudio de caso; ArtÃculos breves del simposio de doctorado (trabajo en curso). Nota de contenido: Keynotes and Invited Papers -- Regular Research Articles -- Short Articles -- Articles Contributing to the Case Study -- Short Articles of the PhD-Symposium (Work in Progress). Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings [documento electrónico] / Raschke, Alexander, ; Méry, Dominique, ; Houdek, Frank, . - 1 ed. . - [s.l.] : Springer, 2020 . - XII, 428 p. 675 ilustraciones, 66 ilustraciones en color.
ISBN : 978-3-030-48077-6
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: TeorÃa de las máquinas Inteligencia artificial IngenierÃa Informática Red de computadoras IngenierÃa de software Microprogramación Lenguajes formales y teorÃa de los autómatas IngenierÃa Informática y Redes Estructuras de control y microprogramación Clasificación: Resumen: Este libro constituye las actas arbitradas de la Séptima Conferencia Internacional sobre Métodos Rigurosos Basados ​​en el Estado, ABZ 2020, que debÃa celebrarse en Ulm, Alemania, en mayo de 2020. La conferencia fue cancelada debido a la pandemia de COVID-19. Los 12 artÃculos completos y 9 artÃculos breves fueron cuidadosamente revisados ​​y seleccionados entre 61 presentaciones. Se presentan en este volumen junto con 2 artÃculos invitados, 6 contribuciones a simposios de doctorado, asà como el estudio de caso y 6 artÃculos aceptados que describen sus soluciones. Los trabajos están organizados en las siguientes secciones: ponencias magistrales y ponencias invitadas; artÃculos de investigación periódicos; artÃculos breves; artÃculos que contribuyen al estudio de caso; ArtÃculos breves del simposio de doctorado (trabajo en curso). Nota de contenido: Keynotes and Invited Papers -- Regular Research Articles -- Short Articles -- Articles Contributing to the Case Study -- Short Articles of the PhD-Symposium (Work in Progress). Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings Tipo de documento: documento electrónico Autores: Raschke, Alexander, ; Méry, Dominique, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: X, 167 p. 41 ilustraciones, 33 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-77543-8 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: TeorÃa de las máquinas IngenierÃa Informática Red de computadoras Programación lógica Software de la aplicacion Compiladores (programas informáticos) Lenguajes formales y teorÃa de los autómatas IngenierÃa Informática y Redes Lógica en IA Aplicaciones informáticas y de sistemas de información Compiladores e intérpretes Clasificación: Resumen: Este libro constituye las actas de la 8.ª Conferencia Internacional sobre Métodos Rigurosos Basados ​​en el Estado, ABZ 2021, que estaba prevista para realizarse en Ulm, Alemania, del 6 al 11 de junio de 2021. La conferencia cambió a un formato en lÃnea debido a la pandemia de COVID. -19 pandemia. Los 6 artÃculos completos y 8 artÃculos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 18 presentaciones. Las actas también incluyen contribuciones a 3 simposios de doctorado. Se ocupan de métodos formales basados ​​en estados y en máquinas, principalmente máquinas de estados abstractos (ASM), Alloy, B, TLA+, VDM y Z. Nota de contenido: Regular Research Articles -- Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams -- Towards ASM-based automated formal verification of security protocols -- Verifying System-level Security of a Smart Ballot Box -- Proving the safety of a Sliding Window Protocol with Event B -- Event-B formalization of Event-B contexts -- Validation of Formal Models by Timed Probabilistic Simulation -- Short Articles -- Sterling: A Web-based Visualizer for Relational Modeling Languages -- Extending ASMETA with time features -- About the Concolic Execution and Symbolic ASM Function Promotion in CASM -- Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection -- The CamilleX Framework for the Rodin Platform -- Extensible Record Structures in Event-B -- Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS using Event-B -- Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application -- Short Articlesof the PhD-Symposium (Work in Progress) -- Formal Meta Engineering Event-B: Extension and Reasoning – The EB4EB Framework -- A modeling and verification framework for security protocols -- Formalizing the Institution for Event-B in the Coq Proof Assistant. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings [documento electrónico] / Raschke, Alexander, ; Méry, Dominique, . - 1 ed. . - [s.l.] : Springer, 2021 . - X, 167 p. 41 ilustraciones, 33 ilustraciones en color.
ISBN : 978-3-030-77543-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: TeorÃa de las máquinas IngenierÃa Informática Red de computadoras Programación lógica Software de la aplicacion Compiladores (programas informáticos) Lenguajes formales y teorÃa de los autómatas IngenierÃa Informática y Redes Lógica en IA Aplicaciones informáticas y de sistemas de información Compiladores e intérpretes Clasificación: Resumen: Este libro constituye las actas de la 8.ª Conferencia Internacional sobre Métodos Rigurosos Basados ​​en el Estado, ABZ 2021, que estaba prevista para realizarse en Ulm, Alemania, del 6 al 11 de junio de 2021. La conferencia cambió a un formato en lÃnea debido a la pandemia de COVID. -19 pandemia. Los 6 artÃculos completos y 8 artÃculos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 18 presentaciones. Las actas también incluyen contribuciones a 3 simposios de doctorado. Se ocupan de métodos formales basados ​​en estados y en máquinas, principalmente máquinas de estados abstractos (ASM), Alloy, B, TLA+, VDM y Z. Nota de contenido: Regular Research Articles -- Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams -- Towards ASM-based automated formal verification of security protocols -- Verifying System-level Security of a Smart Ballot Box -- Proving the safety of a Sliding Window Protocol with Event B -- Event-B formalization of Event-B contexts -- Validation of Formal Models by Timed Probabilistic Simulation -- Short Articles -- Sterling: A Web-based Visualizer for Relational Modeling Languages -- Extending ASMETA with time features -- About the Concolic Execution and Symbolic ASM Function Promotion in CASM -- Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection -- The CamilleX Framework for the Rodin Platform -- Extensible Record Structures in Event-B -- Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS using Event-B -- Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application -- Short Articlesof the PhD-Symposium (Work in Progress) -- Formal Meta Engineering Event-B: Extension and Reasoning – The EB4EB Framework -- A modeling and verification framework for security protocols -- Formalizing the Institution for Event-B in the Coq Proof Assistant. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Logic, Computation and Rigorous Methods : Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday Tipo de documento: documento electrónico Autores: Raschke, Alexander, ; Riccobene, Elvinia, ; Schewe, Klaus-Dieter, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XVI, 353 p. 122 ilustraciones, 75 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-76020-5 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: IngenierÃa de software Lenguajes de programación (computadoras electrónicas) Ciencias de la Computación Servicios de información empresarial Lógica matemática Lenguaje de programación TeorÃa de la Computación Sistemas de Información Empresarial Lógica Matemática y Fundamentos Clasificación: Resumen: Este Festschrift se publicó en honor de Egon Börger con motivo de su 75 cumpleaños. Reconoce la inspiración del Prof. Börger como cientÃfico, autor, mentor y organizador comunitario. Dedicado a un pionero en los campos de la lógica y la informática, los intereses de investigación de Egon Börger tienen un alcance inusual, desde lenguajes de programación hasta arquitecturas de hardware, arquitecturas de software, sistemas de control, patrones de flujo de trabajo e interacción, procesos comerciales, aplicaciones web y sistemas concurrentes. Las 18 contribuciones invitadas en este volumen provienen de investigadores lÃderes en las áreas de ingenierÃa de software, lenguajes de programación, sistemas de información empresarial y lógica informática. Nota de contenido: From Logic and Computation Theory to Rigorous Methods for Software Engineering -- Towards Leveraging Domain Knowledge in State-Based Formal Methods -- Some Observations on Mitotic Sets -- Moded and Continuous Abstract State Machines -- A Stepwise Design Optimization Problem -- Semantic Splitting of Conditional Belief Bases -- Communities and Ancestors Associated with Egon Börger and ASM -- Language and communication problems in formalization: a natural language approach -- ASM Specification and Refinement of a Quantum Algorithm -- Spot the Difference: A Detailed Comparison Between B and Event-B -- Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond -- Analysis of Mobile Networks' Protocols Based on Abstract State Machines -- What is the Natural Abstraction Level of an Algorithm -- The ASMETA approach to safety assurance of software systems -- Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System -- Computation on Structures: Behavioural Theory, Logic, Complexity -- The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes -- Models and Modelling in Computer Science -- A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Logic, Computation and Rigorous Methods : Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday [documento electrónico] / Raschke, Alexander, ; Riccobene, Elvinia, ; Schewe, Klaus-Dieter, . - 1 ed. . - [s.l.] : Springer, 2021 . - XVI, 353 p. 122 ilustraciones, 75 ilustraciones en color.
ISBN : 978-3-030-76020-5
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: IngenierÃa de software Lenguajes de programación (computadoras electrónicas) Ciencias de la Computación Servicios de información empresarial Lógica matemática Lenguaje de programación TeorÃa de la Computación Sistemas de Información Empresarial Lógica Matemática y Fundamentos Clasificación: Resumen: Este Festschrift se publicó en honor de Egon Börger con motivo de su 75 cumpleaños. Reconoce la inspiración del Prof. Börger como cientÃfico, autor, mentor y organizador comunitario. Dedicado a un pionero en los campos de la lógica y la informática, los intereses de investigación de Egon Börger tienen un alcance inusual, desde lenguajes de programación hasta arquitecturas de hardware, arquitecturas de software, sistemas de control, patrones de flujo de trabajo e interacción, procesos comerciales, aplicaciones web y sistemas concurrentes. Las 18 contribuciones invitadas en este volumen provienen de investigadores lÃderes en las áreas de ingenierÃa de software, lenguajes de programación, sistemas de información empresarial y lógica informática. Nota de contenido: From Logic and Computation Theory to Rigorous Methods for Software Engineering -- Towards Leveraging Domain Knowledge in State-Based Formal Methods -- Some Observations on Mitotic Sets -- Moded and Continuous Abstract State Machines -- A Stepwise Design Optimization Problem -- Semantic Splitting of Conditional Belief Bases -- Communities and Ancestors Associated with Egon Börger and ASM -- Language and communication problems in formalization: a natural language approach -- ASM Specification and Refinement of a Quantum Algorithm -- Spot the Difference: A Detailed Comparison Between B and Event-B -- Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond -- Analysis of Mobile Networks' Protocols Based on Abstract State Machines -- What is the Natural Abstraction Level of an Algorithm -- The ASMETA approach to safety assurance of software systems -- Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System -- Computation on Structures: Behavioural Theory, Logic, Complexity -- The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes -- Models and Modelling in Computer Science -- A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Modeling Companion for Software Practitioners Tipo de documento: documento electrónico Autores: Börger, Egon, ; Raschke, Alexander, Mención de edición: 1 ed. Editorial: Berlin [Alemania] : Springer Fecha de publicación: 2018 Número de páginas: XXI, 349 p. ISBN/ISSN/DL: 978-3-662-56641-1 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: IngenierÃa de software TeorÃa de las máquinas TecnologÃa de la información Lenguajes formales y teorÃa de los autómatas Gestión de Procesos de Negocio Clasificación: Resumen: Este libro utiliza una variedad de aplicaciones para ilustrar un método de modelado que ayuda a los profesionales a gestionar sistemas complejos con uso intensivo de software. El método propuesto se basa en la combinación de su concepto de abstracción y su carácter operativo, con modelos de comportamiento en la forma precisa y simple de las Máquinas de Estados Abstractos (ASM). El libro presenta tanto el método de modelado (Parte I) como el soporte de herramientas disponible (Parte II): En la Parte I, los autores detallan (utilizando numerosos ejemplos) cómo construir, explicar, depurar, explorar, extender y reutilizar modelos de diseño de sistemas precisos, comenzando desde cero. Solo se supone un conocimiento elemental de la notación matemática común (incluida la de teorÃa de conjuntos) y cierta experiencia básica con procesos computacionales (sistemas, programas, algoritmos). La Parte II luego muestra cómo el método de modelado puede respaldarse mediante la implementación de herramientas que hacen que los modelos de diseño sean ejecutables y depurables. Para ilustrar cómo construir, depurar y mantener sistemas y explicar su construcción de una manera verificable, se adopta un método de refinamiento general orientado a problemas para construir modelos de sistemas a partir de componentes. El método comienza con modelos abstractos y los va perfeccionando paso a paso, añadiendo gradualmente más detalles que finalmente conducen al código. Destinado a profesionales que construyen sistemas intensivos en software y a estudiantes especializados en ingenierÃa de software, se puede utilizar tanto para el autoaprendizaje como para la docencia, y puede servir como libro de referencia. Se incluyen ejercicios para ayudar a los lectores a comprobar su comprensión de los conceptos explicados. Para muchos de los modelos definidos en el libro, se pueden descargar mejoras a versiones ejecutables para su validación experimental desde el sitio web del libro en http://modelingbook.informatik.uni-ulm.de. Nota de contenido: 1 Introduction: The Role of Modeling -- 2 Seven Constructs for Modeling Single-Agent Behavior -- 3 Modeling Concurrent Systems -- 4 Modeling Context Awareness -- 5 Modeling Business Processes -- 6 Modeling Distributed Dystems -- 7 Syntax and Semantics of ASMs -- 8 Debugging System Design (CoreASM) -- 9 Control State Diagrams (Meta Model) -- Epilogue -- A Some Complete Models in a Nutshell -- References -- Index. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Modeling Companion for Software Practitioners [documento electrónico] / Börger, Egon, ; Raschke, Alexander, . - 1 ed. . - Berlin [Alemania] : Springer, 2018 . - XXI, 349 p.
ISBN : 978-3-662-56641-1
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: IngenierÃa de software TeorÃa de las máquinas TecnologÃa de la información Lenguajes formales y teorÃa de los autómatas Gestión de Procesos de Negocio Clasificación: Resumen: Este libro utiliza una variedad de aplicaciones para ilustrar un método de modelado que ayuda a los profesionales a gestionar sistemas complejos con uso intensivo de software. El método propuesto se basa en la combinación de su concepto de abstracción y su carácter operativo, con modelos de comportamiento en la forma precisa y simple de las Máquinas de Estados Abstractos (ASM). El libro presenta tanto el método de modelado (Parte I) como el soporte de herramientas disponible (Parte II): En la Parte I, los autores detallan (utilizando numerosos ejemplos) cómo construir, explicar, depurar, explorar, extender y reutilizar modelos de diseño de sistemas precisos, comenzando desde cero. Solo se supone un conocimiento elemental de la notación matemática común (incluida la de teorÃa de conjuntos) y cierta experiencia básica con procesos computacionales (sistemas, programas, algoritmos). La Parte II luego muestra cómo el método de modelado puede respaldarse mediante la implementación de herramientas que hacen que los modelos de diseño sean ejecutables y depurables. Para ilustrar cómo construir, depurar y mantener sistemas y explicar su construcción de una manera verificable, se adopta un método de refinamiento general orientado a problemas para construir modelos de sistemas a partir de componentes. El método comienza con modelos abstractos y los va perfeccionando paso a paso, añadiendo gradualmente más detalles que finalmente conducen al código. Destinado a profesionales que construyen sistemas intensivos en software y a estudiantes especializados en ingenierÃa de software, se puede utilizar tanto para el autoaprendizaje como para la docencia, y puede servir como libro de referencia. Se incluyen ejercicios para ayudar a los lectores a comprobar su comprensión de los conceptos explicados. Para muchos de los modelos definidos en el libro, se pueden descargar mejoras a versiones ejecutables para su validación experimental desde el sitio web del libro en http://modelingbook.informatik.uni-ulm.de. Nota de contenido: 1 Introduction: The Role of Modeling -- 2 Seven Constructs for Modeling Single-Agent Behavior -- 3 Modeling Concurrent Systems -- 4 Modeling Context Awareness -- 5 Modeling Business Processes -- 6 Modeling Distributed Dystems -- 7 Syntax and Semantics of ASMs -- 8 Debugging System Design (CoreASM) -- 9 Control State Diagrams (Meta Model) -- Epilogue -- A Some Complete Models in a Nutshell -- References -- Index. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
