Measuring the comprehensibility of Z specifications

The effects of natural language comments, meaningful variable names, and structure on the comprehensibility of Z specifications are investigated through a designed experiment conducted with a range of undergraduate and post-graduate student subjects. The times taken on three assessment questions are analysed and related to the abilities of the students as indicated by their total score, with the result that stronger students need less time than weaker students to complete the assessment. Individual question scores, and total score, are then analysed and the influence of comments, naming, structure and level of student's class are determined. In the whole experimental group, only meaningful naming significantly enhances comprehension. In contrast, for those obtaining the best score of 3/3 the only significant factor is commenting. Finally, the subjects' ratings of the five specifications used in the study in terms of their perceived comprehensibility have been analysed. Comments, naming and structure are again found to be of importance in the group when analysed as a whole, but in the sub-group of best performing subjects only the comments had an effect on perceived comprehensibility.

Measuring distributions of jump rates in disordered metal–hydrogen systems by nuclear magnetic relaxation

Monte Carlo calculations of the nuclear magnetic relaxation rate in a disordered metal–hydrogen system having a distribution of jump rates are reported. The calculations deal specifically with the spin-locked rotating-frame relaxation time T1ρ. The results demonstrate that the temperature variation of the rate is only weakly dependent on the distribution and it is therefore unlikely that the jump rate distribution can be extracted from relaxation measurements in which temperature is the main variable. It is shown that the alternative of measuring the relaxation rate over a wide range of spin-locking field strengths at a constant temperature can lead to an evaluation of the distribution.

Measuring similarity of software designs using graph matching for CBR

This paper examines different ways of measuring similarity between software design models for Case Based Reasoning (CBR) to facilitate reuse of software design and code. The paper considers structural and behavioural aspects of similarity between software design models. Similarity metrics for comparing static class structures are defined and discussed. A Graph representation of UML class diagrams and corresponding similarity measures for UML class diagrams are defined. A full search graph matching algorithm for measuring structural similarity diagrams based on the identification of the Maximum Common Sub-graph (MCS) is presented. Finally, a simple evaluation of the approach is presented and discussed.

Stakeholder engagement in sustainable housing refurbishment in the UK

The UK government is committed to effectively implement a viable sustainable agenda in the social housing sector. To this end housing associations and local authorities are being encouraged to improve the environmental performance of their new and existing homes. Whilst much attention has been focused on new housing (e.g. the Code for Sustainable Homes) little effort has been focussed on improving the 3.9 (approx) million homes maintained and managed by the public sector (in England), which, given the low rate of new build and demolition (<1% in England), will represent approximately 70% of the public housing stock in 2050. Thus, if UK is to achieve sustainable public housing the major effort will have to focus on the existing stock. However, interpreting the sustainability agenda for an existing housing portfolio is not a straight foreword activity. In addition to finding a ‘technical’ solution, landlords also haveto address the socio-economic issues that balance quality of expectations of tenants with the economic realities of funding social housing refurbishment. This paper will report the findings of a qualitative study (participatory approach) that examined the processes by which a large public landlord sought to develop a long-term sustainable housing strategy. Through a series of individual meetings and group workshops the research team identified: committed leadership; attitudes towards technology; social awareness; and collective understanding of the sustainability agenda as key issues that the organisation needed to address in developing a robust and defendable refurbishment strategy. The paper concludes that the challenges faced by the landlord in improving the sustainability of their existing stock are not primarily technical, but socio-economic. Further, while the economic challenges: initial capital cost; lack of funding; and pay-back periods can be overcome, if the political will exists, by fiscal measures; the social challenges: health & wellbeing; poverty; security; space needs; behaviour change; education; and trust; are much more complex in nature and will require a coordinated approach from all the stakeholders involved in the wider community if they are to be effectively addressed. The key challenge to public housing landlords is to develop mechanisms that can identify and interpret the complex nature of the social sustainability agenda in a way that reflects local aspirations (although the authors believe the factors will exist in all social housing communities, their relative importance is likely to vary between communities) whilst addressing Government agendas.

A case study of the effectiveness of the electronic survey as a research tool for measuring students' experience of e-learning

This paper uses a case study approach to consider the effectiveness of the electronic survey as a research tool to measure the learner voice about experiences of e-learning in a particular institutional case. Two large scale electronic surveys were carried out for the Student Experience of e-Learning (SEEL) project at the University of Greenwich in 2007 and 2008, funded by the UK Higher Education Academy (HEA). The paper considers this case to argue that, although the electronic web-based survey is a convenient method of quantitative and qualitative data collection, enabling higher education institutions swiftly to capture multiple views of large numbers of students regarding experiences of e-learning, for more robust analysis, electronic survey research is best combined with other methods of in-depth qualitative data collection. The advantages and disadvantages of the electronic survey as a research method to capture student experiences of e-learning are the focus of analysis in this short paper, which reports an overview of large-scale data collection (1,000+ responses) from two electronic surveys administered to students using surveymonkey as a web-based survey tool as part of the SEEL research project. Advantages of web-based electronic survey design include flexibility, ease of design, high degree of designer control, convenience, low costs, data security, ease of access and guarantee of confidentiality combined with researcher ability to identify users through email addresses. Disadvantages of electronic survey design include the self-selecting nature of web-enabled respondent participation, which tends to skew data collection towards students who respond effectively to email invitations. The relative inadequacy of electronic surveys to capture in-depth qualitative views of students is discussed with regard to prior recommendations from the JISC-funded Learners' Experiences of e-Learning (LEX) project, in consideration of the results from SEEL in-depth interviews with students. The paper considers the literature on web-based and email electronic survey design, summing up the relative advantages and disadvantages of electronic surveys as a tool for student experience of e-learning research. The paper concludes with a range of recommendations for designing future electronic surveys to capture the learner voice on e-learning, contributing to evidence-based learning technology research development in higher education.