En este artículo presentamos, a través de un caso de estudio, el desarrollo de programas paralelos mediante métodos formales. El caso de estudio es el núcleo básico de un sistema operativo multitarea, y el método formal utilizado es la teoría…

La constante aparición de datos en forma digital de diferentes tipos, tamaños y en gran cantidad, concuerda con un crecimiento de las capacidades de almacenamiento a precios más moderados. Por otro lado, dos fenómenos se han manifestado últimamente:
mientras la…

Las pequeñas y medias empresas de desarrollo de software necesitan desarrollar una cultura de la calidad y demostrarla por medio de un proceso de certificación para posicionarse competitivamente en el mercado nacional e internacional. No obstante la madurez del proceso…

Este proyecto tiene como objetivo la integración de bases de datos y modelos de entornos topográficos dentro de la tecnología actual de simuladores de vuelo. De esa manera, es posible construir simuladores de entrenamiento con la capacidad de emular misiones…

Los sistemas centrados en contexto abren un enorme abanico de posibilidades en el campo de aplicación de la ingeniería de sistemas tradicional. Con estos sistemas el usuario pasa a ser el foco de atención de las aplicaciones, ya que estos…

La definición de requerimientos de software depende en gran parte de la identificación, especificación, construcción y análisis de objetivos. Los objetivos capturan las metas y necesidades del sistema bajo consideración. Los métodos de análisis orientados por objetivos se basan en…

A crescente complexidade das atividades a serem realizadas em um projeto de desenvolvimento de software exige uma maior interação entre os participantes do projeto, principalmente se estas estiverem geograficamente dispersas. Os artefatos resultantes de atividades realizadas durante o desenvolvimento de…

Entre equipes fisicamente distribuídas prover apoio a comunicação e a tomada de decisão em grupo é fundamental para que haja cooperação e coordenação nas tarefas que necessitam ser realizadas de forma colaborativa. Abordagens técnicas e comportamentais são essenciais para a…

Actualmente se ha extendido el uso, por parte de las empresas, de entornos software para controlar sus procesos más críticos. Por esta razón, el control de la calidad en los procesos de producción de productos software ha pasado a ser…

Este artigo descreve o desenvolvimento de um Protótipo de Sistema de Software baseado na tecnologia de Ambientes Integrados de Engenharia de Software Ajudada por Computador (Integrated Computer Aided Software Engineering Environment – I-CASE-E).
O Protótipo foi desenvolvido como parte de…