Sciweavers

3410 search results - page 131 / 682
» Measuring Model Transformation in Model Driven Development
Sort
View
EMSOFT
2008
Springer
15 years 8 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»
15 years 6 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, ...
CSB
2004
IEEE
131views Bioinformatics» more  CSB 2004»
15 years 10 months ago
Improved Fourier Transform Method for Unsupervised Cell-Cycle Regulated Gene Prediction
Motivation: Cell-cycle regulated gene prediction using microarray time-course measurements of the mRNA expression levels of genes has been used by several researchers. The popular...
Karuturi R. Krishna Murthy, Liu Jian Hua
WSC
2008
15 years 8 months ago
Linking ergonomics simulation to production process development
Production development can conflict with production ergonomics and management of environmental impacts. In this paper, we describe how ergonomics can be assessed in production sys...
Salla Lind, Boris Krassi, Juhani Viitaniemi, Sauli...
ISSRE
2010
IEEE
15 years 4 months ago
A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models
—Driven by market needs and laws, automotive manufacturers develop ever more feature-rich and complex vehicles. This new functionality plays even an active role in driving, what ...
Stefan Wagner, Bernhard Schätz, Stefan Puchne...