Este documento describe dos lenguajes de especificación de requisitos: SCR y RSML. SCR se basa en una notación tabular y modelos de máquinas de estados finitos. RSML también utiliza máquinas de estados finitos e incluye características como súper estados, descomposición AND, y tablas AND/OR para definir transiciones. Ambos lenguajes permiten especificar formalmente los requisitos de un sistema de software o hardware.
Este documento presenta los principales estándares para el modelado de procesos de negocios, incluyendo BPEL, UML, EPC y BPMN. También incluye un caso de éxito de la aplicación de BPMN en RSA Seguros Generales de Chile para automatizar procesos como la cotización de pólizas de seguros.
El documento proporciona una introducción a JFLAP, una herramienta para crear y simular autómatas y gramáticas. Explica la historia de JFLAP, los diferentes tipos de autómatas que puede simular (autómatas finitos, máquinas de Mealy, máquinas de Moore, máquinas de Turing) y sus modos de simulación. También cubre conceptos como gramáticas y expresiones regulares que JFLAP permite trabajar.
Este material didáctico fue desarrollado para la asignatura de Tópicos Avanzados de Programación, del plan SCD-1027 2016 de Ing. En Sistemas Computacionales
El documento describe los problemas de concurrencia que surgen cuando múltiples transacciones acceden a una base de datos de forma concurrente, y los mecanismos utilizados para controlar la concurrencia, como bloqueos y estampas de tiempo. Explica que el objetivo del control de concurrencia es garantizar que las transacciones concurrentes produzcan resultados equivalentes a una ejecución secuencial, para evitar problemas como actualizaciones perdidas o análisis inconsistentes.
Este documento proporciona una introducción a los casos de uso, incluidas sus definiciones, notación, modelos, herramientas y ejemplos. Los casos de uso describen la funcionalidad de un sistema desde la perspectiva del usuario y se centran en los requisitos funcionales clave. Se representan gráficamente usando actores, diagramas de casos de uso y plantillas de descripción. Las relaciones comunes entre casos de uso incluyen inclusión, extensión e inherencia.
Metodologías Para AnáLisis Y DiseñO Orientado A Objetoshector_h30
Este documento compara tres metodologías de análisis y diseño orientado a objetos: la metodología de Booch, la metodología OMT de Rumbaugh y la arquitectura MDA. La metodología de Booch se basa en dividir el proceso en micro y macroprocesos. OMT tiene cuatro etapas y tres modelos. MDA separa la lógica de negocio de la aplicación y permite el desarrollo multiplataforma.
Un diagrama de colaboración muestra la interacción entre objetos a través del paso de mensajes. Representa los objetos, enlaces entre ellos y los mensajes intercambiados. Se usa para diseñar la implementación de relaciones entre clases y el comportamiento de operaciones a través de la secuencia de mensajes.
Esta es una presentacion de la arquitectura 3 capas realizada con informacion recopilada de varios sitios web y de un trabajo elaborado por nosotras en la Universidad
Este documento presenta los principales estándares para el modelado de procesos de negocios, incluyendo BPEL, UML, EPC y BPMN. También incluye un caso de éxito de la aplicación de BPMN en RSA Seguros Generales de Chile para automatizar procesos como la cotización de pólizas de seguros.
El documento proporciona una introducción a JFLAP, una herramienta para crear y simular autómatas y gramáticas. Explica la historia de JFLAP, los diferentes tipos de autómatas que puede simular (autómatas finitos, máquinas de Mealy, máquinas de Moore, máquinas de Turing) y sus modos de simulación. También cubre conceptos como gramáticas y expresiones regulares que JFLAP permite trabajar.
Este material didáctico fue desarrollado para la asignatura de Tópicos Avanzados de Programación, del plan SCD-1027 2016 de Ing. En Sistemas Computacionales
El documento describe los problemas de concurrencia que surgen cuando múltiples transacciones acceden a una base de datos de forma concurrente, y los mecanismos utilizados para controlar la concurrencia, como bloqueos y estampas de tiempo. Explica que el objetivo del control de concurrencia es garantizar que las transacciones concurrentes produzcan resultados equivalentes a una ejecución secuencial, para evitar problemas como actualizaciones perdidas o análisis inconsistentes.
Este documento proporciona una introducción a los casos de uso, incluidas sus definiciones, notación, modelos, herramientas y ejemplos. Los casos de uso describen la funcionalidad de un sistema desde la perspectiva del usuario y se centran en los requisitos funcionales clave. Se representan gráficamente usando actores, diagramas de casos de uso y plantillas de descripción. Las relaciones comunes entre casos de uso incluyen inclusión, extensión e inherencia.
Metodologías Para AnáLisis Y DiseñO Orientado A Objetoshector_h30
Este documento compara tres metodologías de análisis y diseño orientado a objetos: la metodología de Booch, la metodología OMT de Rumbaugh y la arquitectura MDA. La metodología de Booch se basa en dividir el proceso en micro y macroprocesos. OMT tiene cuatro etapas y tres modelos. MDA separa la lógica de negocio de la aplicación y permite el desarrollo multiplataforma.
Un diagrama de colaboración muestra la interacción entre objetos a través del paso de mensajes. Representa los objetos, enlaces entre ellos y los mensajes intercambiados. Se usa para diseñar la implementación de relaciones entre clases y el comportamiento de operaciones a través de la secuencia de mensajes.
Esta es una presentacion de la arquitectura 3 capas realizada con informacion recopilada de varios sitios web y de un trabajo elaborado por nosotras en la Universidad
Este documento describe los conceptos clave del diseño arquitectónico de sistemas de información. Explica diferentes estilos arquitectónicos como la arquitectura centrada en datos, en capas y distribuida. También cubre temas como la descomposición modular, estilos de control y documentación de la arquitectura.
Este documento describe conceptos básicos sobre transacciones en bases de datos, incluyendo las propiedades ACID, los estados de una transacción, los niveles de aislamiento y los comandos commit y rollback. Explica que una transacción es un conjunto de operaciones atómicas que mantienen la consistencia de los datos y que deben cumplir las propiedades de atomicidad, consistencia, aislamiento y permanencia.
El documento habla sobre la importancia de modelar el negocio antes de desarrollar un sistema de software. Explica que modelar el negocio ayuda a comprender los procesos, flujos de trabajo y objetivos de la organización. También describe los conceptos clave para modelar el negocio como casos de uso de negocio, roles, diagramas de secuencia y actividades. El modelo de negocio provee el contexto necesario para analizar requisitos y desarrollar un software que satisfaga realmente las necesidades del negocio.
El documento describe el proceso de estimación de puntos de función (PF), una métrica para medir el tamaño de un sistema de software. Explica cómo identificar los componentes de un sistema, asignar pesos basados en complejidad, calcular los PF sin ajustar y ajustados, y estimar el esfuerzo, duración y presupuesto de un proyecto basado en los PF.
Un sistema distribuido de base de datos permite que la información se almacene físicamente en diferentes sistemas de manera autónoma. Los objetivos de un sistema distribuido incluyen proporcionar transparencia a la localización, fragmentación y replicación de datos para que el sistema parezca centralizado al usuario. Ventajas son autonomía local, capacidad de crecimiento incremental y fiabilidad; desafíos son optimización de consultas, propagación de actualizaciones y manejo del catálogo.
UML permite modelar sistemas de software a través de diferentes diagramas como diagramas de clases, estados, secuencias, colaboraciones y actividades. Cada diagrama se enfoca en un aspecto diferente como la estructura de clases, flujos de estados, interacciones entre objetos y secuencias de mensajes. Los diagramas UML son una herramienta útil para el análisis, diseño y documentación de sistemas de software.
Este material didáctico fue desarrollado para la asignatura de Tópicos Avanzados de Programación, del plan SCD-1027 2016 de Ing. En Sistemas Computacionales
Las expresiones regulares son patrones que describen conjuntos de cadenas y se utilizan para buscar y manipular texto. Pueden representar lenguajes definidos sobre un alfabeto mediante lenguajes primitivos y operadores de composición. Un ejemplo es la expresión *.doc que representa todos los archivos con extensión doc. Las expresiones regulares siguen normas de construcción para cualquier patrón de caracteres y solo contienen letras, números y caracteres especiales como *, +, ?, etc.
El documento habla sobre la programación híbrida, que implica el uso combinado de diferentes modelos de inteligencia artificial y técnicas de subcampos de IA. Explica que los sistemas inteligentes naturales son híbridos al operar a niveles simbólicos y subsimbólicos. También menciona algunos autores que promueven la integración de sistemas de IA para crear sistemas más complejos.
En este material podrás encontrar información acerca de los tipos, caracteristicas, ejemplos de arquitecturas de computadoras. Nota: Esta es la actualización de mi material # 3
El documento describe varias herramientas CASE como ERwin, EasyCASE, Oracle Designer, PowerDesigner y SNAP. ERwin es una herramienta de diseño de bases de datos que permite la generación y mantenimiento de aplicaciones a partir de un modelo lógico. EasyCASE automatiza las fases de análisis y diseño para crear aplicaciones de forma eficiente. Oracle Designer es una herramienta para analizar requisitos, diseñar y generar sistemas cliente/servidor. PowerDesigner es una herramienta para el análisis, diseño y construcción de bases de
Este documento presenta un resumen del modelo 4+1 para diagramas arquitectónicos. El modelo 4+1 incluye cinco vistas: la vista lógica, la vista de despliegue, la vista de procesos, la vista física y la vista +1 de escenarios. Cada vista se documenta con diagramas UML específicos como diagramas de clases, componentes y casos de uso. El modelo 4+1 es un estándar reconocido para la descripción de arquitecturas de sistemas de software.
Componentes y Librerías - Tópicos avanzados de programación.Giancarlo Aguilar
Este documento describe el uso de componentes y librerías en Java. Explica que las clases en Java pueden agruparse en paquetes lógicos llamados librerías. Detalla algunos paquetes comunes como java.lang y java.io y cómo crear y empaquetar componentes en archivos JAR para facilitar su reutilización.
El documento describe diferentes estilos arquitectónicos para el diseño de software. Explica que los estilos arquitectónicos definen categorías de sistemas que incluyen componentes, conectores, restricciones y modelos semánticos. También cubre estilos como la arquitectura centrada en datos, la arquitectura de flujo de datos, y las arquitecturas de llamada y retorno.
Diagrama de interaccion(secuencia y colaboracion)marianela0393
Los diagramas de colaboración son otro tipo de diagramas de interacción que contienen la misma información que los diagramas de secuencia, centrándose en las responsabilidades de cada objeto en lugar del tiempo en que se envían los mensajes. Un diagrama de colaboración describe el comportamiento de sistemas, subsistemas y operaciones mediante un grafo que representa los objetos involucrados y los mensajes que intercambian enumerados en el tiempo.
En esta presentación se presentan los siguientes temas:
Información, estado y formación de un proceso.
Concepto de hilo y su constitución.
Planificación de servicios POXIS.
Problemas clásicos en la comunicación de procesos.
La segmentación de instrucciones es una técnica que permite a la CPU ejecutar más de una instrucción simultáneamente descomponiendo el proceso de ejecución en etapas paralelas. Se basa en explotar el paralelismo entre instrucciones de un flujo secuencial. Aunque supone que todas las etapas pueden realizarse en paralelo y que las instrucciones pasan por todas ellas, en realidad no todas las instrucciones requieren todas las etapas ni estas pueden llevarse a cabo simultáneamente, lo que puede
El documento describe el lenguaje UML y los diagramas de clases. Explica que UML se usa para modelar sistemas de software y que los diagramas de clases representan las clases, atributos, operaciones y relaciones. También cubre los diferentes tipos de relaciones entre clases como asociación, agregación, composición y herencia.
Este documento explica los conceptos básicos del Lenguaje Unificado de Modelado (UML), incluyendo los diferentes tipos de diagramas como diagramas de clases, estados, componentes y despliegue. Describe elementos como clases, relaciones, cardinalidad y cómo representarlos visualmente.
Ingeniería de requisitos y la ingeniería de requerimientos unrated999
La ingeniería de requisitos es una disciplina importante en el desarrollo de software que ayuda a identificar las necesidades exactas de los usuarios y stakeholders de un sistema. Existen varias técnicas para la recolección y análisis de requisitos como entrevistas, cuestionarios y prototipos. Un proceso de ingeniería de requisitos efectivo incluye las fases de extracción, análisis, especificación y validación de requisitos para producir una lista clara y completa de requisitos funcionales y no funcionales que servirán como base para
Este documento describe diferentes lenguajes de transformación de modelos como EMF + Java, ATL, QVT Relacional, QVT Operacional, Tefkat, Epsilon y Viatra. Explica sus características, ventajas e inconvenientes. También incluye ejemplos de código de algunos de estos lenguajes como ATL, QVT Relacional y Tefkat.
Este documento describe los métodos formales de desarrollo de software. Explica que los métodos formales utilizan notación matemática y pruebas para desarrollar programas de manera rigurosa. También discute la historia, usos, ventajas y desventajas de los métodos formales.
Este documento describe los conceptos clave del diseño arquitectónico de sistemas de información. Explica diferentes estilos arquitectónicos como la arquitectura centrada en datos, en capas y distribuida. También cubre temas como la descomposición modular, estilos de control y documentación de la arquitectura.
Este documento describe conceptos básicos sobre transacciones en bases de datos, incluyendo las propiedades ACID, los estados de una transacción, los niveles de aislamiento y los comandos commit y rollback. Explica que una transacción es un conjunto de operaciones atómicas que mantienen la consistencia de los datos y que deben cumplir las propiedades de atomicidad, consistencia, aislamiento y permanencia.
El documento habla sobre la importancia de modelar el negocio antes de desarrollar un sistema de software. Explica que modelar el negocio ayuda a comprender los procesos, flujos de trabajo y objetivos de la organización. También describe los conceptos clave para modelar el negocio como casos de uso de negocio, roles, diagramas de secuencia y actividades. El modelo de negocio provee el contexto necesario para analizar requisitos y desarrollar un software que satisfaga realmente las necesidades del negocio.
El documento describe el proceso de estimación de puntos de función (PF), una métrica para medir el tamaño de un sistema de software. Explica cómo identificar los componentes de un sistema, asignar pesos basados en complejidad, calcular los PF sin ajustar y ajustados, y estimar el esfuerzo, duración y presupuesto de un proyecto basado en los PF.
Un sistema distribuido de base de datos permite que la información se almacene físicamente en diferentes sistemas de manera autónoma. Los objetivos de un sistema distribuido incluyen proporcionar transparencia a la localización, fragmentación y replicación de datos para que el sistema parezca centralizado al usuario. Ventajas son autonomía local, capacidad de crecimiento incremental y fiabilidad; desafíos son optimización de consultas, propagación de actualizaciones y manejo del catálogo.
UML permite modelar sistemas de software a través de diferentes diagramas como diagramas de clases, estados, secuencias, colaboraciones y actividades. Cada diagrama se enfoca en un aspecto diferente como la estructura de clases, flujos de estados, interacciones entre objetos y secuencias de mensajes. Los diagramas UML son una herramienta útil para el análisis, diseño y documentación de sistemas de software.
Este material didáctico fue desarrollado para la asignatura de Tópicos Avanzados de Programación, del plan SCD-1027 2016 de Ing. En Sistemas Computacionales
Las expresiones regulares son patrones que describen conjuntos de cadenas y se utilizan para buscar y manipular texto. Pueden representar lenguajes definidos sobre un alfabeto mediante lenguajes primitivos y operadores de composición. Un ejemplo es la expresión *.doc que representa todos los archivos con extensión doc. Las expresiones regulares siguen normas de construcción para cualquier patrón de caracteres y solo contienen letras, números y caracteres especiales como *, +, ?, etc.
El documento habla sobre la programación híbrida, que implica el uso combinado de diferentes modelos de inteligencia artificial y técnicas de subcampos de IA. Explica que los sistemas inteligentes naturales son híbridos al operar a niveles simbólicos y subsimbólicos. También menciona algunos autores que promueven la integración de sistemas de IA para crear sistemas más complejos.
En este material podrás encontrar información acerca de los tipos, caracteristicas, ejemplos de arquitecturas de computadoras. Nota: Esta es la actualización de mi material # 3
El documento describe varias herramientas CASE como ERwin, EasyCASE, Oracle Designer, PowerDesigner y SNAP. ERwin es una herramienta de diseño de bases de datos que permite la generación y mantenimiento de aplicaciones a partir de un modelo lógico. EasyCASE automatiza las fases de análisis y diseño para crear aplicaciones de forma eficiente. Oracle Designer es una herramienta para analizar requisitos, diseñar y generar sistemas cliente/servidor. PowerDesigner es una herramienta para el análisis, diseño y construcción de bases de
Este documento presenta un resumen del modelo 4+1 para diagramas arquitectónicos. El modelo 4+1 incluye cinco vistas: la vista lógica, la vista de despliegue, la vista de procesos, la vista física y la vista +1 de escenarios. Cada vista se documenta con diagramas UML específicos como diagramas de clases, componentes y casos de uso. El modelo 4+1 es un estándar reconocido para la descripción de arquitecturas de sistemas de software.
Componentes y Librerías - Tópicos avanzados de programación.Giancarlo Aguilar
Este documento describe el uso de componentes y librerías en Java. Explica que las clases en Java pueden agruparse en paquetes lógicos llamados librerías. Detalla algunos paquetes comunes como java.lang y java.io y cómo crear y empaquetar componentes en archivos JAR para facilitar su reutilización.
El documento describe diferentes estilos arquitectónicos para el diseño de software. Explica que los estilos arquitectónicos definen categorías de sistemas que incluyen componentes, conectores, restricciones y modelos semánticos. También cubre estilos como la arquitectura centrada en datos, la arquitectura de flujo de datos, y las arquitecturas de llamada y retorno.
Diagrama de interaccion(secuencia y colaboracion)marianela0393
Los diagramas de colaboración son otro tipo de diagramas de interacción que contienen la misma información que los diagramas de secuencia, centrándose en las responsabilidades de cada objeto en lugar del tiempo en que se envían los mensajes. Un diagrama de colaboración describe el comportamiento de sistemas, subsistemas y operaciones mediante un grafo que representa los objetos involucrados y los mensajes que intercambian enumerados en el tiempo.
En esta presentación se presentan los siguientes temas:
Información, estado y formación de un proceso.
Concepto de hilo y su constitución.
Planificación de servicios POXIS.
Problemas clásicos en la comunicación de procesos.
La segmentación de instrucciones es una técnica que permite a la CPU ejecutar más de una instrucción simultáneamente descomponiendo el proceso de ejecución en etapas paralelas. Se basa en explotar el paralelismo entre instrucciones de un flujo secuencial. Aunque supone que todas las etapas pueden realizarse en paralelo y que las instrucciones pasan por todas ellas, en realidad no todas las instrucciones requieren todas las etapas ni estas pueden llevarse a cabo simultáneamente, lo que puede
El documento describe el lenguaje UML y los diagramas de clases. Explica que UML se usa para modelar sistemas de software y que los diagramas de clases representan las clases, atributos, operaciones y relaciones. También cubre los diferentes tipos de relaciones entre clases como asociación, agregación, composición y herencia.
Este documento explica los conceptos básicos del Lenguaje Unificado de Modelado (UML), incluyendo los diferentes tipos de diagramas como diagramas de clases, estados, componentes y despliegue. Describe elementos como clases, relaciones, cardinalidad y cómo representarlos visualmente.
Ingeniería de requisitos y la ingeniería de requerimientos unrated999
La ingeniería de requisitos es una disciplina importante en el desarrollo de software que ayuda a identificar las necesidades exactas de los usuarios y stakeholders de un sistema. Existen varias técnicas para la recolección y análisis de requisitos como entrevistas, cuestionarios y prototipos. Un proceso de ingeniería de requisitos efectivo incluye las fases de extracción, análisis, especificación y validación de requisitos para producir una lista clara y completa de requisitos funcionales y no funcionales que servirán como base para
Este documento describe diferentes lenguajes de transformación de modelos como EMF + Java, ATL, QVT Relacional, QVT Operacional, Tefkat, Epsilon y Viatra. Explica sus características, ventajas e inconvenientes. También incluye ejemplos de código de algunos de estos lenguajes como ATL, QVT Relacional y Tefkat.
Este documento describe los métodos formales de desarrollo de software. Explica que los métodos formales utilizan notación matemática y pruebas para desarrollar programas de manera rigurosa. También discute la historia, usos, ventajas y desventajas de los métodos formales.
Los métodos formales son un enfoque para la construcción y análisis de modelos matemáticos que permiten la automatización del desarrollo de sistemas informáticos mediante el uso de técnicas matemáticas. Se clasifican en especificaciones basadas en lógica de primer orden, especificaciones algebraicas, y especificaciones de comportamiento como métodos basados en álgebra de procesos, redes de Petri y lógica temporal. Proporcionan ventajas como una mejor comprensión y especificación precisa del sistema, así como una
El documento describe cómo las instituciones educativas deben actuar con estudiantes que tienen Trastorno por Déficit de Atención e Hiperactividad (TDAH). Explica que los maestros deben informar a los padres y al departamento de apoyo psicopedagógico si sospechan que un estudiante tiene TDAH. Luego, se debe realizar una evaluación individual del estudiante con pruebas estandarizadas. Finalmente, la escuela debe comunicarse regularmente con los padres sobre el progreso del estudiante y proporcionar apoyo
El OCL es un lenguaje formal basado en lógica y teoría de conjuntos para especificar restricciones en modelos UML. Permite definir invariantes, pre y poscondiciones para operaciones y otras expresiones booleanas que deben cumplirse. Se utiliza principalmente para definir reglas y condiciones que deben satisfacer los objetos de un modelo.
Los métodos formales son técnicas basadas en matemáticas para desarrollar sistemas de computación. Proporcionan una alta verificación cuando se usan para desarrollar software y una transición suave entre las actividades de ingeniería de software. Sin embargo, su aplicación puede aumentar los costos de desarrollo y requiere conocimientos matemáticos como conjuntos, lógica y especificación constructiva.
El documento describe las metodologías formales, que son técnicas matemáticas para el desarrollo de sistemas informáticos. Estas facilitan el análisis y construcción de sistemas complejos mediante lenguajes definidos matemáticamente. Aunque permiten especificaciones más claras y la verificación formal de sistemas, su uso implica mayores costes y tiempos de desarrollo.
Lenguajes informáticos sistema operativodianegasso
Este documento describe varios tipos de lenguajes informáticos, incluyendo lenguajes de programación, especificación, consulta, marcas y transformación. También explica los sistemas operativos, que son programas que gestionan los procesos básicos del sistema y la interacción con el hardware. Algunos sistemas operativos populares son Windows, Mac OS y varias distribuciones de Linux.
Los métodos formales son técnicas matemáticas para el desarrollo de software que permiten especificar, verificar y validar sistemas de manera precisa. Ofrecen ventajas como una mejor comprensión y especificación del sistema, así como una verificación matemática de su corrección. Aunque requieren herramientas complejas y especialistas, han tenido éxito en proyectos industriales grandes al reducir errores y costos.
Este documento presenta una breve introducción al lenguaje de programación SQL. Explica que SQL es un lenguaje declarativo para acceder a bases de datos relacionales y permite realizar operaciones como seleccionar, insertar, eliminar y actualizar datos. También describe algunas ventajas de SQL como su estándar, facilidad de uso e independencia de mayúsculas y minúsculas, aunque señala algunas limitaciones.
SQL es un lenguaje declarativo para acceder y manipular datos en bases de datos relacionales. Permite realizar consultas, inserciones, actualizaciones y eliminaciones de datos, así como definir y modificar la estructura y objetos de la base de datos a través de sentencias DDL, DML y DCL.
Este documento presenta los resultados de los talleres individuales y colaborativos realizados por Erika Inés Chávez para el curso de Introducción a la Ingeniería de Sistemas de la UNAD. Incluye mapas conceptuales, cuadros y algoritmos sobre conceptos clave como ciencia, ingeniería, sistemas, informática y computación. También describe el ciclo de vida de un sistema de información y conceptos relacionados con inteligencia artificial y redes.
El documento describe los principales componentes del lenguaje de consultas SQL, incluyendo comandos como DDL para crear y modificar bases de datos, DML para consultas y manipulación de datos, y DCL para protección de datos. También describe cláusulas como FROM, WHERE y GROUP BY, operadores lógicos y de comparación, y funciones de agregados que devuelven un valor único aplicado a un grupo de registros.
El documento trata sobre algoritmia. Explica que un algoritmo es un conjunto de reglas ordenadas para realizar un cálculo de forma manual o automática. Luego describe que las expresiones lógicas permiten crear estructuras de control mediante el uso de operadores relacionales y lógicos, y finalmente menciona algunos tipos básicos de variables y su declaración.
Conjunto, Relaciones, Funciones y Notacion Zjunito86
Este documento describe conceptos básicos de la notación Z, incluyendo conjuntos, relaciones, funciones y operaciones de conjuntos. La notación Z es un lenguaje formal basado en la teoría de conjuntos y lógica matemática que se utiliza para modelar sistemas y especificar programas de computadora. Proporciona una estructura llamada esquema para describir estados y operaciones mediante declaraciones de variables y predicados.
Tema 1 introduccion a la programacion en visual basicaristeo23
Este documento presenta una introducción a la programación en Visual Basic. Explica que Visual Basic es un lenguaje de programación visual orientado a sistemas operativos Windows que permite crear programas informáticos sin escribir mucho código. Luego describe elementos básicos del lenguaje como comentarios, constantes, variables, y estructuras de datos, así como ejemplos de cómo declarar variables y constantes.
El documento describe las reglas sintácticas de varios lenguajes de programación como C, Java, Visual Basic y SQL. Explica que la sintaxis define las estructuras y formatos permitidos en un lenguaje para que el programa sea reconocido como válido.
El documento describe las funciones de entrada y salida y las estructuras de control en programación. Explica que las sentencias de entrada y salida permiten que los programas reciban datos del usuario y muestren resultados, mientras que las estructuras de control como if/else, while y for organizan la secuencia de instrucciones. También define términos como bucles y condicionales y da ejemplos de cómo representar sentencias de entrada, salida y estructuras de control en pseudocódigo y diagramas de flujo.
Este documento describe las funciones de entrada y salida y las estructuras de control en programación. Explica que las sentencias de entrada y salida permiten que la información fluya en y fuera de un programa y que las estructuras de control como if/else, while, for, switch ayudan a organizar la secuencia de instrucciones. También define conceptos como bucles, condicionales y repetitivas y cómo estas estructuras hacen que los programas sean más eficientes y fáciles de entender.
Este documento describe los lenguajes de programación para controladores lógicos programables (PLCs) definidos en la norma IEC 61131-3, incluyendo el lenguaje lista de instrucciones. Explica las operaciones lógicas básicas en este lenguaje como AND, OR, NOT y EXOR y su representación mediante tablas de verdad. Finalmente, discute la aplicación de los PLCs y la importancia de programarlos específicamente para cada proceso industrial.
Este documento describe los componentes fundamentales de un compilador, incluyendo las fases de análisis y síntesis. Explica el analizador léxico, autómatas finitos y de pila, diagramas de estados y máquinas de pila. El objetivo general es desarrollar un compilador de código fuente en pseudocódigo para la construcción de algoritmos.
Este documento describe los diagramas de estados y diagramas de despliegue en UML. Los diagramas de estados muestran la secuencia de estados por los que pasa un caso de uso u objeto, indicando los eventos que causan las transiciones entre estados. Los diagramas de despliegue muestran las relaciones entre componentes de hardware y software en un sistema, representando nodos y conexiones entre ellos.
Este documento presenta la Unidad 4 sobre estructuras de control en lenguaje C. Introduce las estructuras selectivas (if, if-else, switch) y repetitivas (while, for, do-while), explicando su semántica y sintaxis. Incluye ejemplos de problemas resueltos con cada estructura y su codificación correspondiente. El objetivo es que los estudiantes aprendan a diseñar algoritmos que incluyan cualquier tipo de estructura de control y puedan codificarlos en C.
La programación informática o programación algorítmica, acortadaAeChm-MgMs-NnNm-OpSe
El documento presenta información sobre programación informática. En menos de 3 oraciones, resume lo siguiente: La programación involucra diseñar, codificar y mantener código para crear programas que exhiban comportamientos deseados. Esto requiere conocimientos de lenguajes de programación, algoritmos y lógica formal. El documento también presenta ejemplos de lenguajes de programación como C# y Python, así como conceptos como variables, funciones matemáticas y estructuras de control.
Este documento describe los conceptos básicos de programación con PL/SQL, incluyendo bloques PL/SQL, tipos de datos estructurados, funciones y procedimientos, paquetes y disparadores de base de datos. Los bloques PL/SQL constan de tres secciones: declarativa, de ejecución y de excepciones. En la sección declarativa se definen variables, constantes y cursores. La sección de ejecución contiene las instrucciones del programa. La sección de excepciones gestiona los errores.
Este documento presenta información sobre el lenguaje de programación de texto estructurado utilizado para programar PLC. Explica que el lenguaje de texto estructurado permite dividir programas en unidades más pequeñas de forma similar a lenguajes como BASIC y Pascal. Incluye estructuras como IF, FOR y WHILE y soporta operaciones booleanas y datos como fecha y hora. También describe ventajas como facilidad de entendimiento y mantenimiento de programas, e inconvenientes como la dificultad de manejar programas muy grandes.
El documento describe los conceptos fundamentales de algoritmos, diagramas de flujo y lenguajes de programación. Específicamente, define un algoritmo como un conjunto de instrucciones bien definidas, describe cómo los diagramas de flujo representan gráficamente los pasos de un algoritmo y explica que un lenguaje de programación es un lenguaje formal utilizado para crear programas que controlen el comportamiento de una máquina.
un lenguaje de programacion perfecto para hacer nuestras primeras practicas en el mundo de la ingenieria en sistema de informacion. Os dejo este documento para su beneficio
Este documento describe el lenguaje de programación de diagramas de bloques funcionales (FBD) para controladores lógicos programables (PLC). Explica que el FBD permite construir procedimientos complejos mediante la unión de bloques funcionales prediseñados y que se usa comúnmente para programar PLC debido a que es adecuado para lógica secuencial. También resume los principios básicos de la programación con bloques funcionales como el uso de pasos, transiciones y condiciones.
Este documento trata sobre algoritmos digitales. Explica que un algoritmo es un conjunto de pasos claramente definidos que toman una entrada y producen una salida. Los algoritmos deben ser precisos, finitos y definidos. También distingue entre algoritmos y programas, y cubre temas como la validación, análisis y diseño de algoritmos, así como modelos computacionales como la máquina de Turing.
Un algoritmo es un conjunto de instrucciones bien definidas y ordenadas para realizar una tarea. Un algoritmo debe ser preciso, definido y finito. Un algoritmo típicamente describe la entrada, proceso y salida. Existen diferentes métodos para representar algoritmos como diagramas de flujo y pseudocódigo. Un programa de computadora usa instrucciones, datos, variables y funciones para implementar un algoritmo y resolver un problema.
El documento introduce conceptos básicos de programación como lenguajes de programación, variables, constantes, operaciones matemáticas, estructuras de control como if/else y bucles, y estructuras de datos como arreglos. Explica que la programación estructurada utiliza subrutinas y las tres estructuras básicas de secuencia, selección e iteración.
El documento introduce conceptos básicos de programación como lenguajes de programación, variables, constantes, operaciones con variables, estructuras de control como if, while y for, estructuras de almacenamiento como arreglos, y los paradigmas de programación estructurada y orientada a objetos. Explica que la programación es el proceso de diseñar y codificar programas de computadora y que requiere conocimientos en varias áreas.
El documento introduce conceptos básicos de programación como lenguajes de programación, variables, constantes, operaciones matemáticas, estructuras de control como if/else y bucles, y estructuras de datos como arreglos. Luego explica brevemente los paradigmas de programación estructurada y orientada a objetos, describiendo las clases, propiedades, métodos y objetos en este último paradigma.
Este documento trata sobre los principios básicos y comandos esenciales de los dibujos técnicos. Explica que los dibujos técnicos son una forma universal de comunicación que controlan los detalles de fabricación, ensamble y mantenimiento de productos. Luego describe los diferentes tipos de dibujos técnicos y sus propósitos principales como la visualización, comunicación y documentación. Finalmente, introduce conceptos básicos como líneas, cuerpos geométricos, proyecciones ortogonales y dimensionado.
El documento habla sobre dispositivos electrónicos y hardware y software. Explica que el hardware son los componentes físicos de una computadora, mientras que el software son programas que permiten realizar tareas específicas. También menciona dispositivos de almacenamiento y aplicaciones móviles. Finalmente, propone algunas preguntas y actividades sobre estas temáticas para la próxima semana.
Este documento contiene varias presentaciones y ensayos sobre temas de recursos humanos como capacitación,
evaluación de desempeño, remuneración, seguridad en el trabajo, y el uso de redes sociales para la búsqueda de
empleo. Incluye cuadros sinópticos sobre relaciones laborales y remuneración. El objetivo general es aplicar conceptos
de recursos humanos al análisis de situaciones laborales reales.
Este documento describe las relaciones laborales individuales y colectivas. Explica los derechos y obligaciones de los empleados y empleadores en el lugar de trabajo. También menciona las referencias utilizadas para la creación del documento, incluyendo un enlace a un sitio web sobre este tema.
El documento trata sobre sueldos y salarios en la Universidad Autónoma de Chihuahua. Se presenta en la Facultad de Contaduría y Administración como parte del curso de Recursos Humanos II impartido por la profesora Adriana Arzate Piñón. Fue entregado por el alumno Carlos Antonio Ibarra García el 27 de septiembre de 2015.
Este documento presenta un programa para evaluar el desempeño de los conductores de una empresa refresquera. El programa evaluaría la productividad, seguridad y conocimientos de los conductores a través de encuestas, exámenes toxicológicos y auditorías en ruta. La encuesta incluiría preguntas sobre licencia de conducir, conocimiento de la ciudad, habilidades con hojas de cálculo y rutas específicas. El objetivo es asegurar que los conductores sigan las reglas de tránsito y conduzcan de manera segura.
El documento presenta una lista de las Normas Oficiales Mexicanas (NOM) emitidas por la Secretaría del Trabajo y Previsión Social (STPS) relacionadas con la seguridad y salud en el trabajo. Se enumeran más de 30 normas que regulan aspectos como la prevención de incendios, el uso de maquinaria, la exposición a sustancias químicas, ruido, radiaciones y condiciones ambientales extremas, entre otros. Finalmente, se incluyen algunas referencias sobre la interpretación y aplicación de estas normas.
El documento habla sobre la capacitación y el desarrollo en México según la ley laboral. Explica que los empleadores están obligados a capacitar a sus empleados para mejorar su productividad y nivel de vida. También menciona que los empleados deben capacitarse continuamente para mantenerse actualizados, ya que sus habilidades pueden volverse obsoletas rápidamente. De lo contrario, corren el riesgo de quedar desempleados. Finalmente, proporciona algunas referencias sobre este tema.
Este documento describe la importancia de la gestión de valores y el compromiso en las organizaciones. Explica seis pasos clave para gestionar los valores, incluyendo alinear los valores personales con los de la empresa y difundirlos a través del liderazgo. También destaca la necesidad de informar, formar y motivar a los empleados para lograr su compromiso y participación en el desarrollo de la empresa.
Este documento describe la diversidad en IBM y cómo la empresa valora la variedad de personalidades, estilos e ideologías entre sus empleados. Fomenta una cultura donde los trabajadores pueden ser libres de ser ellos mismos y crear buenas relaciones, lo que los hace más productivos. IBM busca talento en las universidades y ofrece flexibilidad para equilibrar los retos personales y profesionales, sin necesidad de sacrificar uno u otro para alcanzar los objetivos. Apoya las actividades de cada trabajador.
Este documento describe diferentes tipos de promociones de ventas, incluyendo cupones, regalos, concursos y sorteos, reembolsos, devoluciones, muestras, paquetes de oferta, rebajas, y descuentos comerciales. Explica cómo estas promociones buscan estimular las ventas inmediatas ofreciendo incentivos como descuentos, premios u otros beneficios a consumidores y miembros del canal de distribución.
El documento analiza la estrategia de comunicación integral de mercadeo y ventas de McDonald's. Describe los competidores de McDonald's, las oportunidades que tiene para expandirse, sus mercados objetivos como estudiantes y trabajadores, y cómo posiciona sus productos como reconocidos a nivel mundial. Explica que las tácticas de McDonald's como las cajitas felices y promociones apoyan sus estrategias a largo plazo de vender comida rápida de calidad.
Este documento presenta las respuestas a 10 preguntas sobre conceptos clave en comunicación de mercadotecnia y ventas. Las preguntas cubren temas como los elementos de un brief creativo, el modelo de jerarquía de efectos, la relación entre actitudes y el modelo de jerarquía, la cadena de medios y fines, y los componentes estructurales de un anuncio.
El documento describe los principios básicos de la eficacia publicitaria. Explica que la publicidad debe tener coherencia visual, duración adecuada de campaña, eslóganes repetidos y posicionamiento uniforme del producto. También debe ser sencilla con un punto de venta identificable para fijar el producto en la mente del consumidor.
El documento habla sobre conceptos clave de las relaciones públicas y el marketing, incluyendo las funciones de un departamento de relaciones públicas, la responsabilidad social de las empresas, el marketing relacionado con causas, y diferentes estrategias y tácticas de marketing como los patrocinios, los eventos, y las promociones cruzadas. También define conceptos como partes interesadas, manejo de crisis, e intervenciones en internet.
El documento describe y compara varios motores de búsqueda populares como Google, Yahoo, Altavista, AOL Search y Bing. Google se destaca por su interfaz limpia y rápida, así como por su índice exacto de páginas relevantes. Yahoo tiene una interfaz saturada pero ofrece pronósticos del clima útiles. Altavista tuvo un diseño sencillo similar a Google. AOL Search está apoyado por Google y ofrece noticias, mientras que Bing tiene una interfaz sencilla y opciones similares a otros motores de búsqueda
Las redes sociales más populares mencionadas en el documento son Facebook, que se centra en los contactos e interacciones personales; Instagram, que permite compartir fotografías y videos; y Twitter, que ofrece la publicación de mensajes breves. Cada red social tiene ventajas como la capacidad de crear comunidades y compartir contenido relevante para la marca, pero también desventajas como la existencia de perfiles falsos y comentarios ofensivos.
Este documento trata sobre la gestión del talento humano y el desarrollo del capital humano. Explica que el talento humano es un factor clave para el éxito de las organizaciones y debe ser desarrollado a través de la capacitación y gestión por competencias. También discute la importancia de realizar un análisis de puestos para seleccionar efectivamente a los candidatos ideales y maximizar su rendimiento laboral. Finalmente, enfatiza que los administradores del talento humano deben promover la creatividad, innovación y aprend
Este documento describe las funciones y la importancia de un mentor. Explica que un mentor debe apoyar al aprendiz a reconocer sus propias necesidades y objetivos de aprendizaje, sugerir estrategias de aprendizaje efectivas, y acompañar al aprendiz en su proceso hacia la autonomía. También describe los roles de asesor y informador como proveer conocimiento experto y transmitir información precisa respectivamente.
El coaching es una práctica empresarial en auge que consiste en dirigir y entrenar personas para alcanzar metas u objetivos o desarrollar habilidades. El coaching ayuda a los ejecutivos a estructurarse mejor en sus posiciones gerenciales y a salir de su zona de confort. El CEO de Danone enfatiza la importancia de aprender nuevas habilidades como la logística para alcanzar puestos de liderazgo.
José Luis Jiménez Rodríguez
Junio 2024.
“La pedagogía es la metodología de la educación. Constituye una problemática de medios y fines, y en esa problemática estudia las situaciones educativas, las selecciona y luego organiza y asegura su explotación situacional”. Louis Not. 1993.
Ofrecemos herramientas y metodologías para que las personas con ideas de negocio desarrollen un prototipo que pueda ser probado en un entorno real.
Cada miembro puede crear su perfil de acuerdo a sus intereses, habilidades y así montar sus proyectos de ideas de negocio, para recibir mentorías .
Examen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLMJuan Martín Martín
Examen de Selectividad de la EvAU de Geografía de junio de 2023 en Castilla La Mancha. UCLM . (Convocatoria ordinaria)
Más información en el Blog de Geografía de Juan Martín Martín
http://blogdegeografiadejuan.blogspot.com/
Este documento presenta un examen de geografía para el Acceso a la universidad (EVAU). Consta de cuatro secciones. La primera sección ofrece tres ejercicios prácticos sobre paisajes, mapas o hábitats. La segunda sección contiene preguntas teóricas sobre unidades de relieve, transporte o demografía. La tercera sección pide definir conceptos geográficos. La cuarta sección implica identificar elementos geográficos en un mapa. El examen evalúa conocimientos fundamentales de geografía.
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
Lenguaje de especificación
1. UNIVERSIDAD AUTONOMA DE CHIHUAHUA
FACULTAD DE INGENIERIA
Lenguajes de
Especificación SCR y RSML
Modelado y Análisis de Requerimientos de
Software
Equipo #4
225690 Carlos Antonio Ibarra García
225654 Irving Manuel Canales Tarango
225673 Daniel Giovanni Nájera Chavira
28/11/2011
Se desarrolla un documento en el cual se describen los lenguajes de
especificación SCR y RSML.
2. Tabla de contenido
Lenguaje de especificación ...................................................................................................................... 3
Diferencia entre lenguaje de especificación y lenguaje de programación .................................... 3
SCR .............................................................................................................................................................. 3
RSML ........................................................................................................................................................... 4
Súper estados ......................................................................................................................................... 5
Descomposición AND ............................................................................................................................ 6
Definición de transiciones ..................................................................................................................... 6
Tablas AND/OR ...................................................................................................................................... 7
Conclusiones............................................................................................................................................... 7
Recomendaciones ..................................................................................................................................... 8
Bibliografía .................................................................................................................................................. 8
2
3. Lenguaje de especificación
Un lenguaje de especificación o lenguaje de descripción es un lenguaje formal o
semi-formal cuya función es construir modelos de los sistemas que se desea
elaborar.
Diferencia entre lenguaje de especificación y lenguaje de programación
A diferencia de los lenguajes de programación, que son
lenguajes interpretables o traducibles por una computadora hacia una
representación ejecutable, los lenguajes de especificación no son por lo general
utilizados para implementar el sistema, sino para especificarlo, conceptualizarlo
o incluso validarlo, aunque también suelen ser legibles para un programa de
computadora, que puede asistir en el proceso de validación.
SCR
En el campo de la Ingeniería de Requisitos, se han propuesto algunos esquemas
próximos a esta idea de especificación de interfaces. Uno de los primeros en hacerlo,
C. A. R. Hoare definía una especificación como un predicado cuyas variables
representan los aspectos observables del comportamiento del producto. Esto implica,
como es lógico, que el producto software contiene, además aspectos que no son
observables desde el entorno y que no deben figurar en la especificación.
El método SCR (Reducción del Coste del Software ha sido desarrollado para definir
formalmente los requisitos de un sistema hardware-software. Se basa en una notación
tabular, un modelo de maquinas de estados finitos y una serie de construcciones que
permiten especificar condiciones, eventos, modos de entradas y salidas. Los requisitos
se expresan por medio de relaciones matemáticas entre cuatro conjuntos de variables,
definidas en lo que se ha denominado el modelo tetra - variable formado por:
Variables monitorizadas; representan valores del entorno con capacidad de influencia
den el comportamiento del sistema.
Variables controladas; representan valores del entorno que serán controlados por el
sistema
NAT; es una función de los valores monitorizados a los valores controlados. Describe
las relaciones naturales entre variables monitorizadas y controladas. Por ejemplo,
descripción de restricciones debidas a las leyes de la física un otras causas localizadas
en el entorno del sistema.
3
4. REQ; función de los valores monitorizados a los valores controlados. Describe las
relaciones que el sistema debe mantener entre las variables monitorizadas y las
variables controladas, relaciones que por tanto no son ciertas en ausencia del sistema.
El método SCR distingue claramente entre los elementos de datos de entrada y salida,
por un lado y las relaciones Entrada y Salida por otro. Los elementos de entrada y
salida son los valores que los dispositivos de entrada salida leen y escriben
directamente. La relación entrada establece una correspondencia desde los valores
monitorizados del entorno a los datos de entrada. La salida establece una
correspondencia desde los datos de salida los valores controlados del entorno. El
comportamiento deseado, o sea, los requisitos se define básicamente mediante los
conceptos de valor monitorizado y valor controlado y no por medio de los datos de
entrada y salida. La especificación de entrada y salida es básicamente una
especificación orientada a interfaz y fuera a concentrarse en las relaciones causa-
efecto entre los fenómenos del entorno y el sistema.
RSML
Requirements State Machine Language (RSML). El lenguaje ha sido desarrollado por la
FAA para especificar los requerimientos del sistema TCAS II (Traffic Alert and Collision
Avoidance System) y está siendo utilizado por ellos para este propósito. El lenguaje
tiene una base formal y es adecuado para el análisis automatizado, pero también es
leído por expertos en aplicaciones con poca capacitación y formación matemática
mínima.
RSML el cual incluye muchas características desarrolladas por Harel para gráficos de
estado, por ejemplo, súper estados, descomposición AND, difusión de comunicación y
conectivas condicional.
RSML tiene algunas características únicas sintácticas y semánticas que se
desarrollaron para mejorar la legibilidad, capacidad de revisión, analizabilidad, y la
capacidad de manejar los sistemas complejos.
Una maquia de estados finitos simple es compuesta de estados conectados por
transiciones. Los estados principales son significados por los estados donde una
conexión de la transición no tiene ninguna fuente. En la figura 3, el estado Within-Limits
es el primer estado. Las transiciones definen como llegar de un estado a otro.
4
5. Súper estados
En RSML (y gráficos de estados), estados pueden ser agrupados dentro de súper
estados. Tales agrupaciones reducen el numero de transiciones permitiendo las
transiciones hacia y desde el súper estado en vez de requerir transiciones explicitas
hacia y desde todos los estados agrupados (sub estados). Los súper estados se
pueden introducir en dos maneras. Primero, la transición del súper estado puede
terminar en la frontera del súper estado (transición T1 en la figura 4). En este caso, un
estado predeterminado debe especificarse dentro del súper estado. En el ejemplo, el
estado Climb se introduce después de asumir la transición T1. Por otra parte, la
transición puede ser hecha a un estado en particular dentro del súper estado (transición
T2 en la figura 4). El súper estado mismo puede tener transiciones que termina en la
frontera y en cualquier número de los estados internos. El súper estado puede salir de
dos maneras (transiciones T3 Y T4 en la figura 4). Análogas a las transiciones en el
súper estado, las transiciones del súper estado puede tener su origen desde la frontera
o de un estado interior.
5
6. Descomposición AND
Una de las más importantes innovaciones en los gráficos de estado es a lo que Harel
llamo Estado paralelo, que contiene dos o más maquinas de estados separadas por
fronteras punteadas (figura 5). Cuando el estado paralelo S esta dentro, cada máquina
de estados A, B, C y D se introducen en el. Todas las maquinas de estado están fuera
cuando ninguna transición es tomada fuera del estado paralelo. El uso de los estados
paralelos reduce considerablemente el tamaño de la especificación.
Definición de transiciones
La definición de transiciones en RSML contiene cinco partes:
1.- La identificación (la fuente y el destino de la transición).
2.- La ubicación.
3.- La activación de eventos.
4.- La vigilancia de la condición.
5.- La acción de salida.
Las primeras partes son las únicas partes requeridas.
Las transiciones son tomadas a la ocurrencia del evento de disparo, siempre que la
condición de protección es la verdad. La condición de guardar define las condiciones
previas a la transición y se especifica el uso de tablas AND/OR. Las acciones de salida
identifican los eventos que se generan cuando la transición se toma. Estos eventos
generados pueden desencadenar transiciones en otras partes de la máquina de
estado. Este mecanismo de propagación de eventos se utiliza para secuenciar y
sincronizar la ejecución de las maquinas de estado paralelo en el modelo.
6
7. Tablas AND/OR
Muchos lenguajes basados en estados usan notación lógica estándar para describir la
vigilancia de las condiciones en las transiciones. Las tablas de AND/OR es una de
estas notaciones en donde se puede utilizar la representación tabular de forma normal
disyuntiva.
La columna de la izquierda en la tabla muestra las frases lógicas de la condición. Cada
una de las otras columnas representan una conjunción de esas frases que contiene los
valores lógicos de las expresiones (una columna denota el AND lógico de las frases en
el ancho de la columna), una columna se evalúa como verdadera si todos sus
elementos son verdaderos. Un punto denota “sin cuidado”. La colección de columnas
representa una disyunción (indicado por el OR por encima de las columnas). Por lo
tanto, si una de las columnas es cierta, entonces la condición de protección (la tabla) se
evalúa como verdadera.
Conclusiones
Es importante utilizar los lenguajes de especificación por que estos nos ayudan
especificar el sistema, conceptualizarlo o incluso validarlo, y también suelen ser
legibles para un programa de computadora, que puede asistir en el proceso
de validación.
7
8. Recomendaciones
Se recomienda buscar más información respecto a estos lenguajes de especificación,
así como dar un vistazo al documento: IEEE Transactions on Software Engineering
(TSE), que habla sobre el lenguaje y el enfoque de modelado.
Bibliografía
Alspaugh, T. A. (s.f.). Thomas A. Alspaugh. Recuperado el 22 de Noviembre de 2011,
de http://www.thomasalspaugh.org/pub/fnd/scr.html
Heitmeyer, C. L. (s.f.). United States Naval Research Laboratory. Recuperado el 22 de
Noviembre de 2011, de http://www.nrl.navy.mil/chacs/pubs/02-1221.1-1419.pdf
Reese, M. P. (1998). Experiences From Specifying the TCAS II Requirements Using
RSML. En 17th Digital Avionics Systems Conference.
Santillan, M., & Sharma, K. (s.f.). Software Engineering: Processes and Measurement
Research Group. Recuperado el 22 de Noviembre de 2011, de
http://wwwagse.informatik.uni-kl.de/teaching/re/ws2010/SCR_Abstract.pdf
Silva Vázquez, D. A. (s.f.). Archivo Digital UPM. Recuperado el 22 de Noviembre de
2011, de http://oa.upm.es/124/1/10200013.pdf
8