Buscar
Mostrando ítems 21-30 de 29589
Creación Automática de Modelos DEVS para la Evaluación de Arquitecturas de Software Especificadas en Use Case Maps
(Universidad Tecnológica Nacional, 2018)
Geração de casos de teste a partir de especificações B
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2010-03-29)
With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization ...
Dynamic Hedging with Stochastic Differential UtilityDynamic Hedging with Stochastic Differential Utility
(Sociedade Brasileira de Econometria, 2006)
Modeling Dependable Product-families: From Use Cases To State Machine Models
(IEEENew York, 2016)
How to use IMS-LD to support eLearning in an effective way (Invited Talk)
eLearning systems look into specifications to ensure some level of homogeneity in specific issues. Well-known Learning Management Systems (LMSs) develop useful functionalities adapted to teachers and learners mainly. These ...
Variations in national surveillance reporting for Mpox virus: A comparative analysis in 32 countries
(Frontiers, 2023)
Objectives: Case Reporting and Surveillance (CRS) are crucial to combat the global spread of the Monkeypox virus (Mpox). To support CRS, the World Health Organization (WHO) has released standardized case definitions for ...
Probability-Based Design of Experiments for Batch Process Optimization with End-Point Specifications
(American Chemical Society, 2016-01)
Consistently complying with end-point specifications, mainly end-use product properties, is a key issue to thecompetitiveness of batch processes. To maximize in some way the probability of observing successful runs, a ...