Sciweavers

906 search results - page 31 / 182
» Modeling methodology for application development in petroleu...
Sort
View
FMICS
2009
Springer
16 years 17 days ago
A Rigorous Methodology for Composing Services
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
Kenneth J. Turner, Koon Leai Larry Tan
VIS
2004
IEEE
227views Visualization» more  VIS 2004»
16 years 7 months ago
Intuitive and Interactive Modification of Large Finite Element Models
Virtual prototyping is increasingly replacing real mock-ups and experiments in industrial product development. Part of this process is the simulation of structural and functional ...
Dirc Rose, Katrin Bidmon, Thomas Ertl
ISOLA
2004
Springer
15 years 11 months ago
Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
Victor V. Kuliamin
CAISE
2008
Springer
15 years 8 months ago
Measuring the Functional Size of Conceptual Models in an MDA Environment
The measurement of the functional size of applications generated in MDA environments is a challenge for the software development industry. This paper presents the OO-Method COSMIC ...
Beatriz Marín, Nelly Condori-Fernánd...
ASPDAC
2008
ACM
164views Hardware» more  ASPDAC 2008»
15 years 8 months ago
The Shining embedded system design methodology based on self dynamic reconfigurable architectures
Complex design, targeting System-on-Chip based on reconfigurable architectures, still lacks a generalized methodology allowing both the automatic derivation of a complete system s...
Carlo Curino, Luca Fossati, Vincenzo Rana, Frances...