Now showing items 1-10 of 832
Validación del software educativo Poliestudio 1.0: informe de investigaciónValidación del software educativo Poliestudio 1.0: informe de investigación
(Centro de Investigación y Docencia en Educación (CIDE), 2009)
Software platform for the statistical validation of structural partitioning methods
A novel interactive software platform is proposed to support design and development for PSE. It has been implemented to address the statistical validation of structural partitioning methods. According to several features ...
Enabledness-based program abstractions for behavior validation
(Assoc Computing Machinery, 2013-07)
Code artifacts that have nontrivial requirements with respect to the ordering in which their methods or procedures ought to be called are common and appear, for instance, in the form of API implementations and objects. ...
Architecting Fault Tolerance with Exception Handling: Verification and Validation
(Science PressBeijingChina, 2009)
Determinação do coeficiente de dispersão de um canal para validação de um software de fluidodinâmica computacional (CFD) = Determination of the dispersion coefficient of a channel for validation of a computational fluid dynamic (CFD) softwareDetermination of the dispersion coefficient of a channel for validation of a computational fluid dynamic (CFD) software