Use cases are a popular but informal technique used to define and analyse system behaviour. We introduce UC-B a plug-in for the Rodin platform (Event-B tool) that supports the authoring and management of use case specifications with both informal and formal components. The formal component is based on Event-B’s mathematical language. Once the behaviour of the use case is specified, UC-B automat...

Technological information management is an efficient tool in the competitive context. It helps firms to find better solutions for productive problems and new business possibilities. Usually, information about product and process innovation is generated and managed by R&D staff. But what about firms that do not have R&D structures? Do they also collect, choose and apply technological information...

We present pigeo, a Python geolocation prediction tool that predicts a location for a given text input or Twitter user. We discuss the design, implementation and application of pigeo, and empirically evaluate it. pigeo is able to geolocate informal text and is a very useful tool for users who require a free and easy-to-use, yet accurate geolocation service based on pre-trained models. Additiona...

Learning systems focused on collaborative learning are often described in terms of formal and informal learning, however definitions of formal and informal learning vary, which makes it difficult to compare systems that may have been described using different perspectives. In this paper we present a framework for describing formality in e-learning systems, which can account for the most common ...

Most statistics educators would agree that statistical inference is both the central objective of statistical reasoning and one of the most difficult ideas for students to understand. In traditional approaches, statistical inference is introduced as a quantitative problem, usually of figuring out the probability of obtaining an observed result on the assumption that the null hypothesis is true....

In the last 50 years the shape of cities has changed dramatically. People have started to migrate from rural areas, attracted by the opportunities created by a more dynamic economy and by the apparent easier life within the cities. This trend has been observed in Europe during the whole 20th century, but has now considerably slowed down, to the benefit of smaller urban centres, which have grown...

There are increasing concerns about the future availability of informal care for older people, particularly care by their children. This article explores past trends in the provision of informal care by children/children-in-law to their older parents/parents-in-law between 1985 and 1995 in Great Britain, using successive General Household Survey data. The article suggests that, during this peri...

INTRODUCTION AND BACKGROUND The early post-discharge period is a vulnerable time for older patients with complex care requirements. This paper identifies factors predicting a self-reported successful post-discharge outcome for patients aged 80 years and over by exploring factors related to the discharge process, the provision of formal home-care services, informal care and characteristics of th...

This paper explores the use of social awareness support as a potential solution to alleviate informal care al, and emotional load habitually associated with their duties. This is a preliminary contribution of the Vienna University of Technology to TOPIC project that is currently under development. In this paper we report on relevant literature, identify and consider technological and interactio...

e3-portfolio is a software tool which supports learning and working in student project groups. Besides features for collaboration via social media, the software offers an electronic portfolio system. The e-portfolio helps to integrate informal project-based learning into the formal curriculum of higher education. This paper gives an overview of how the software tool is designed and relates the ...