Especificación formal
Top PDF Especificación formal:
Definición y especificación formal de un modelo basado en servicios para la generación de sistemas de software
... de especificación formal a utilizar para la especificación formal del modelo será RAISE Specification Language (RSL), dado que el mismo es reconocido en la industria del software para ...
5
Especificación formal en RSL de una infraestructura abierta y estándar de servicios web para Sistemas de Información Geográfica
... La problemática de servicios Web de SIG, de SIG en la Web y de infraestructuras de datos espaciales se ha abordado también desde distintos trabajos de investigación [8][9][10][11]. Todos estos trabajos versan sobre la ...
11
Especificación formal y verificación de invariantes para un protocolo de coherencia del caché
... La especificación formal del sistema se hace en el marco de la lógica de ...de especificación y sistema de verificación se utiliza Maude [3], y en particular se utilizan sus comandos search, reduce, ...
56
Introducción a TLA+: especificación formal de marcapasos
... la especificación previo a comenzar la implementación permite no sólo detectar errores de forma temprana, sino que trae por consecuencia el alcanzar un nivel de entendimiento del sistema que a su vez reduce la ...
84
Especificación formal en RSL de una infraestructura abierta y estándar de servicios web para sistemas de información geográfica
... la especificación de servicios OpenLS [15] realizada por el OpenGis Consortium [16] y en el aporte personal de los autores del proyecto que brinda la experiencia en la utilización de sistemas de información ...
5
Representación Visual de la Ejecución de una Arquitectura de Software Basada en Componentes con Especificación Formal en Cálculo Rho Arq
... de especificación y aplicar automáticamente las reglas de reducción para transformar la especificación del sistema en una nueva expresión que describe un nuevo estado de su flujo de ejecución, y así ...
141
ESPECIFICACIÓN FORMAL DE CUBOS DE DATOS APLICADOS A LA ADMINISTRACIÓN DE LAS ACTIVIDADES DOCENTES
... la especificación formal, un esquema computacional (cubo de datos), capaz de almacenar información relevante de los índices de reprobación de años anteriores y una vez implementado que permita obtener ...
34
Hacia un enfoque semántico para la catalogación de métricas
... la especificación formal del tipo de entidad, de la definición del atributo, del objetivo y motivación, fórmula, criterios, procedimientos de recolección, unidad, tipo de escala, entre otros ...
12
Una integración de modelos estáticos UML y Eiffel
... Estos problemas han sido ampliamente reconocidos y han motivado el análisis de distintos enfoques para dar semántica a las notaciones UML. Una alternativa es darles precisión a partir de especificaciones formales y ...
12
Especificación de requisitos del software
... Una especificación de requisitos del software es una descripción completa del comportamiento del sistema a desarrollar. Incluye un conjunto de casos de uso que describen todas las interacciones que se prevén que ...
6
Especificación de un sistema CGF
... And Planning Research In Complex Operational Realistic Network). El obje- tivo principal de este proyecto es establecer de que manera es posible emplear CGFs, especialmente diseñadas y realizadas, en tareas de ...
239
13156 pdf
... La especificación del protocolo IDB-1394 describe la capa física, la capa de enlace de datos, la capa de transporte y la capa de aplicación conforme al modelo de referencia ...
178
Selección de un método formal de especificación como herramienta de diseño de un sistema distribuido basado en objetos.
... Comentarios: CCS proporciona una teoría que explica todos los aspectos de los sistemas distribuidos, basada en álgebra y en lógica, y proporciona un lenguaje de especificación con gran capacidad expresiva, y de ...
19
Transformaciones y desarrollos dirigidos por modelos
... una especificación formal inicial de la funcionalidad de un sistema a partir de sus casos de uso, en esta línea apuntamos a definir una transformación horizontal que haga uso de SBVR como lenguaje natural ...
5
Una guía general para la especificación y verificación formal de requerimientos usando Event-B™ y Rodin™
... la especificación, verificación y diseño de componentes se realiza utilizando bases sólidas como notaciones, lenguajes, herramientas y técnicas basadas en teorías de alto fundamento ...método formal para el ...
10
Apoyo ingenieril al desarrollo de componentes del software de CODALTEC en la 5 fase del Sistema de Información Integral de Sanidad Militar
... El ERS el cual es un documento que sirve como medio de comunicación entre el cliente y los desarrolladores. Se detallan los objetivos, perspectivas, funciones, actores, requisitos funcionales, restricciones, supuestos, ...
63