Buscar
Mostrando ítems 1-10 de 69
Metamodel-based formalization of DEVS atomic models
(Sage Publications Ltd, 2021-09-14)
The Discrete-Event System Specification (DEVS) formalism is a modeling formalism based on systems theory that provides a general methodology for hierarchical construction of reusable models in a modular way. When concrete ...
Representation of metamodels using inductive types in a type-theoretic framework for MDE
(UR. FI – INCO., 2010)
We present discussions on how to apply a type-theoretic framework composed out by the Calculus of Inductive Constructions and its associated tool the Coq proof assistant to the formal treatment of model transformations in ...
Meta-modelo funcional para recuperação de informação baseado em λ-cálculo
(Universidade Federal de UberlândiaBRPrograma de Pós-graduação em Ciência da ComputaçãoCiências Exatas e da TerraUFU, 2016)
Computer-aided design for building multipurpose routing processes in discrete event simulation models
(Elsevier, 2021-02)
Good domain-modeling enables an appropriate separation of concerns that improves quality properties in the simulation models, such as modifiability and maintainability. In this paper, the interplay of abstraction and ...
Modelado de Procesos de Software
(Universidad ORT Uruguay, 2014)
La Dirección de Sistemas de ASSE (Administración de los Servicios de Salud del Estado), creada en el 2010, desarrolla software a medida destinado a los diferentes sectores de la administración. En particular se interesan ...