57 resultados para formal verification


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Purpose – To assess the impact of a course on the development of management competencies for students over the duration of the course, by examining changes in the competencies of the students. The potential impact of student learning styles was also examined in the study.

Design/methodology/approach – A “Pre, Post, Then” design and a combination of paired sample t-tests, and alpha and beta change statistics were used to examine the change in competencies over time.

Findings – This study found that even a standard subject design had a significant and substantial impact on the management competence development of the students.

Practical implications –
From the perspective of students-as-products, the base line provided here allows for the testing of alternative designs of educational systems, whereby alternative designs have to prove a benefit above and beyond that of a basic teaching system. Therefore, the present study should assist the field of management development to create a range of design options.

Originality/value –
This study applies a powerful and under-utilised research method to provide a base line of the amount of management development that can occur in a typical formal management course, but is unique in that it includes the impact of the students’ learning styles.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Throughout this research, the notion that illustrators of children's books embark on two types of activity has been reinforced at every turn. On one hand the artist acknowledges the external world by organising images of actions and events in the contexts of place and time. This process involves bringing ideas into a physical form and demands the structuring of characters, settings, and story development. Planning and decisions are informed by imperatives that recognise the need for conventions of articulation and communication to a particular target audience. These then become a mayor priority of bookmaking and are constantly impacted on by publishers1 demands and ethical constraints. The other perspective sees the illustrator as expresser where the core of visual narratives for children celebrates the potency of imagination. Here dreams, fantasies, memories and the unconscious become the conduits to shaping sequential images. The artist is engaged not simply in visually telling a story, but rather telling facets of his or her own story. This exegesis traces the evolution of my own picture story book Eddie's Fantastic Fortnight published by Five Mile Press Publishers in tandem with the insights and reflections of five of Australia's most prominent illustrators. It examines whether the structure invested in a visual narrative liberates expressive response, ascribing to the premise that bookmaking plays an informing role to imagination. Equally it adopts the alternative position which asserts that the essence of children's books is indeed fantasy, memory and dreams. This proposition views imagination and inspiration as the primary catalyst around which illustrators build their narrative. In the often lengthy processes of bookmaking, these considerations constantly shift. I have attempted to explore and reveal these mobile and ever changing priorities, not only in my own work, but also through leading exponents in the field.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Requirements engineering is a commencing phase in the development of either software applications or information systems. It is concerned with understanding and specifying the customer's requirements of the system to be delivered. Throughout the literature, this is agreed to be one of the most crucial and, unfortunately, problematic phases in development. Despite the diversity of research directions, approaches and methods, the question of process understanding and management is still limited. Among contemporary approaches to the improvement of the current practice of Requirements Engineering, Formal Object-Oriented Method (FOOM) has been introduced as a new promising solution. The FOOM approach to requirements engineering is based on a synthesis of socio-organisational theory, the object-oriented approach, and mathematical formal specification. The entire FOOM specification process is evolutionary and involves a large volume of changes in requirements. During this process, requirements evolve through various forms of informal, semi-formal, and formal while maintaining a semantic link between these forms and, most importantly, conforming to the customer's requirements. A deep understanding of the complexity of the requirements model and its dynamics is critical in improving requirements engineering process management. This thesis investigates the benefits of documenting both the evolution of the requirements model and the rationale for that evolution. Design explanation explains and justifies the deliberations of, and decisions made during, the design activity. In this thesis, design explanation is used to describe the requirements engineering process in order to improve understandability of, and traceability within, the evolving requirements specification. The design explanation recorded during this research project is also useful in assisting the researcher in gaining insights into the creativity and opportunistic characteristics of the requirements engineering process. This thesis offers an interpretive investigation into incorporating design explanation within FOOM in order to extend and advantage the method. The researcher's interpretation and analysis of collected data highlight an insight-driven and opportunistic process rather than a strictly and systematically predefined one. In fact, the process was not smoothly evolutionary, but involved occasional 'crisis' points at which the model was reconceptualised, simplified and restructured. Therefore, contributions of the thesis lie not only in an effective incorporation of design explanation within FOOM, but also a deep understanding of the dynamic process of requirements engineering. The new understanding of the complexity of the requirements model and its dynamics suggests new directions for future research and forms a basis for a new approach to process management.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modelling of system properties and behaviour. However some system problems, particularly those drawn from the information systems problem domain, may be difficult to model in crisp or precise terms. It may also be desirable that formal modelling should commence as early as possible, even when our understanding of parts of the problem domain is only approximate. This thesis suggests fuzzy set theory as a possible representation scheme for this imprecision or approximation. A fuzzy logic toolkit that defines the operators, measures and modifiers necessary for the manipulation of fuzzy sets and relations is developed. The toolkit contains a detailed set of laws that demonstrate the properties of the definitions when applied to partial set membership. It also provides a set of laws that establishes an isomorphism between the toolkit notation and that of conventional Z when applied to boolean sets and relations. The thesis also illustrates how the fuzzy logic toolkit can be applied in the problem domains of interest. Several examples are presented and discussed including the representation of imprecise concepts as fuzzy sets and relations, system requirements as a series of linguistically quantified propositions, the modelling of conflict and agreement in terms of fuzzy sets and the partial specification of a fuzzy expert system. The thesis concludes with a consideration of potential areas for future research arising from the work presented here.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper examines the different ways in which carbon rights have been verified as property interests. A carbon right is a new and unique form of land interest that confers upon the holder a right to the incorporeal benefit of carbon sequestration on a piece of forested land. Carbon sequestration refers to the absorption from the atmosphere of carbon dioxide by vegetation and soils and the storage of carbon in vegetation and soils. Innovative legislation has been introduced in each state seeking to separate the incorporeal benefit of carbon sequestration from the natural rights flowing from land ownership. The fragmentation of land ownership in this way is a constituent of broader climate change strategies and is particularly important for an Australian emissions trading scheme where carbon rights will acquire value as tradable offsets. This paper will explore the different legislative responses of each state to the proprietary characterisation of the carbon right as a land interest. It will argue that verifying the carbon right as a new statutory property interest, in line with the approach set out in the Carbon Rights Act 2003 (WA), is preferable to aligning it with preconceived categories of common law servitude. By articulating the  carbon right as a new form of statutory interest, unique in status and form, its sui generis character is more accurately reflected. Further, statutory validation of the carbon right as a new land interest is more efficient as legislative rules are more visible and therefore come to the attention of other market participants more quickly and at a lower cost without the burden and complexity associated with expressing the right through the prism of pre-conceived and non-responsive common law forms.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This study focuses on non-formal education provision for women workers in industry in Thailand. It consists of a dissertation and four elective studies. The dissertation explored the possibilities to improve women workers' quality of life. The experience gained from the research formed the Participatory Approach Model called "PAM".

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This study investigated how the quality of heterosexual relationships was affected by individuals views of themselves, their partners and how they thought their partners viewed them. Relationship quality was more affected by mood and by how respondents thought their partners viewed them, than by the reality of their partner's views.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

An efficient formal synthesis of hyphodermin B 1, a metabolite of Hyphoderma radula, has been completed in 15% overall yield. The tricyclic carbon skeleton 3 was rapidly assembled from a novel vinyl enone via a Diels−Alder reaction, followed by dehydrogenation and anhydride formation. Selective reduction of anhydride 3 with LiAlH(t-BuO)3 gave hyphodermin B 1 in 99% yield. The structure of hyphodermin B 1 was confirmed by X-ray crystallographic analysis. The anhydride 3, bearing a γ-carbonyl group, displayed unexpected reactivity with the anhydride carbonyl closest to the γ-ketone being the most electrophilic site. This was confirmed by HF/6-31G* calculations. In the presence of base, 3 underwent a rearrangement to the novel lactone 16.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper commences with an overview of the Vietnamese financial sector and a survey of the main reforms to this sector implemented since the late 1980s. A descriptive analysis is then provided, which compares some key characteristics of pre- and post-financial reform borrowing and savings activities using the Vietnam Living Standard Surveys of 1992/93 and 1997/98.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The abolition of riparian entitlements in the early stages of colonial Australia and the vesting of these rights in the Crown represented a turning point for the evolution of private water rights. The extinguishment of common law rights connected to vested land interests and the introduction of new, unaligned statutory entitlements provided a new and fundamentally different system for the creation and regulation of private water entitlements. Unlike riparian entitlements, in the absence of express definition, statutory water entitlements may only be verified as property where such a construction is consistent with the nature and scope of the entitlement. In this respect, the statutory framework has disaggregated the propertisation of water rights from land ownership and linked the process to broader statutory interpretation principles. The shift away from institutional property has generated concerns about the interpretive approaches appropriate for the verification of legislative water entitlements. This article examines the existing interpretive approaches and argues that the blurring of the propertisation process with the separate issue of whether any change or modification of such water rights attracts s 51(xxxi) of the Commonwealth Constitution has produced a situation where core property indicia is increasingly overshadowed by legislative defeasibility. In the recent High Court decision of ICM Agriculture Pty Ltd v Commonwealth, the focus of the majority judgements upon the inherent susceptibility of legislative entitlements to variation or extinguishment acted as a catalyst for the non-propertisation of statutory bore water licences in New South Wales. The emphasis the majority judgements gave to legislative defeasibility precluded a full and balanced assessment of other highly relevant property indicia, in particular the expectation interests of the holders. Conflating property and constitutional evaluation in this way is inappropriate in an era where entitlements to natural resource interests are increasingly statute based and the verification process has significant social and economic repercussions. Determining whether a statutory entitlement constitutes property requires a careful balancing of legislative intent, social and environmental context and individual expectation and the vicissitudes of a regulatory context should not eclipse this process.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper presents a novel driver verification algorithm based on the recognition of handgrip patterns on steering wheel. A pressure sensitive mat mounted on a steering wheel is employed to collect a series of pressure images exerted by the hands of the drivers who intend to start the vehicle. Then, feature extraction from those images is carried out through two major steps: Quad-Tree-based multi-resolution decomposition on the images and Principle Component Analysis (PCA)-based dimension reduction, followed by implementing a likelihood-ratio classifier to distinguish drivers into known or unknown ones. The experimental results obtained in this study show that the mean acceptance rates of 78.15% and 78.22% for the trained subjects and the mean rejection rates of 93.92% and 90.93% to the un-trained ones are achieved in two trials, respectively. It can be concluded that the driver verification approach based on the handgrip recognition on steering wheel is promising and will be further explored in the near future.