937 resultados para Formal languages.


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:

Annotation of programs using embedded Domain-Specific Languages (embedded DSLs), such as the program annotation facility for the Java programming language, is a well-known practice in computer science. In this paper we argue for and propose a specialized approach for the usage of embedded Domain-Specific Modelling Languages (embedded DSMLs) in Model-Driven Engineering (MDE) processes that in particular supports automated many-step model transformation chains. It can happen that information defined at some point, using an embedded DSML, is not required in the next immediate transformation step, but in a later one. We propose a new approach of model annotation enabling flexible many-step transformation chains. The approach utilizes a combination of embedded DSMLs, trace models and a megamodel. We demonstrate our approach based on an example MDE process and an industrial case study.

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.