44 resultados para Model-driven development. Domain-specific languages. Case study
Resumo:
In this paper we use sensor-annotated abstraction hierarchies (Reising & Sanderson, 1996, 2002a,b) to show that unless appropriately instrumented, configural displays designed according to the principles of ecological interface design (EID) might be vulnerable to misinterpretation when sensors become unreliable or are unavailable. Building on foundations established in Reising and Sanderson (2002a) we use a pasteurization process control example to show how sensor-annotated AHs help the analyst determine the impact of different instrumentation engineering policies on a configural display that is part of an ecological interface. Our analyses suggest that configural displays showing higher-order properties of a system are especially vulnerable under some conservative instrumentation configurations. However, sensor-annotated AHs can be used to indicate where corrective instrumentation might be placed. We argue that if EID is to be effectively employed in the design of displays for complex systems, then the information needs of the human operator need to be considered while instrumentation requirements are being formulated. Rasmussen's abstraction hierarchy-and particularly its extension to the analysis of information captured by sensors and derived from sensors-may therefore be a useful adjunct to up-stream instrumentation design. (C) 2002 Elsevier Science Ltd. All rights reserved.
Resumo:
This paper explores young people's (9 to 15 years old) early socialisation into sport. We draw on data from an 18-month-long ethnography of the junior section of an athletics club in England, using field notes, interviews and a psychometric questionnaire. We begin by noting a trend towards increasing numbers of younger children participating in adult-organised, community-based sport. Within this context, we investigate the extent to which Siedentop's [(1995) Junior Sport and the evolution of sport cultures, Keynote presentation to the Junior Sport Forum, Auckland, New Zealand] three main goals for young people's participation in sport, i.e. the educative, public health and elite development, are met in specific, local junior sport settings such as Forest Athletics Club (FAC). We report that most of the young people participating in the Introductory Groups at FAC begin their socialisation into sport by 'sampling' a range of sports and other activities that are available to them. We note the key features of the sampling phase for these young people, including their involvement in sports and other activities in addition to athletics, their reasons for participation, the place of competition and the importance of friendship. We report that FAC created a climate for the Samplers, intentionally or not, conducive to the development of Siedentop's educative goal, and to a lesser extent the public health and elite development goals. In concluding, we note the implications of the study for community-based programmes run by clubs.
Resumo:
During the analytical method development for BAY 11-7082 ((E)-3-[4-methylphenylsulfonyl]-2-propenenitrile), using HPLC-MS-MS and HPLC-UV, we observed that the protein removal process (both ultrafiltration and precipitation method using organic solvents) prior to HPLC brought about a significant reduction in the concentration of this compound. The use of a structurally similar internal standard, BAY 11-7085 ((E)-3-[4-t-butylphenylsulfonyl]-2-propenenitrile), was not effective in compensating for the loss of analyte as the extent of reduction was different to that of the analyte. We present here a systematic investigation of this problem and a new validated method for the determination of BAY 11-7082. (c) 2006 Elsevier B.V. All rights reserved.
Resumo:
The loss and fragmentation of forest habitats by human land use are recognised as important factors influencing the decline of forest-dependent fauna. Mammal species that are dependent upon forest habitats are particularly sensitive to habitat loss and fragmentation because they have highly specific habitat requirements, and in many cases have limited ability to move through and utilise the land use matrix. We addressed this problem using a case study of the koala (Phascolarctos cinereus) surveyed in a fragmented rural-urban landscape in southeast Queensland, Australia. We applied a logistic modelling and hierarchical partitioning analysis to determine the importance of forest area and its configuration relative to site (local) and patch-level habitat variables. After taking into account spatial auto-correlation and the year of survey, we found koala occurrence increased with the area of all forest habitats, habitat patch size and the proportion of primary Eucalyptus tree species; and decreased with mean nearest neighbour distance between forest patches, the density of forest patches, and the density of sealed roads. The difference between the effect of habitat area and configuration was not as strong as theory predicts, with the configuration of remnant forest becoming increasingly important as the area of forest habitat declines. We conclude that the area of forest, its configuration across the landscape, as well as the land use matrix, are important determinants of koala occurrence, and that habitat configuration should not be overlooked in the conservation of forest-dependent mammals, such as the koala. We highlight the implications of these findings for koala conservation. (c) 2006 Elsevier Ltd. All rights reserved.
Resumo:
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.
Resumo:
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.