Sciweavers

1255 search results - page 104 / 251
» Model-Driven Development of Model Transformations
Sort
View
EMSOFT
2008
Springer
13 years 12 months ago
Automatically transforming and relating Uppaal models of embedded systems
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
Timothy Bourke, Arcot Sowmya
JUCS
2008
115views more  JUCS 2008»
13 years 10 months ago
Capturing Interaction Requirements in a Model Transformation Technology Based on MDA
: Currently, many models are used to capture functional software requirements. However, the Software Engineering community has faded interaction requirements into the background, d...
José Ignacio Panach, Sergio España, ...
BMCBI
2010
105views more  BMCBI 2010»
13 years 10 months ago
Evaluation of fecal mRNA reproducibility via a marginal transformed mixture modeling approach
Background: Developing and evaluating new technology that enables researchers to recover gene-expression levels of colonic cells from fecal samples could be key to a non-invasive ...
Nysia I. George, Joanne R. Lupton, Nancy D. Turner...
CAISE
2004
Springer
14 years 3 months ago
MT-Flow - An Environment for Workflow-Supported Model Transformations in MDA
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
Jernej Kovse, Theo Härder
ISCAS
2007
IEEE
141views Hardware» more  ISCAS 2007»
14 years 4 months ago
Analog Emulation of a Reconfigurable Tap Changing Transformer
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...
Aaron St. Leger, Juan C. Jimenez, Agung Fu, Sanal ...