| TÃtulo : |
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers |
| Tipo de documento: |
documento electrónico |
| Autores: |
Przigoda, Nils, ; Wille, Robert, ; Przigoda, Judith, ; Drechsler, Rolf, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2018 |
| Número de páginas: |
XII, 255 p. 16 ilustraciones, 5 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-319-72814-8 |
| 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: |
Circuitos electrónicos Microprocesadores Arquitectura de Computadores Electrónica Circuitos y sistemas electrónicos Arquitecturas de procesador Electrónica y Microelectrónica Instrumentación |
| Clasificación: |
621.3815 |
| Resumen: |
Este libro proporciona una discusión exhaustiva sobre los métodos UML/OCL y el flujo de diseño para la validación y verificación automática de sistemas de hardware y software. Si bien el flujo presentado se centra en el uso de solucionadores de satisfacibilidad, los autores también describen cómo se pueden utilizar estos métodos para cualquier otro motor de razonamiento automático. Además, el flujo de diseño descrito se aplica a una amplia variedad de tareas de validación y verificación. Los autores también cubren brevemente cómo las propiedades no funcionales, como las restricciones de tiempo, se pueden manejar con el flujo descrito. Proporciona un flujo general y una descripción para la validación y verificación de modelos UML/OCL; Demuestra una realización detallada del flujo general utilizando solucionadores de satisfacibilidad; Incluye un estudio de caso que presenta las posibilidades de los enfoques más recientes. |
| Tipo de medio : |
Computadora |
| Summary : |
This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a broad variety of validation and verification tasks. The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow. Provides a general flow and description for the validation and verification of UML/OCL models; Demonstrates a detailed realization of the general flow using satisfiability solvers; Includes a case study that presents the possibilities of the state-of-the-art approaches. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers [documento electrónico] / Przigoda, Nils, ; Wille, Robert, ; Przigoda, Judith, ; Drechsler, Rolf, . - 1 ed. . - [s.l.] : Springer, 2018 . - XII, 255 p. 16 ilustraciones, 5 ilustraciones en color. ISBN : 978-3-319-72814-8 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: |
Circuitos electrónicos Microprocesadores Arquitectura de Computadores Electrónica Circuitos y sistemas electrónicos Arquitecturas de procesador Electrónica y Microelectrónica Instrumentación |
| Clasificación: |
621.3815 |
| Resumen: |
Este libro proporciona una discusión exhaustiva sobre los métodos UML/OCL y el flujo de diseño para la validación y verificación automática de sistemas de hardware y software. Si bien el flujo presentado se centra en el uso de solucionadores de satisfacibilidad, los autores también describen cómo se pueden utilizar estos métodos para cualquier otro motor de razonamiento automático. Además, el flujo de diseño descrito se aplica a una amplia variedad de tareas de validación y verificación. Los autores también cubren brevemente cómo las propiedades no funcionales, como las restricciones de tiempo, se pueden manejar con el flujo descrito. Proporciona un flujo general y una descripción para la validación y verificación de modelos UML/OCL; Demuestra una realización detallada del flujo general utilizando solucionadores de satisfacibilidad; Incluye un estudio de caso que presenta las posibilidades de los enfoques más recientes. |
| Tipo de medio : |
Computadora |
| Summary : |
This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a broad variety of validation and verification tasks. The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow. Provides a general flow and description for the validation and verification of UML/OCL models; Demonstrates a detailed realization of the general flow using satisfiability solvers; Includes a case study that presents the possibilities of the state-of-the-art approaches. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |
Crear una solicitud de compra Refinar búsqueda
