985 resultados para formal verification


Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this article I will outline the methodological approach of a non-empirical comparative research project which I began in 2003. The project is situated in the context of the research training group “Youth Welfare in Transition” at the universities of Bielefeld and Dortmund, funded by the German Research Council (Deutsche Forschungsgemeinschaft). In that context I have organised an international conference about the modes of cooperation between school and youth work agencies with colleagues from Canada, France, Finland, Italy, Japan, the Netherlands, Russia, Switzerland, the United Kingdom, the United States, Israel, and Germany. Meeting in Bielefeld from the 9th to the 11th of October 2003, we compared the respective national arrangements of formal and non-formal education (www.uni-bielefeld.de/paedagogik/agn/ag8/Ganztagsbildung.html). This note is based on the scheme of comparison which was given to the contributors in order to help them preparing their presentations. At the moment the scheme is nearing completed with significant data prepared by the contributors/authors (see Otto/Coelen 2004), supplemented with data from research works published in German and English. The next step will be to set up an empirical project about the relationships between schools and youth work agencies in three European countries (probably France, Finland and the Netherlands).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The central question for this paper is how to improve the production process by closing the gap between industrial designers and software engineers of television(TV)-based User Interfaces (UI) in an industrial environment. Software engineers are highly interested whether one UI design can be converted into several fully functional UIs for TV products with different screen properties. The aim of the software engineers is to apply automatic layout and scaling in order to speed up and improve the production process. However, the question is whether a UI design lends itself for such automatic layout and scaling. This is investigated by analysing a prototype UI design done by industrial designers. In a first requirements study, industrial designers had created meta-annotations on top of their UI design in order to disclose their design rationale for discussions with software engineers. In a second study, five (out of ten) industrial designers assessed the potential of four different meta-annotation approaches. The question was which annotation method industrial designers would prefer and whether it could satisfy the technical requirements of the software engineering process. One main result is that the industrial designers preferred the method they were already familiar with, which therefore seems to be the most effective one although the main objective of automatic layout and scaling could still not be achieved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The Dutch “brede school” (BS) development originates in the 1990s and has spread unevenly since: quicker in the primary than secondary educational sector. In 2007, there were about 1000 primary and 350 secondary BS schools and it is the intention of the government as well as the individual municipalities to extend that number and make the BS the dominant school form of the near future. In the primary sector, a BS cooperates with crèche and preschool facilities, besides possible other neighborhood partners. The main targets are, first, to enhance educational opportunities, particularly for children with little (western-) cultural capital, and secondly to increase women’s labor market participation by providing extra familial care for babies and small children. All primary schools are now obliged to provide such care. In the secondary sector, a BS is less neighborhood-orientated than a primary BS because those schools are bigger and more often located in different buildings. As in the primary sector, there are broad and more narrow BS, the first profile cooperating with many non-formal and other partners and facilities and the second with few. On the whole, there is a wide variety of BS schools, with different profiles and objectives, dependent on the needs and wishes of the initiators and the neighborhood. A BS is always the result of initiatives of the respective school and its partners: parents, other neighborhood associations, municipality etc. BS schools are not enforced by the government although the general trend will be that existing school organizations transform into BS. The integration of formal and non-formal education and learning is more advanced in primary than secondary schools. In secondary education, vocational as well as general, there is a clear dominance of formal education; the non-formal curriculum serves mainly two lines and objectives: first, provide attractive leisure activities and second provide compensatory courses and support for under-achievers who are often students with migrant background. In both sectors, primary and secondary, it is the formal school organization with its professionals which determines the character of a BS; there is no full integration of formal and non-formal education resulting in one non-disruptive learning trajectory, nor is there the intention to go in that direction. Non-formal pedagogues are partly professionals, like youth- and social workers, partly volunteers, like parents, partly non-educational partners, like school-police, psycho-medical help or commercial leisure providers. Besides that, the BS is regarded by government educational and social policy as a potential partner and anchor for community development. It is too early to make reliable statements about the effects of the BS movement in the Netherlands concerning the educational opportunities for disadvantaged children and their families, especially those with migrant background, and combat further segregation. Evaluation studies made so far are moderately positive but also point to problems of overly bureaucratized structures and layers, lack of sufficient financial resources and, again, are uncertain about long-term effects.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Landscapes of education are a new topic within the debate about adequate and just education and human development for everybody. In particular, children and youths from social classes affected by poverty, a lack of prospects or minimal schooling are a focal group that should be offered new approaches and opportunities of cognitive and social development by way of these landscapes of education. It has become apparent that the traditional school alone does not suffice to meet this need. There is no doubt that competency-based orientation and employability are core areas with the help of which the generation now growing up will manage the start of its professional career. In addition and by no means less important, the development involves individual, social, cultural and societal perspectives that can be combined under the term of human development. In this context, the Capability Approach elaborated by Amartya Sen and Martha Nussbaum has developed a more extensive concept of human development and related it to empirical instruments. Using the analytic concept of individual capabilities and societal opportunities they shaped a socio-political formula that should be adapted in particular to modern social work. Moreover, the Capability Approach offers a critical foil with regard to further development and revision of institutionalised approaches in education and human development.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Mixed Reality (MR) aims to link virtual entities with the real world and has many applications such as military and medical domains [JBL+00, NFB07]. In many MR systems and more precisely in augmented scenes, one needs the application to render the virtual part accurately at the right time. To achieve this, such systems acquire data related to the real world from a set of sensors before rendering virtual entities. A suitable system architecture should minimize the delays to keep the overall system delay (also called end-to-end latency) within the requirements for real-time performance. In this context, we propose a compositional modeling framework for MR software architectures in order to specify, simulate and validate formally the time constraints of such systems. Our approach is first based on a functional decomposition of such systems into generic components. The obtained elements as well as their typical interactions give rise to generic representations in terms of timed automata. A whole system is then obtained as a composition of such defined components. To write specifications, a textual language named MIRELA (MIxed REality LAnguage) is proposed along with the corresponding compilation tools. The generated output contains timed automata in UPPAAL format for simulation and verification of time constraints. These automata may also be used to generate source code skeletons for an implementation on a MR platform. The approach is illustrated first on a small example. A realistic case study is also developed. It is modeled by several timed automata synchronizing through channels and including a large number of time constraints. Both systems have been simulated in UPPAAL and checked against the required behavioral properties.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Today, Digital Systems and Services for Technology Supported Learning and Education are recognized as the key drivers to transform the way that individuals, groups and organizations “learn” and the way to “assess learning” in 21st Century. These transformations influence: Objectives - moving from acquiring new “knowledge” to developing new and relevant “competences”; Methods – moving from “classroom” based teaching to “context-aware” personalized learning; and Assessment – moving from “life-long” degrees and certifications to “on-demand” and “in-context” accreditation of qualifications. Within this context, promoting Open Access to Formal and Informal Learning, is currently a key issue in the public discourse and the global dialogue on Education, including Massive Open Online Courses (MOOCs) and Flipped School Classrooms. This volume on Digital Systems for Open Access to Formal and Informal Learning contributes to the international dialogue between researchers, technologists, practitioners and policy makers in Technology Supported Education and Learning. It addresses emerging issues related with both theory and practice, as well as, methods and technologies that can support Open Access to Formal and Informal Learning. In the twenty chapters contributed by international experts who are actively shaping the future of Educational Technology around the world, topics such as: - The evolution of University Open Courses in Transforming Learning - Supporting Open Access to Teaching and Learning of People with Disabilities - Assessing Student Learning in Online Courses - Digital Game-based Learning for School Education - Open Access to Virtual and Remote Labs for STEM Education - Teachers’ and Schools’ ICT Competence Profiling - Web-Based Education and Innovative Leadership in a K-12 International School Setting are presented. An in-depth blueprint of the promise, potential, and imminent future of the field, Digital Systems for Open Access to Formal and Informal Learning is necessary reading for researchers and practitioners, as well as, undergraduate and postgraduate students, in educational technology.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Source verification and pooling of feeder cattle into larger lots resulted in higher selling prices compared to more typical sales at a southern Iowa auction market. After higher prices due to larger lot sizes were accounted for, cattle that received a specified management program and were source verified as to origin received additional price premiums. The data do not distinguish between the value of the specific management program and the value of the source verification process. However, cow–calf producers participating in the program took home more money.