Plug-ins for ISpec

ISpec is an interface specification approach where templates provide slots to write interface requirements. These requirements can be written in various "plugin" formalisms. The practical question how to implement this in a tool is answered for regular expressions as a plug-in language. The requirements expressed by the regular expressions are used to assess the correctness of requirements expressed in sequence diagrams. In fact, an editor is coupled to the tool in which a plug-in language can be defined and a slot in a template can be linked to a particular language. The theoretical question how to formalise plug-ins in a relation calculus framework is investigated

Sustainable Harvesting of Tropical Rainforests: Reply to Keto, Scott and Olsen

This paper refutes the Keto et al. proposition that the Queensland selection logging system is neither ecologically nor economically sustainable. The key requirements of this system are: (1) that logging guidelines are sympathetic to the silvicultural characteristics of the forest, ensuring adequate regeneration of commercial species and discouraging invasion by weeds; (2) tree-marking by trained staff specifies trees to be retained, trees to be removed and the direction of felling to ensure minimal damage to the residual stand; (3) logging equipment is appropriate and driven by trained operators to ensure minimal damage and soil disturbance, compaction and erosion; (4) prescriptions ensure that adequate stream buffers and steep slopes are excluded from logging; (5) sufficient areas for scientific reference, feature protection and recreation are identified and excluded from logging; and (6) that deficiencies in an evolving system are recognized and remedied, leading to an improved system. Many studies of the effects of logging in these forests have been published and collectively provide a unique demonstration of one possible approach to sustainable timber harvesting

Validity of the Patient Experiences and Satisfaction with Medications (PESaM) Questionnaire

Background: This study assessed the validity and reliability of the generic module of the recently developed Patient Experiences and Satisfaction with Medications (PESaM) questionnaire in a sample of patients in the Netherlands. Methods: The generic module of the PESaM questionnaire consists of 18 items related to the domains effectiveness, side effects and ease of use of medications. It assesses patients’ experiences regarding the impact of the medication on daily life, health and satisfaction. In 2017, the PESaM questionnaire was sent out to idiopathic pulmonary fibrosis patients using pirfenidone or nintedanib, atypical haemolytic uraemic syndrome patients receiving eculizumab and patients using tacrolimus after kidney transplantation. Mean scores for each domain were calculated applying a scoring algorithm. Construct validity and reliability were assessed using recommended methods. Results: 188 participants completed the generic module, of whom 48% used pirfenidone, 36% nintedanib, 11% tacrolimus and 5% eculizumab. The generic module has good structural properties. Internal consistency values of the domains were satisfactory (i.e. Cronbach’s coefficient alpha above 0.7). Confirmatory factor analysis provided further evidence for construct validity, with good convergent and discriminant validity. The PESaM questionnaire also showed different scores for patients using different medications, in line with expectations, and was therefore able to differentiate between patient groups. Test–retest reliability of the items and domains were rated as moderate to fair (i.e. intraclass coefficients ranged between 0.18 and 0.76). Conclusions: The PESaM questionnaire is a unique patient-reported outcome measure evaluating patient experiences and satisfaction with medications. It has been developed in conjunction with patients, ensuring coverage of domains and issues relevant from the patient’s perspective. This study has shown promising validity of the generic module of the PESaM questionnaire. Further research is recommended to assess reliability in greater detail as well as the responsiveness of the measure. Trial registration: The study