52 resultados para Formal specification


Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

OBJECTIVE: To examine the determinants of formal and informal care utilisation amongst persons with age-related macular degeneration (AMD). DESIGN: Cross-sectional hospital-based study. SETTING: Hospital eye clinic in Northern Ireland. PARTICIPANTS: 284 persons aged >or=50 years. MAIN OUTCOME MEASURES: Participants were questioned about their care, living arrangements, eyesight-related ability to self-care, and eyesight-related need to be more careful whilst undertaking everyday tasks. RESULTS: The percentage of older persons receiving formal and informal care rose with the level of visual impairment. 34.9% and 37.3% of those with no visual impairment received formal and informal care, respectively, compared with 51.6% and 69.9% of those with moderate visual impairment and 55.6% and 88.9% of those with severe visual impairment. Three factors (age, best corrected distance visual acuity in the better eye and living alone) were significant predictors (p

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Functional and non-functional concerns require different programming effort, different techniques and different methodologies when attempting to program efficient parallel/distributed applications. In this work we present a "programmer oriented" methodology based on formal tools that permits reasoning about parallel/distributed program development and refinement. The proposed methodology is semi-formal in that it does not require the exploitation of highly formal tools and techniques, while providing a palatable and effective support to programmers developing parallel/distributed applications, in particular when handling non-functional concerns.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Intramolecular Heck cyclisation of (E)-vinyl bromides leads to indolizidines, related to pumiliotoxin alkaloids, in which the stereochemistry of the trisubstituted double bond undergoes inversion. A cyclopropyl intermediate, which is believed to be responsible for the double bond inversion, has been intercepted by forcing an 'early' beta-hydride elimination on this species. The relative stereochemistry of this cyclopropyl intermediate determines the regioselectivity of the final beta-hydride elimination. In this case all three beta-hydride eliminations were stereochemically permitted, giving rise to a mixture of three isomeric products, differing in the position of a double bond. (Z)-Vinyl bromides were found to be less reactive than (E)-vinyl bromides, but on cyclisation gave the required conjugated diene, with inversion of the vinyl bromide stereochemistry, as the sole reaction product. This methodology will allow rapid stereoselective access to the diene-based pumiliotoxin alkaloids.