A Comparison of Paediatric Occupational Therapy University Program Curricula in New Zealand, Australia, and Canada

Comparisons were made of the paediatric content of professional entry-level occupational therapy university program curricula in Australia, New Zealand, and Canada using an ex post facto surveymethodology. The findings indicated that in Australia/New Zealand, paediatrics made up 20% of the total curriculum, but only 13% in Canada. Canadian reference materials were utilized less often in Canadian universities than in Australia/New Zealand. Theories taught most often in Australia/New Zealand were: Sensory Integration, Neurodevelopmental Therapy, Client-Centered Practice, Playfulness, and the Model of Human Occupation. In Canada, the most frequent theories were: Piaget’s Stages ofCognitive/Intellectual Development, Neurodevelopmental Therapy, Erikson’s Eight Stages of Psychosocial Development and Sensory Integration. The most frequently taught paediatric assessment tools in both regions were the Bruininks-Oseretsky Test of Motor Proficiency and Miller Assessment for Preschoolers. Paediatric interventionmethods taught to students in all three countries focused on activities of daily living/self-care, motor skills, perceptual and visual motor integration, and infant and child development. [Article copies available for a fee from The Haworth Document Delivery Service: 1-800-HAWORTH. E-mail address: Website: ©2006 by The Haworth Press, Inc. All rights reserved.]

Stepping Stones Triple P: A pilot study to evaluate acceptability of the program by parents of a child diagnosed with an Autism Spectrum Disorder

The experience of parents of children with Autism Spectrum Disorder (ASD) in standard parenting programs has not been researched, although anecdotal evidence suggests that they do not find them acceptable. Forty-two parents of children with ASD were asked to view a DVD explaining individual parenting strategies from Stepping Stones, a new branch of the Triple P program targeted specifically at parents of children with disabilities. Parents were asked to rate each strategy for acceptability, usability and behavioural intention, i.e., their intention to use the strategy. Additionally, parental attributions and parental perceived control were explored as possible barriers to positive evaluations of Stepping Stones parenting strategies. A focus group of parents was used to gather more detailed parent response to the program. Parent responses to the program were generally positive and attribution of the child's behaviour to uncontrollable factors was found to predict higher ratings of usability. The results were interpreted within the context of Weiner's attributional theory and the theory of reasoned action. The limitations of this study and suggestions for future research are discussed. (c) 2005 Elsevier Ltd. All rights reserved.

Extending the theory of Owicki and Gries with a logic of progress

This paper describes a logic of progress for concurrent programs. The logic is based on that of UNITY, molded to fit a sequential programming model. Integration of the two is achieved by using auxiliary variables in a systematic way that incorporates program counters into the program text. The rules for progress in UNITY are then modified to suit this new system. This modification is however subtle enough to allow the theory of Owicki and Gries to be used without change.

Termination of real-time programs: Definitely, definitely not, or maybe

Real-time control programs are often used in contexts where (conceptually) they run forever. Repetitions within such programs (or their specifications) may either (i) be guaranteed to terminate, (ii) be guaranteed to never terminate (loop forever), or (iii) may possibly terminate. In dealing with real-time programs and their specifications, we need to be able to represent these possibilities, and define suitable refinement orderings. A refinement ordering based on Dijkstra's weakest precondition only copes with the first alternative. Weakest liberal preconditions allow one to constrain behaviour provided the program terminates, which copes with the third alternative to some extent. However, neither of these handles the case when a program does not terminate. To handle this case a refinement ordering based on relational semantics can be used. In this paper we explore these issues and the definition of loops for real-time programs as well as corresponding refinement laws.

Compositional class refinement in object-Z

Object-Z allows coupling constraints between classes which, on the one hand, facilitate specification at a high level of abstraction, but, on the other hand, make class refinement non-compositional. The consequence of this is that refinement is not practical for large Systems. This paper overcomes this limitation by introducing a methodology for compositional class refinement in Object-Z. The key step is an equivalence transformation of an arbitrary Object-Z specification to one in which introduced constraints prohibit non-compositional refinements. The methodology also allows the constraints which couple classes to be refined yielding an unrestricted approach to compositional class refinement.

The real-time refinement calculus: A foundation for machine-independent real-time programming

The real-time refinement calculus is an extension of the standard refinement calculus in which programs are developed from a precondition plus post-condition style of specification. In addition to adapting standard refinement rules to be valid in the real-time context, specific rules are required for the timing constructs such as delays and deadlines. Because many real-time programs may be nonterminating, a further extension is to allow nonterminating repetitions. A real-time specification constrains not only what values should be output, but when they should be output. Hence for a program to implement such a specification, it must guarantee to output values by the specified times. With standard programming languages such guarantees cannot be made without taking into account the timing characteristics of the implementation of the program on a particular machine. To avoid having to consider such details during the refinement process, we have extended our real-time programming language with a deadline command. The deadline command takes no time to execute and always guarantees to meet the specified time; if the deadline has already passed the deadline command is infeasible (miraculous in Dijkstra's terminology). When such a realtime program is compiled for a particular machine, one needs to ensure that all execution paths leading to a deadline are guaranteed to reach it by the specified time. We consider this checking as part of an extended compilation phase. The addition of the deadline command restores for the real-time language the advantage of machine independence enjoyed by non-real-time programming languages.

Towards a refinement calculus for concurrent real-time programs

We define a language and a predicative semantics to model concurrent real-time programs. We consider different communication paradigms between the concurrent components of a program: communication via shared variables and asynchronous message passing (for different models of channels). The semantics is the basis for a refinement calculus to derive machine-independent concurrent real-time programs from specifications. We give some examples of refinement laws that deal with concurrency.

Extending the theory of Owicki and Gries with asynchronous message passing

We describe an extension of the theory of Owicki and Gries (1976) to a programming language that supports asynchronous message passing based on unconditional send actions and conditional receive actions. The focus is on exploring the fitness of the extension for distributed program derivation. A number of experiments are reported, based on a running example problem, and with the aim of exploring design heuristics and of streamlining derivations and progress arguments.

Integrating runtime assertions with dynamic types: Structuring a derivation from an incomputable specification

An inherent incomputability in the specification of a functional language extension that combines assertions with dynamic type checking is isolated in an explicit derivation from mathematical specifications. The combination of types and assertions (into "dynamic assertion-types" - DATs) is a significant issue since, because the two are congruent means for program correctness, benefit arises from their better integration in contrast to the harm resulting from their unnecessary separation. However, projecting the "set membership" view of assertion-checking into dynamic types results in some incomputable combinations. Refinement of the specification of DAT checking into an implementation by rigorous application of mathematical identities becomes feasible through the addition of a "best-approximate" pseudo-equality that isolates the incomputable component of the specification. This formal treatment leads to an improved, more maintainable outcome with further development potential.

DOS CABIDES DE EMPREGO AOS CABIDES DO CONHECIMENTO: UM CASO DE PARCERIA ENTRE O INSTITUTO GENERAL MOTORS E A ESCOLAMUNICIPAL DE ENSINO PROFª. ALCINA DANTAS FEIJÃO NO DESENVOLVIMENTO DA RESPONSABILIDADE SOCIAL EMPRESARIAL

O Brasil, até poucos anos atrás, não via em sua agenda de prioridades a educação como foco principal para o crescimento econômico, talvez por não acreditar que com a estabilidade da moeda, abertura da economia e outros fatores necessitassem de pessoal qualificado para poder manter a capacidade produtiva. Assim, o país tenta corrigir esta situação investindo em educação, incorporando novas tecnologias no processo produtivo, necessitando de uma força de trabalho hábil para aprender e desenvolver as novas técnicas. Atualmente o Brasil mantém um dos menores índices de desemprego, no entanto, muitas empresas sofrem com o apagão da qualificação, necessitando realizar treinamentos e por consequência aumento em seus custos. As empresas tentam driblar a falta de pessoal qualificado investindo nos programas de estágio e trainee, realizando contratações de profissionais estrangeiros, criando universidades corporativas, e em alguns casos, as empresas estreitam seus laços junto às redes de ensino, a fim de preparar jovens para o domínio de novas tecnologias, associado ao aprimoramento em sua área de atuação, evitando assim o desequilíbrio entre teoria e prática . As organizações empresariais conscientes de seu papel começam a compreender que a prosperidade tão almejada não se traduz por faturamentos vultosos ou simplesmente pela quantidade de produtos vendidos. Estas despertam para a criação e adaptação de empresas-cidadãs que por meio de suas ações sociais, buscam desenvolver atividades solidárias. Neste contexto, o presente trabalho tem como objetivo geral analisar a Responsabilidade Social Empresarial sob a ótica de parcerias com escolas (parceria entre a General Motors do Brasil, por meio de seu braço social - o Instituto General Motors e a Escola Municipal de Ensino Profª. Alcina Dantas Feijão da Cidade de São Caetano do Sul). A parceria se concretiza, por meio do Programa Jovens Empreendedores ou Fábrica de Cabides . O intuito do Programa é despertar o espírito empreendedor nos estudantes e incentivar a formação de futuros empresários. Com os objetivos específicos determinou-se: a) estudar parcerias entre empresas e escolas no desenvolvimento da RSE; b) entender os motivos que levaram a empresa e a escola a concretizar a parceria e suas expectativas; c) identificar possíveis alterações ocorridas na escola, atribuídas ao processo de parceria. A partir destes objetivos, o procedimento metodológico foi orientado pelo método de estudo de caso, objetivando uma pesquisa mais voltada para abordagem qualitativa, levantando-se referenciais teóricos, bem como, procedimentos de análise de dados por meio de questionário, observação direta e artefatos físicos. A análise compreensiva dos dados foi realizada a partir de dois núcleos temáticos: importância da parceria e mercado de trabalho. Os resultados evidenciam que iniciativas de parcerias podem se reverter em melhoria da qualidade de ensino que permita o desenvolvimento de habilidades e competências necessárias à inserção responsável no mercado de trabalho com uma dimensão cidadã.

Automatic refinement of constructive solid geometry models

Geometric information relating to most engineering products is available in the form of orthographic drawings or 2D data files. For many recent computer based applications, such as Computer Integrated Manufacturing (CIM), these data are required in the form of a sophisticated model based on Constructive Solid Geometry (CSG) concepts. A recent novel technique in this area transfers 2D engineering drawings directly into a 3D solid model called `the first approximation'. In many cases, however, this does not represent the real object. In this thesis, a new method is proposed and developed to enhance this model. This method uses the notion of expanding an object in terms of other solid objects, which are either primitive or first approximation models. To achieve this goal, in addition to the prepared subroutine to calculate the first approximation model of input data, two other wireframe models are found for extraction of sub-objects. One is the wireframe representation on input, and the other is the wireframe of the first approximation model. A new fast method is developed for the latter special case wireframe, which is named the `first approximation wireframe model'. This method avoids the use of a solid modeller. Detailed descriptions of algorithms and implementation procedures are given. In these techniques utilisation of dashed line information is also considered in improving the model. Different practical examples are given to illustrate the functioning of the program. Finally, a recursive method is employed to automatically modify the output model towards the real object. Some suggestions for further work are made to increase the domain of objects covered, and provide a commercially usable package. It is concluded that the current method promises the production of accurate models for a large class of objects.

Exploring the experiences of nurses who care for children who have Acute Life Threatening Events (ALTE) in hospital

This thesis presents a program of work designed to explore and describe what the experience of caring for a child who has an Acute Life Threatening Event (ALTE) is like for the nurses. An ALTE may include a cardiac arrest, respiratory arrest or unplanned admission for a ward to the Paediatric Intensive Care unit. Using the MRC framework for the development of complex interventions, this information was then coupled with theory to develop the PREPARE and SUPPORT interventions. Given the wide-ranging and exploratory nature of this research, a pragmatic, mixed design approach was used to address the aims and objectives of the thesis. The mixed design approach included: a systematic literature review; international survey of practice; interviews with nurses and doctors using Interpretative Phenomenological Analysis; development, refinement and evaluation of interventions during a feasibility study. Two studies were identified through the systematic review which aimed to evaluate the effectiveness of debriefing. The studies did not provide evidence to support the use of these interventions within healthcare. The international survey of practice demonstrated hospitals were using interventions to both prepare and support nurses for these events. The preparatory interventions were clinically focused and the majority of the supportive interventions included a debrief. The interventions were not being evaluated for effectiveness. The interviews conducted with nurses and doctors provided insight into what that experience was like for the participants. Using the MRC framework, this evidence was coupled with theory to develop the PREPARE and SUPPORT interventions. A multidisciplinary working party used an iterative process to refine and evaluate the interventions and study procedures were explored through a feasibility study. The pragmatic, mixed design approach demonstrated how the empirical evidence was coupled with theory and clinical expertise to develop interventions for use within the healthcare environment.