Información del autor
Autor Przigoda, Nils |
Documentos disponibles escritos por este autor (1)



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. 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: 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. 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.
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: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]