Der Beitrag stellt AutoFocus vor, einen Werkzeugprototyp zur Entwicklung verteilter, eingebetteter Systeme auf der Grundlage formaler Techniken. AutoFocus unterstützt die Systementwicklung mit integrierten, im wesentlichen graphischen Beschreibungstechniken, mit deren Hilfe sowohl unterschiedliche Sichten als auch verschiedene Abstraktionsebenen eines Systems beschrieben werden. Um konsistente und vollst?ndige Beschreibungen sicherzustellen, bietet AutoFocus die M?glichkeit, Konsistenzbedingungen zu formulieren und Systembeschreibungen daraufhin zu überprüfen. Aus ausführbaren Spezifikationen k?nnen Prototypen des entwickelten Systems erzeugt werden und in einer Simulationsumgebung ausgeführt und visualisiert werden. Zur formalen Verifikation von Systemeigenschaften verfügt AutoFocusüber Anbindungen an Modellprüfungswerkzeuge wie -cke oder SMV. 相似文献
This article first examines didactics from an epistemological perspective.
Didactic analysis grasps knowledge as something circulated and/or transmitted. It is distinguished from sociological and psychological approaches to the learning act that legitimize the sociology of education, and from cognitive approaches.
Modifying the learner's individual knowledge so that it conforms to institutional knowledge is a scholastic goal that, in our view, defines the field of didactic research.
The second part of the article proposes answers to these questions: What is the status of the notions taught by the discipline? How are these notions constituted? What is the role of values and knowledge in school exercises and school goals? And what is to be understood by literary culture?
Faced with demanding time constraints and the need to compete and communicate across a global market, firms have engaged in mergers and acquisitions (M&As) to accomplish various objectives, including, but not limited to, increasing growth potential and expanding product lines. Given the vital role of knowledge in the M&A context, the aim of this case study is to explore the literature in the area of M&As from a knowledge perspective and to investigate the knowledge variable in the local Hellenic Post-Merger Integration (PMI) of the Roche Consumer Health division acquired by Bayer, both leading multinational pharmaceutical companies. The study focuses on whether the stakeholders think that one specific factor, namely knowledge transfer, has helped them develop towards one high-performance body, and, if so, what were the most significant experiences leading to this development. We followed a number of employees from both. The results of the study provide a better understanding of the key drivers of the knowledge transfer in a PMI. The critical factors (macro and micro) encourage or discourage knowledge transfer in integrating organizations. The assessment took place approximately six months after the contractual completion of the acquisition and was based on the management and co-workers’ perception of how integration at the Greek Bayer company had progressed. The Orton case study was developed as a complement to the theoretical framework on intangible synergies in the M&A context. It provides a practical perspective regarding the complexities and peculiarities involved in each M&A operation by confronting the conceptual framework with field realities. 相似文献
Educational programs for young children emerged reasonably early in the history of the United States of America. The movements
of Child-Centered Education, the Nursery School, the Project Method, Curriculum Reform, and contemporary research have all
influenced mathematics in early childhood education. The Froebelian kindergarten and the Montessori Casa die Bambini (Children’s House) included approaches to teaching mathematics. This article reviews the history of mathematics education
in relation to the history of early childhood education from the turn of the twentieth century. It also discusses how research
in mathematics education attempted to gain its own identity. Throughout history, researchers have identified mathematics issues
and addressed them, defining the field, and generating a cadre of mathematics researchers. 相似文献
This case study examines why public‐sector reform in education often fails to deliver expected performance gains. Longitudinal evidence from a secondary comprehensive located in a former coalfield is used to identify constraints that frustrate government policies. Although the head and senior staff at Norcross School adopted transformational, distributed modes of leadership and implemented a rigorous target‐setting regime, the expected increase in effectiveness has not materialised. This disappointment is explained in relation to the flawed assumptions of the result‐driven effectiveness agenda, the resistance arising from continuing structural inequalities in society, and the hyperactive complexity of New Labour’s approach to managing public services. The study concludes that as the assessment regime in England provides an unreliable picture of student progress, there is no stable basis for judging the success of reform, particularly when perceived improvements in student experience are qualitative in nature. 相似文献
Various factors oblige today's parents to entrust their children to a child-care worker (CCW), providing services in the domestic sphere, either at the child's parental house or at the day-care worker's (DCW's) own home. Taking this into account, this paper examines job offers and applications for DCWs published in a regional Swiss newspaper as well as other job offers and applications published on a website called bestnounou.ch. The parents often tend to use a variety of terms, which do not point to the child-caring or rearing activity itself, but rather emphasise sociological characteristics of the CCW (age, gender, civil status), requesting, for example, a “lady”, a “grandmother”, a “student”. Thereby, the parents present the child-care work as: (1) a secondary and temporary activity in relation to another major stable activity (motherhood, apprenticeship, retirement); and (2) an activity that does not require professional skills but inborn aptitudes. Moreover, employers use as synonyms distinctive terms, which refer to various categories of CCW and domestic workers, whose schedules of conditions and salaries are regulated and differ. The parents' inclination to use terms designating the most precarious and underpaid CCW underscores the importance of child-care in the domestic sphere. It leads also to a public image of child-care workers as being a fragmented, unstable, little qualified and economically inconsistent workforce, in contrast to the stable and structural need for their specific services, allowing parents to face their familial and professional responsibilities. 相似文献
Contrary to elite performance that is approaching an asymptote, recent analyses suggested a trend for improvement in veterans. This might be attributable to a disproportionate increase in older age-group participation. We extracted 26 years (1987–2012) of men’s results of a running event in Switzerland, “La Course de l’Escalade” (7.25 km). We investigated trends in performance by five-year age-groups, taking the 10, 20, 30, and 50 fastest in each group, and then the 1st, 5th, and 10th percentiles. Taking the 10, 20, 30 or 50 fastest runners there was a trend for improvement ranging from 0.07 to 0.22 min·year?1 (p < .0001; 95% CI ?0.083 to ?0.049 and p < .0001; 95% CI ?0.250 to ?0.196 respectively) in the elder age-groups. Taking the 1st, 5th, and 10th percentiles there were no trends for improvement, and actual deteriorations up to 0.13 (p < .0001; 95% CI +0.119 to +0.138) min·year?1. Mixed-effect models with repeated measures for runners, confirmed a global deteriorating trend with an estimate of +0.11 min·year?1 (p < .0001; 95% CI +0.107 to +0.116). The results suggest that increases in performance in older runners arise from modifications of sampling from a growing population. 相似文献
In his article, ‘Recovering Humanity: Movement, Sport, and Nature’, Doug Anderson addresses the place of endurance sport, or more generally sport at large, as a potential catalyst for the good life. Anderson contrasts transcendental themes of Henry David Thoreau and Ralph Waldo Emerson with the pragmatic claims of William James and John Dewey, who focus on human possibility and growth. Our aim is to pursue the pragmatic line of thought championed by James and Dewey as a contrasting but not mutually exclusive motive to Anderson’s analysis. We contend that movement can provide humanizing possibilities even more pronounced for those subscribing to pragmatic themes (i.e., growth and the strenuous mood). We will use running and cycling to demonstrate how the strenuous mood enhances the possibility for this humanizing condition. Specifically, we argue that moving in a committed fashion allows us to deepen our relationship with the respective practice and thus opens the possibilities for ‘recovering our humanity’. 相似文献