Buscar
Mostrando ítems 51-60 de 158
Ontology-based feature modeling: an empirical study in changing scenarios
(ElsevierAmsterdam, 2015-07)
A software product line (SPL) is a set of software systems that have a particular set of common features
and that satisfy the needs of a particular market segment or mission. Feature modeling is one of the key
activities ...
Dynamite: A tool for the verification of alloy models based on PVS
(Association for Computing Machinery, 2014-03)
Automatic analysis of Alloy models is supported by the Alloy Analyzer, a tool that translates an Alloy model to a propositional formula that is then analyzed using off-the-shelf SAT-solvers. The translation requires ...
Stimuli-SoS: a model-based approach to derive stimuli generators for simulations of systems-of-systems software architectures
(BioMed Central, 2017)
Abstract
Background
Systems-of-systems (SoS) are alliances of independent and interoperable software-intensive systems. SoS often support critical domains, being required ...
Desarrollo de un software para establecer una óptima producción y su aplicación en ambientes tanto académicos como empresariales
(Universidad Nacional de Colombia - Facultad de Ingeniería, 2014-11-21)
La crisis económica mundial ha acrecentado en los últimos años una necesidad, de por sí ya manifiesta en las organizaciones: el ahorro en costos. Para hacer frente a esto, las empresas pueden optar por diversas estrategias.Este ...
Defining the Resource Perspective in the Development of Processes-Aware Information Systems
(Elsevier, 2015-03)
Context The resource perspective has impact on the performance of business processes. However, current Workflow Management Systems (WfMSs) provide disparate support to its implementation and business process modeling ...
AN INTERACTIVE SOFTWARE PACKAGE FOR VALIDATING SATELLITE DATA
(Universidad de Concepción.Facultad de Ciencias Naturales y Oceanográficas., 2004)
Visual exploration and analysis of ionospheric scintillation monitoring data: The ISMR Query Tool
(2017-07-01)
Ionospheric Scintillations are rapid variations on the phase and/or amplitude of a radio signal as it passes through ionospheric plasma irregularities. The ionosphere is a specific layer of the Earth's atmosphere located ...
Aquopts: A multisource processing system for multidimensional bio-optical data integration and correction
(2020-10-01)
Field surveys are an important source of data for several scientific studies. Hydrological optics investigations require a large amount of optical data acquired using sensors from distinct manufacturers built with specific ...
Personalized architectural documentation based on stakeholders' information needs
(Springer, 2014-08)
The stakeholders of a software system are, to a greater or lesser extent, concerned about its software architecture, as an essential artifact for capturing the key design decisions of the system. The architecture is ...
Software para la enseñanza y entrenamiento en la construcción de matrices para planeación estratégica de sistemas de información
(Universidad Nacional de Colombia - Facultad de Ingeniería, 2010)
La planeación estratégica de sistemas de información (PESI) es el proceso por medio del cual una organización determina el portafolio de aplicaciones de computador para ayudar a lograr sus objetivos de negocios. El BSP/SA ...