• No se han encontrado resultados

Model-Driven Engineering

Including hardware/software co-design in the ASSERT model driven engineering process.

Including hardware/software co-design in the ASSERT model driven engineering process.

... and tools for the development of critical embedded real-time systems in the space domain. One of its main achievements is a new model-driven software process, which is based on the concept of ...

6

Constraint programming for type inference in flexible model driven engineering

Constraint programming for type inference in flexible model driven engineering

... The contribution of this paper is a tool-supported approach for eliminating type omission errors (see error labelled “Omissions” above) from flexible models. Currently such errors are eliminated manually by language ...

26

Informe d'Autors UOC a ISI Web of Knowledge  Juliol Agost Setembre 2010

Informe d'Autors UOC a ISI Web of Knowledge Juliol Agost Setembre 2010

... declarative model-to-model transformations. Model Driven Engineering Languages and Systems, Proceedings; Lecture Notes in Computer Science; 11th International Conference on Model ...

7

Mandinga: methodology for automation testing integrating functional and non-functional aspects

Mandinga: methodology for automation testing integrating functional and non-functional aspects

... That motivation brings us to GXtest, which is a tool that was developed by the Uruguayan company Abstracta in 2007. After 2009, Artech decided to start distributing and commercializing the tool, integrating it to the ...

229

Migración de sofware  C/C++ a plataformas móviles a partir de MDD (Model Driven Devlopment)

Migración de sofware C/C++ a plataformas móviles a partir de MDD (Model Driven Devlopment)

... El éxito de ADM y MDA depende de la existencia de herramientas CASE que soporten procesos tales como ingeniería inversa (reverse engineering) e ingeniería directa (forward engineering). El proyecto Eclipse ...

158

M2DAT: a Technical Solution for Model-Driven Development of Web Information Systems

M2DAT: a Technical Solution for Model-Driven Development of Web Information Systems

... any model-driven software development ...Because model transformations are the key to bridge those models, there exist a number of tools or languages for model ...for model checking ...

408

Development of a model with Bayesian network for Data Driven Materials

Development of a model with Bayesian network for Data Driven Materials

... a model to foresee the features of materials before making them it has been shown the ease to predict the capabilities of materials saving money due to the low cost of using algorithms to compute ...

44

Ingeniería Basada en Modelos en Prácticas de Robótica

Ingeniería Basada en Modelos en Prácticas de Robótica

... Dentro del contexto de la adaptaci´ on de los estu- dios de Ingenier´ıa al Espacio Europeo de Educa- ci´ on Superior, las competencias adquiridas por el estudiante se han tomado como la referencia por la cual se definen ...

7

Revisión de modelos de madurez en la gestión de los procesos de negocios

Revisión de modelos de madurez en la gestión de los procesos de negocios

... (Performance Engineering Maturity Model) propuesto por David Hammer (2007), es utilizado para evaluar los niveles de la ejecución y procesos de la organización tanto a organizaciones como a procesos de ...

14

Improving IT service management using an ontology based and model driven approach

Improving IT service management using an ontology based and model driven approach

... This model allows a more devolved governing structure under which SSU can focus on serving business units as direct ...and model themselves along the lines of service providers in the open ...

309

Voltage-driven hysteresis model for resistive switching: SPICE modeling and circuit applications

Voltage-driven hysteresis model for resistive switching: SPICE modeling and circuit applications

... memdiode model consists of a transport equation that, under the appropriate model parameters, switches between a high resistive state (HRS) and a low resistive state (LRS) as depicted in ...

8

Effects of dexmedetomidine and esmolol on systemic hemodynamics and exogenous lactate clearance in early experimental septic shock

Effects of dexmedetomidine and esmolol on systemic hemodynamics and exogenous lactate clearance in early experimental septic shock

... sheep model [13] aimed at (1) determining the effects of DEX and ESM as compared to LPS-control animals on lactate production and exogenous lactate clearance; and (2) evaluating the hemodynamic tolerance of DEX ...

10

Atomic spectra calculations for fusion plasma engineering using a solvable model potential

Atomic spectra calculations for fusion plasma engineering using a solvable model potential

... The RQDO formalism, as opposed to sophisticated and costly self-consistent-field procedures, is a simple but reliable analytical method based on a model Hamilto- nian. It has the great advantage of the ...

13

Application of agent technology for fault diagnosis of telecommunication networks

Application of agent technology for fault diagnosis of telecommunication networks

... Case model which is used in the Agent Level Testing ...case model is integrated with an extended version of JBehave framework (North, 2011), which is a framework that sup- ports the execution of BDD ...

196

ArchiMeDeS: A Service-Oriented Framework for Model-Driven Development of Software Architectures

ArchiMeDeS: A Service-Oriented Framework for Model-Driven Development of Software Architectures

... The need for developing systems that adapt (or, ideally, self-adapt) to changes in the requirements is much noticeable when having a look at the direction the global Economy has taken in the last few years. The ...

294

Maturity model for the information driven SME

Maturity model for the information driven SME

... In relation to the field study campaigns deployed, they were very significant in reaching a deeper understanding of the degree to which organizations are supporting their decisions vis-à-vis the information obtained from ...

22

Model Driven Development of Agents for Ambient Intelligence

Model Driven Development of Agents for Ambient Intelligence

... Among the agent-based AmI systems surveyed, we have not found a common approach regarding the agent solution adopted. Some AmI agents were developed using general-purpose agent toolkits for AmI (such as Jade-Leap), while ...

249

¿Es posible que surjan empresas de alta tecnología, líderes mundiales en sus segmentos, en naciones emergentes?: el caso Embraer

¿Es posible que surjan empresas de alta tecnología, líderes mundiales en sus segmentos, en naciones emergentes?: el caso Embraer

... (engineering driven) y por la fundación e incentivo a la creación del “polo aeroespacial en San Pablo” (situado en la región de São José dos Campos, interior del ...

140

Model driven round trip engineering of REST APIs

Model driven round trip engineering of REST APIs

... Algorithm 1 illustrates the OData data model to database schema gener- ation process. As can be seen, the algorithm takes as input an instance of ODSchema and returns a DDL script representing the data ...

200

Model Predictive Control Implementation for the Ocean Grazer Wave Energy Converter with a port Hamiltonian Model

Model Predictive Control Implementation for the Ocean Grazer Wave Energy Converter with a port Hamiltonian Model

... a model described in ...a model predictive control strategy, but with the issue of a high computation ...dynamical model on the storage reservoir using a model predictive control strategy was ...

91

Show all 5726 documents...

Related subjects