Le test à base de modèle, en particulier test basé sur des assistants à la preuve, réduit de façon transparente l'écart entre la théorie, le modèle formel, et l’implémentation d'un système informatique. Actuellement, les techniques de tests offrent une possibilité d'interagir directement avec de "vrais" systèmes : via différentes propriétés formelles, les tests peuvent être dérivés et exécutés sur le système sous test. Convenablement, l'ensemble du processus peut être entièrement automatisé. Le but de cette thèse est de créer un environnement de test de séquence à base de modèle pour les programmes séquentiels et concurrents. Tout d'abord une théorie générique sur les monades est présentée, qui est indépendante de tout programme ou système informatique. Il se trouve que notre théorie basée sur les monades est assez expressive pour couvrir tous les comportements et les concepts de tests. En particulier, nous considérons ici : les exécutions séquentielles, les exécutions concurrentes, les exécutions synchronisées, les exécutions avec interruptions. Sur le plan conceptuel, la théorie apporte des notions comme la notion raffinement de test, les cas de tests abstraits, les cas de test concrets, les oracles de test, les scénarios de test, les données de tests, les pilotes de tests, les relations de conformités et les critères de couverture dans un cadre théorique et pratique. Dans ce cadre, des règles de raffinement de comportements et d'exécution symbolique sont élaborées pour le cas générique, puis affinées et utilisées pour des systèmes complexes spécifique. Comme application pour notre théorie, nous allons instancier notre environnement par un modèle séquentiel d'un microprocesseur appelé VAMP développé au cours du projet Verisoft. Pour le cas d'étude sur la concurrence, nous allons utiliser notre environnement pour modéliser et tester l'API IPC d'un système d'exploitation industriel appelé PikeOS.Notre environnement est implémenté en Isabelle / HOL. Ainsi, notre approche bénéficie directement des modèles, des outils et des preuves formelles de ce système. / Formal methods can be understood as the art of applying mathematical reasoningto the modeling, analysis and verification of computer systems. Three mainverification approaches can be distinguished: verification based on deductive proofs,model checking and model-based testing.Model-based testing, in particular in its radical form of theorem proving-based testingcite{brucker.ea:2012},bridges seamlessly the gap between the theory, the formal model, and the implementationof a system. Actually,theorem proving based testing techniques offer a possibility to directly interactwith "real" systems: via differentformal properties, tests can be derived and executed on the system under test.Suitably supported, the entire process can fully automated.The purpose of this thesis is to create a model-based sequence testing environmentfor both sequential and concurrent programs. First a generic testing theory basedon monads is presented, which is independent of any concrete program or computersystem. It turns out that it is still expressive enough to cover all common systembehaviours and testing concepts. In particular, we consider here: sequential executions,concurrent executions, synchronised executions, executions with abort.On the conceptual side, it brings notions like test refinements,abstract test cases, concrete test cases,test oracles, test scenarios, test data, test drivers, conformance relations andcoverage criteria into one theoretical and practical framework.In this framework, both behavioural refinement rules and symbolic executionrules are developed for the generic case and then refined and used for specificcomplex systems. As an application, we will instantiate our framework by an existingsequential model of a microprocessor called VAMP developed during the Verisoft-Project.For the concurrent case, we will use our framework to model and test the IPC API of areal industrial operating system called PikeOS.Our framework is implemented in Isabelle/HOL. Thus, our approach directly benefitsfrom the existing models, tools, and formal proofs in this system.

Thesis(M.A. (Social Work)) -- University of Limpopo, 2016 / The purpose of the study was to evaluate the effectiveness of an Employee Assistance Programme (EAP) in South African Police services, within Lephalale Municipality, Waterberg District in Limpopo Province. The study was conducted within seven police stations. The sample comprised of 189 employees some of whom were employed in terms of the SAPS Act No. 63 of 1995 and others who were employed in terms of the Public Service Act No 103 of 1995. The sample was drawn from the population of 398 of employees using systematic random sampling method. The research approach followed in this study was quantitative and data was collected through the administration of questionnaires over a period of (8) eight days. Respondents were requested to give their experiences and understanding of the functioning of the EAP programme, awareness of the programme, satisfaction with the programme and how accessible the programme was to them. A theoretical background on the effectiveness of the Employee Assistance Programme in this study was provided through literature. In the literature, the goals, objectives and intentions of EAP were discussed. The aspects of EAP which are critical for EAP effectiveness were also explored and discussed. These include the benefits of utilising EAP, the rationale for EAP evaluation, the nature of EAP functioning in SAPS and EAP core technologies. The findings of the study are based on the one hundred and eighty nine (189) questionnaires that were returned by respondents. The findings were presented through tables and graphs and also interpreted using words. The study generally found that employees are aware of the existence of EAP within SAPS, though the utilisation rate was very low. However there is a need to improve EAP operation and strategies within SAPS to allow EAP to reach more employees. Based on the findings of the study, conclusions and recommendations were made regarding the improvement of the EAP in SAPS.

The main goal of this diploma thesis is based on conceptual analysis and empirical research to assess the suitability of the concept of poverty culture (Oscar Lewis) for analyzing the situation of socially excluded people - specifically Roma - in the Czech Republic with emphasis on education. In the first part of the work I will focus on the analysis of key terms and concepts related to racism, ethnicity and especially the culture of poverty. The second part is devoted to the issue of Roma education in the Czech Republic. I will use the knowledge from these parts as a basis for the operationalization of the given conceptual field into a form usable for empirical research. The last part introduces the implementation of a qualitative research probe between teachers and teaching assistants in a selected socially excluded locality, which focuses mainly on their work motivation and approach to socially excluded localities, etc. My research shows that the concept of Oscar Lewis can be applied in a school environment.

This thesis describes concept and implementation of application assisting balloon pilots with guiding to a chosen target. Theoretical part is focused on basics of ballooning and navigation. Designed application uses proprietary OziExplorer files, clearly displays all information from external GPS unit connected via COM port and saves travelled path and waypoints. Important feature of the application is getting forecast of wind flow in various altitudes from the internet before the flight and analysis of information from GPS for calculation actual air flow during flight. In the end of this thesis the application is tested in real environment and its functionality is evaluated.

The master's thesis focuses on the creation of the Yourcut application for streamlining the services of barbering. The main goal of this work is to create an application and deploy it in a smart mirror, built directly to the needs of the application. The whole work can be divided into three parts. In the first part, the reader gets acquainted with all the technological prerequisites that need to be known in order to understand the whole work. The second part describes and analyzes. It summarizes the problems associated with creating an application and all the technical and technological prerequisites for the application to be created correctly. In the last part there is a description of the application creating, along with the construction of a smart mirror and their deployment.

This diploma thesis deals with the qualification requirements for the role of teacher's assistants.The main aim of this thesis is to find out a level of satisfaction of teacher's assistants with the current form of qualification courses for teachers assistant role. The diploma thesis consists of four chapters, three of them are theoretical and the last chapter is a practical part. Theoretical part defines legislative background for the role of teacher's assistant, preferred personal traits, abilities and skills, the scope of work and the possibility of obtaining professional qualification and further education for the role of teacher's assistants. Also, there is a comparison of the teacher's assistant role in Czech Republic and abroad.

I denna studie undersöks samverkan mellan lärare och elevassistenter inom grund-och gymnasiesärskolan. Studien är induktiv och syftar till att beskriva olika uppfattningar kring samverkan och dess förutsättningar samt påverkan på elevers utveckling och lärande. Till detta har en kvalitativ metod i form av semistrukturerade intervjuer och en fenomenografisk analysansatsanvänts. Fem lärare och fyra elevassistenter från olika skolor och olika kommuner har intervjuats.  Dataanalysen mynnade ut i fem beskrivningskategorier; att vara delaktig, att ta ansvar utifrån den egna yrkesrollen, att dela ett gemensamt synsätt, att hitta en personkemi och en kontinuitet i gruppen samt att motivera till utveckling och lärande. Studien visar på att en fungerande samverkan anses skapatrivsel på arbetsplatsen samtidigt som den anses kunna gynna elevers utveckling och lärande. Studien lyfter även fram problematiken kring otydliga roller, ansvarsområden och ledarskap i samverkan, bland annat till följd av olika utbildningsbakgrunder och otydliga direktiv i styrdokument. Personkemi, kontinuitet i personalgruppen och en öppen kommunikation får därför en särskilt viktig betydelse för lärares och elevassistenters möjligheter att finna den samsyn och tydlighet kring roller och ansvarsområden som samverkan kräver. Studien innehåller också diskussionsfrågor, vilka kan användas som underlag för utvecklingsarbete. Därmed utgör studien även ett yrkesrelevant bidrag för speciallärare. / This study examines collaboration between teachers and assistants in special needs schools. The study is inductive and aims to describe the variation of perception about collaboration. A qualitative method with interviews and a phenomenographic approach has been used. Five teachers and four assistants, from different schools and municipals, have been interviewed. The study presents five categories; to be participant, to take responsibility in your profession, to share consensus, to find chemistry and continuity in the group and to motivate development and learning. The study discovers that a functional collaboration can create well-being and encourages student development and learning. The study also shows problems according to vague roles, responsibilities and leadership in collaboration, due to different educational background and indistinct curriculum. Therefore chemistry, continuity and an open communication plays an important role in teaches and assistant ability to find the consensus, roles and responsibilities that collaboration demands. The study also contains questions, which can be used by teachers in special schools.

Bakgrund: The Big Four anses, likt tidigare år, vara en bland de 100 mest attraktiva arbetsgivarna i Sverige vilket indikerar att det fortfarande är av stort intresse att arbeta med revision. Att arbeta med revision innebär att alla anställda arbetar tillsammans, och en revisor kan ses som en länk mellan det företag som de reviderar och företagets intressenter. Titeln auktoriserad revisor är skyddad och kräver dels en teoretisk- och en praktisk utbildning som ges från en ekonomiutbildning samt teoretisk och praktisk erfarenhet på en revisionsbyrå. Tidigare forskning har belyst problematiken mellan olika uppfattningar kring förväntningar från revisionsbyråer och nyutexaminerade ekonomers kompetens. Problemformulering: Vilket gap existerar mellan revisionsbyråers förväntningar och nyutexaminerade ekonomers erhållna kompetens, ställt mot den kompetensen som erhållits från en ekonomiutbildning på kandidatnivå? Syfte: Studien syftar i att utforska hur väl förbereda nyutexaminerade ekonomer är utifrån revisionsbyråernas förväntningar på deras kompetens. Samt om det finns en eventuell avsaknad på den förväntade kompetensen ställt mot akademins utbildning, genom att undersöka om den kompetens som nyutexaminerade ekonomer erhållit från sin utbildning överensstämmer med vad medlemmar i redovisningskollegiet anser att de ska ha erhållit vid examen. Metod: I studien har en kvalitativ metod använts och det empiriska materialet samlades in genom semistrukturerade intervjuer. De intervjuade informanterna representerar tre olika grupper: rekryteringsansvariga, revisorsassistenter samt medlemmar i ett redovisningskollegie på en högskola. Resultat och slutsats: Studiens resultat visar att det finns en förväntan på att de nyutexaminerade ekonomerna ska besitta grundläggande redovisningskunskaper samt att det finns en klyfta mellan vilka färdigheter som ska erhållits vid examination från en ekonomiutbildning på kandidatnivå och vilka som därefter uppnås på revisionsbyråerna. Detta leder fram till att en förändring måste ske, antingen av utbildningsplanen eller av innehållet i utbildningen. / Background: As in previous years is The Big Four considered one of the 100 most attractive employers in Sweden, which indicates that it is still of great interest to work with auditing. Working with auditing means a teamwork, and an auditor can be seen as a link between the company they audit and the company's stakeholders. The Swedish title for certified public accountant is protected and requires both a theoretical and a practical education, in the form of bachelor’s degree in economics and additional theoretical education according with RI studies curricula and practical at an auditing firm. Previous research has highlighted the problem of differing perceptions of expectations from audit firms and the skills of newly graduated economists. Question: What gap exists between the auditing firms expectation and graduate economics view of acquired competence, compared to the competence gained from an bachelor of economics? Purpose: The study aims to explore how well prepared newly graduated economists are based on the auditing firms expectations of their competence. As well as whether there is a possible lack of the expected competence placed against the education of the academy, by examining whether the skills that newly graduated economists obtained from their education correspond to what members of the accounting college believe they should have obtained at the degree. Method: In this study, a qualitative method was used, and the empirical material was collected through semi-structured interviews. The interviewees interviewed three different groups: recruiters, assistant auditors and faculty members of the Accounting College of a university. Results and conclusions: The results of the study shows that there is an expectation, that the newly graduated economists should possess basic accounting knowledge and that there is a gap between the received competences obtained at the examination from the bachelor studies and which are subsequently obtained at the accounting firms. A change needs to be made, either by the educational plan or by the content of the education.

In Diploma thesis, the author addresses the issue of educating a pupil with Duchenne Muscular Dystrophy (DMD). In the introduction, she explains her choice of the theme. In the theoretical part the author presents muscular dystrophy, its course, manifestations, treatment options and support, based on a study of professional medical, pedagogical, psychological and specifically pedagogical literature, It will also describe the specifics of the disease in relation to education of pupils with Duchenne muscular dystrophy and will list the educational possibilities for pupils with this disease in the Czech Republic. In the practical part, the author presents a qualitative research conducted through the analysis of a case study of a particular pupil, from his passive as well as participating observation in the classroom, from semi-structured interviews with the pupil's mother, with his teachers and his teaching assistant, with this particular pupil with DMD and his classmates. In addition to this the analysis of school documents, SPC reports and medical reports are considered. The author evaluates the possibilities of education of pupils with Duchenne muscular dystrophy. This issue is viewed from the side of the pupil himself, his classmates, teachers, teaching assistants and parents. Based on her...

This thesis deals with teachers' attitudes towards mental hygiene in a special primary school for pupils with severe and multiple disabilities. It aims to describe and understand attitudes towards mental hygiene at a cognitive, emotional and conative level. Theoretical part of the thesis describes special primary school, the profession of teachers, summarizes the theoretical knowledge of mental hygiene and defines attitude. The thesis further contains qualitative research, which uses the method of semi-structured interview and answers the research question. According to the results of the research, teachers in special primary school have positive attitudes towards mental hygiene at all levels. Their opinions, thoughts and ideas coincide with findings from professional literature. For the teachers, mental hygiene is associated with pleasant emotions. Using the tools and techniques of mental hygiene helps them to minimize the psychological demands of their profession. KEYWORDS mental hygiene, attitude, special school, teacher, assistant teacher