Título :	Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Tipo de documento:	documento electrónico
Autores:	Przigoda, Nils, Autor ; Wille, Robert, Autor ; Przigoda, Judith, Autor ; Drechsler, Rolf, Autor
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
Índice Dewey:	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.
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

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers [documento electrónico] / Przigoda, Nils, Autor ; Wille, Robert, Autor ; Przigoda, Judith, Autor ; Drechsler, Rolf, Autor  . -  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
Índice Dewey:	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.
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