A case study in specification and implementation testing

Achieving consistency between a specification and its implementation is an important part of software development In previous work, we have presented a method and tool support for testing a formal specification using animation and then verifying an implementation of that specification. The method is based on a testgraph, which provides a partial model of the application under test. The testgraph is used in combination with an animator to generate test sequences for testing the formal specification. The same testgraph is used during testing to execute those same sequences on the implementation and to ensure that the implementation conforms to the specification. So far, the method and its tool support have been applied to software components that can be accessed through an application programmer interface (API). In this paper, we use an industrially-based case study to discuss the problems associated with applying the method to a software system with a graphical user interface (GUI). In particular, the lack of a standardised interface, as well as controllability and observability problems, make it difficult to automate the testing of the implementation. The method can still be applied, but the amount of testing that can be carried on the implementation is limited by the manual effort involved.

The judicious utilization of new technologies through authentic learning in higher education: A case study

Though technology holds significant promise for enhanced teaching and learning it is unlikely to meet this promise without a principled approach to course design. There is burgeoning discourse about the use of technological tools and models in higher education, but much of the discussion is fixed upon distance learning or technology based courses. This paper will develop and propose a balanced model for effective teaching and learning for “on campus” higher education, with particular emphasis on the opportunities for revitalisation available through the judicious utilisation of new technologies. It will explore the opportunities available for the creation of more authentic learning environments through the principled design. Finally it will demonstrate with a case study how these have come together enabling the creation of an effective and authentic learning environment for one pre-service teacher education course at the University of Queensland.

Leadership across international borders: A case study of an environmental leader

This paper focuses on the story of a well-respected leader known for his tireless work in promoting and preserving the environment both within Australia and internationally. It highlights the contextual factors that have influenced and continue to influence his thinking about leadership as well as the key values he embodies as a leader. The paper begins by considering some of the salient leadership literature in the field. The next part of the paper reviews the qualitative methodology that steered the research for this paper. Following on, the paper provides a snapshot of the life forces and context that played an important role in shaping the leader’s views and practices. Finally, the paper provides an analytical discussion of the leader’s practices in the light of two well-known leadership frameworks.

A participatory design agenda for ubiquitous computing and multimodal interaction: A case study of dental practice

This paper reflects upon our attempts to bring a participatory design approach to design research into interfaces that better support dental practice. The project brought together design researchers, general and specialist dental practitioners, the CEO of a dental software company and, to a limited extent, dental patients. We explored the potential for deployment of speech and gesture technologies in the challenging and authentic context of dental practices. The paper describes the various motivations behind the project, the negotiation of access and the development of the participant relationships as seen from the researchers' perspectives. Conducting participatory design sessions with busy professionals demands preparation, improvisation, and clarity of purpose. The paper describes how we identified what went well and when to shift tactics. The contribution of the paper is in its description of what we learned in bringing participatory design principles to a project that spanned technical research interests, commercial objectives and placing demands upon the time of skilled professionals. Copyright © 2010 ACM, Inc

Risk-based maintenance model for offshore oil and gas pipelines:a case study

Offshore oil and gas pipelines are vulnerable to environment as any leak and burst in pipelines cause oil/gas spill resulting in huge negative Impacts on marine lives. Breakdown maintenance of these pipelines is also cost-intensive and time-consuming resulting in huge tangible and intangible loss to the pipeline operators. Pipelines health monitoring and integrity analysis have been researched a lot for successful pipeline operations and risk-based maintenance model is one of the outcomes of those researches. This study develops a risk-based maintenance model using a combined multiple-criteria decision-making and weight method for offshore oil and gas pipelines in Thailand with the active participation of experienced executives. The model's effectiveness has been demonstrated through real life application on oil and gas pipelines in the Gulf of Thailand. Practical implications. Risk-based inspection and maintenance methodology is particularly important for oil pipelines system, as any failure in the system will not only affect productivity negatively but also has tremendous negative environmental impact. The proposed model helps the pipelines operators to analyze the health of pipelines dynamically, to select specific inspection and maintenance method for specific section in line with its probability and severity of failure.

Managing risk in software development projects:a case study

Purpose - The main objective of the paper is to develop a risk management framework for software development projects from developers' perspective. Design/methodology/approach - This study uses a combined qualitative and quantitative technique with the active involvement of stakeholders in order to identify, analyze and respond to risks. The entire methodology has been explained using a case study on software development project in a public sector organization in Barbados. Findings - Analytical approach to managing risk in software development ensures effective delivery of projects to clients. Research limitations/implications - The proposed risk management framework has been applied to a single case. Practical implications - Software development projects are characterized by technical complexity, market and financial uncertainties and competent manpower availability. Therefore, successful project accomplishment depends on addressing those issues throughout the project phases. Effective risk management ensures the success of projects. Originality/value - There are several studies on managing risks in software development and information technology (IT) projects. Most of the studies identify and prioritize risks through empirical research in order to suggest mitigating measures. Although they are important to clients for future projects, these studies fail to provide any framework for risk management from software developers' perspective. Although a few studies introduced framework of risk management in software development, most of them are presented from clients' perspectives and very little effort has been made to integrate this with the software development cycle. As software developers absorb considerable amount of risks, an integrated framework for managing risks in software development from developers' perspective is needed. © Emerald Group Publishing Limited.

The use of counterfactual scenarios as a means to assess policy deadweight:an Irish case study

The evaluation of industrial policy interventions has attracted increasing policy and academic attention in recent years. Despite the widespread consensus regarding the need for evaluation, the issue of how to evaluate, and the associated methodological considerations, continue to be issues of considerable debate. The authors develop an approach to estimate the net additionality of financial assistance from Enterprise Ireland to indigenously owned firms in Ireland for the period 2000 to 2002. With a sample of Enterprise Ireland assisted firms, an innovative, self-assessment, in-depth, face-to-face, interview methodology was adopted. The authors also explore a way of incorporating the indirect benefits of assistance into derived deadweight estimate issue which is seldom discussed in the context of deadweight estimates. They conclude by reflecting on the key methodological lessons learned from the evaluation process, and highlight some pertinent evaluation issues which should form the focus of much future discussion in this field of research.

Retail multinational learning:a case study of Tesco

Purpose - This article examines the internationalisation of Tesco and extracts the salient lessons learned from this process. Design/methodology/ approach - This research draws on a dataset of 62 in-depth interviews with key executives, sell- and buy-side analysts and corporate advisers at the leading investment banks in the City of London to detail the experiences of Tesco's European expansion. Findings - The case study of Tesco illuminates a number of different dimensions of the company's international experience. It offers some new insights into learning in international distribution environments such as the idea that learning is facilitated by uncertainty or "shocks" in the international retail marketplace; the size of the domestic market may inhibit change and so disable international learning; and learning is not necessarily facilitated by step-by-step incremental approaches to expansion. Research limitations/implications - The paper explores learning from a rather broad perspective, although it is hoped that these parameters can be used to raise a new set of more detailed priorities for future research on international retail learning. It is also recognised that the data gathered for this case study focus on Tesco's European operations. Practical implications - This paper raises a number of interesting issues such as whether the extremities of the business may be a more appropriate place for management to experiment and test new retail innovations, and the extent to which retailers take self-reflection seriously. Originality/value - The paper applies a new theoretical learning perspective to capture the variety of experiences during the internationalisation process, thus addressing a major gap in our understanding of the whole internationalisation process. © Emerald Group Publishing Limited.

A case study on services upgrading prediction

Customer Base Analysis is perhaps the first stage of analysis in customer value, aiming to predict purchase frequency and customer lifecycle. An important part of the customer purchase frequency and its retention has to do with the service upgrade. Many models have tried to predict purchase frequency as well as upgrading. The comparison of these models seems important to provide academics with a picture of the current situation. The purpose of this research is to evaluate how models can predict service upgrade among a customer database of an online DVD rental company and suggest an alternative based on data mining techniques and data on historical transactions.

Spatio-temporal imaging of corticaldesynchronization in migraine visual aura:a magnetoencephalography case study

Objective.-To determine cortical oscillatory changes involved in migraine visual aura using magnetoencephalography (MEG). Background.-Visual aura in the form of scintillating scotoma precedes migraine in many cases. The involvement of cortical spreading depression within striate and extra-striate cortical areas is implicated in the generation of the disturbance, but the details of its progression, the effects on cortical oscillations, and the mechanisms of aura generation are unclear. Methods.-We used MEG to directly image changes in cortical oscillatory power during an episode of scintillating scotoma in a patient who experiences aura without subsequent migraine headache. Using the synthetic aperture magnetometry method of MEG source imaging, focal changes in cortical oscillatory power were observed over a 20-minute period and visualized in coregistration with the patient's magnetic resonance image. Results.-Alpha band desynchronization in both the left extra-striate and temporal cortex persisted for the duration of reported visual disturbance, terminating abruptly upon disappearance of scintillations. Gamma frequency desynchronization in the left temporal lobe continued for 8 to 10 minutes following the reported end of aura. Conclusions.-Observations implicate the extra-striate and temporal cortex in migraine visual aura and suggest involvement of alpha desynchronization in generation of phosphenes and gamma desynchronization in sustained inhibition of visual function.