Sciweavers

906 search results - page 31 / 182
» Modeling methodology for application development in petroleu...
Sort
View
FMICS
2009
Springer
15 years 8 months 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
131
Voted
VIS
2004
IEEE
227views Visualization» more  VIS 2004»
16 years 3 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 7 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 3 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 3 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...