Sciweavers

4270 search results - page 48 / 854
» A Permutation Approach to Validation
Sort
View
ECBS
2007
IEEE
142views Hardware» more  ECBS 2007»
15 years 6 months ago
Model-Driven Engineering for Development-Time QoS Validation of Component-Based Software Systems
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
James H. Hill, Sumant Tambe, Aniruddha S. Gokhale
RE
2007
Springer
15 years 6 months ago
Tracing and Validating Goal Aspects
Aspects promote a clear separation of concerns so that tangled and scattered concerns are modularized throughout software development. We propose a framework to trace aspects iden...
Yijun Yu, Nan Niu, Bruno González-Baixauli,...
ISPW
2006
IEEE
15 years 5 months ago
Automated Recognition of Low-Level Process: A Pilot Validation Study of Zorro for Test-Driven Development
Abstract. Zorro is a system designed to automatically determine whether a developer is complying with the Test-Driven Development (TDD) process. Automated recognition of TDD could ...
Hongbing Kou, Philip M. Johnson
ADVIS
2006
Springer
15 years 5 months ago
Validation of XML Documents: From UML Models to XML Schemas and XSLT Stylesheets
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...
Eladio Domínguez, Jorge Lloret, Angel Luis ...
IPMI
2005
Springer
15 years 5 months ago
Construction and Validation of Mean Shape Atlas Templates for Atlas-Based Brain Image Segmentation
In this paper, we evaluate different schemes for constructing a mean shape anatomical atlas for atlas-based segmentation of MR brain images. Each atlas is constructed and validate...
Qian Wang, Dieter Seghers, Emiliano D'Agostino, Fr...