523 search results - page 7 / 105 » A model transformation framework for the automated building ... |
SPLC
2007
13 years 8 months ago
2007
Features have been widely used by the product line community to model variability. They represent the common and variable characteristics of the members of a product line. They ar...
ETFA
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
ICST
2009
IEEE
13 years 5 months ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
QOSA
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Software performance prediction methods are typically validated by taking an appropriate software system, performing both performance predictions and performance measurem...
ICCV
2007
IEEE
14 years 9 months ago
2007
IEEE
Reliable segmentation of the left ventricle is a long sought objective in medical imaging for automatic retrieval of anatomical and pathological measurements and detection of malf...