Sciweavers

1101 search results - page 47 / 221
» Barbed Model-Driven Software Development: A Case Study
Sort
View
ISJ
2002
151views more  ISJ 2002»
14 years 9 months ago
Code quality analysis in open source software development
Proponents of open source style software development claim that better software is produced using this model compared with the traditional closed model. However, there is little em...
Ioannis Stamelos, Lefteris Angelis, Apostolos Oiko...
VLSISP
2008
159views more  VLSISP 2008»
14 years 9 months ago
Effective Code Generation for Distributed and Ping-Pong Register Files: A Case Study on PAC VLIW DSP Cores
The compiler is generally regarded as the most important software component that supports a processor design to achieve success. This paper describes our application of the open re...
Yung-Chia Lin, Chia-Han Lu, Chung-Ju Wu, Chung-Lin...
FSEN
2009
Springer
15 years 1 months ago
Specification and Validation of Behavioural Protocols in the rCOS Modeler
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
Zhenbang Chen, Charles Morisset, Volker Stolz
BMCBI
2010
151views more  BMCBI 2010»
14 years 10 months ago
CCRaVAT and QuTie - enabling analysis of rare variants in large-scale case control and quantitative trait association studies
Background: Genome-wide association studies have been successful in finding common variants influencing common traits. However, these associations only account for a fraction of t...
Robert Lawrence, Aaron G. Day-Williams, Katherine ...
ISSRE
2006
IEEE
15 years 3 months ago
A Systematic Approach to Generate Inputs to Test UML Design Models
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. Fran...