| Título : |
Modeling Companion for Software Practitioners |
| Tipo de documento: |
documento electrónico |
| Autores: |
Börger, Egon, Autor ; Raschke, Alexander, Autor |
| 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 |
| Índice Dewey: |
005.1 Programación (Computadoras) |
| 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. |
| 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 |
Modeling Companion for Software Practitioners [documento electrónico] / Börger, Egon, Autor ; Raschke, Alexander, Autor . - 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 |
| Índice Dewey: |
005.1 Programación (Computadoras) |
| 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. |
| 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úsqueda
