Translation validation for synchronous languages

1998 ◽  
pp. 235-246 ◽  
Author(s):  
A. Pnneli ◽  
O. Shtriehman ◽  
M. Siegel
Keyword(s):  
Synchronous Languages ◽  
Translation Validation

Parallelizing Compiler Translation Validation Using Happens-Before and Task-Set

2021 ◽  
Author(s):  
Jixin Han ◽  
Tomofumi Yuki ◽  
Michelle Mills Strout ◽  
Dan Umeda ◽  
Hironori Kasahara ◽  
...  
Keyword(s):  
Parallelizing Compiler ◽  
Task Set ◽  
Translation Validation ◽  
And Task

Verified Spilling and Translation Validation with Repair

2017 ◽  
pp. 427-443
Author(s):  
Julian Rosemann ◽  
Sigurd Schneider ◽  
Sebastian Hack
Keyword(s):  
Translation Validation

scholarly journals The Quality of Life of Older Individuals Following the World Health Organization Assessment Criteria

Geriatrics ◽  
2020 ◽  
Vol 5 (4) ◽  
pp. 102
Author(s):  
Margarida Goes ◽  
Manuel José Lopes ◽  
João Marôco ◽  
Henrique Oliveira ◽  
César Fonseca ◽  
...  
Keyword(s):  
Quality Of Life ◽  
World Health Organization ◽  
Factor Score ◽  
Life Assessment ◽  
World Health ◽  
World Health Organization Quality ◽  
Translation Validation ◽  
The World ◽  
Health Organization

The aim of this study was to evaluate the psychometric qualities of the WHOQOL-BREF(PT) (the questionnaire developed by the World Health Organization Quality of Life Grpup for quality of life assessment), when applied to Portuguese elderly people residing in a community setting. The psychometric qualities were assessed by confirmatory factor analysis. A hierarchical second-order model and a third model were performed, and all three models presented similar and reasonable adjustment indexes. The data analysis showed that the construct failed only regarding discriminant validity because the correlations between the first-order factors were higher, associated with lower values of average variance extracted. The psychometric qualities found in the original translation/validation of the WHOQOL-BREF(PT) were compared with those found in this study; this study found higher correlations between domains but a similar level of factor reliability. The findings of this study lead to three recommendations: (i) to compute each factor score for each participant using the factor score weights obtained from confirmatory analysis models instead of adopting a unitary weight for each item, as proposed by the authors of the original translation/validation of the WHOQOL-BREF(PT); (ii) to compute a QOL score, which is not included in the original translation/validation; and (iii) to analyze differences between individual scores for each participants, which should be done by a group of health experts.

Translation Validation: From SIGNAL to C

1999 ◽  
pp. 231-255 ◽  
Author(s):  
A. Pnueli ◽  
O. Shtrichman ◽  
M. Siegel
Keyword(s):  
Translation Validation
Sign in / Sign up

Export Citation Format

Share Document