The REVERE project:Experiments with the application of probabilistic NLP to systems engineering

Despite natural language’s well-documented shortcomings as a medium for precise technical description, its use in software-intensive systems engineering remains inescapable. This poses many problems for engineers who must derive problem understanding and synthesise precise solution descriptions from free text. This is true both for the largely unstructured textual descriptions from which system requirements are derived, and for more formal documents, such as standards, which impose requirements on system development processes. This paper describes experiments that we have carried out in the REVERE1 project to investigate the use of probabilistic natural language processing techniques to provide systems engineering support

Declarative Specification

Deriving formal specifications from informal requirements is extremely difficult since one has to overcome the conceptual gap between an application domain and the domain of formal specification methods. To reduce this gap we introduce application-specific specification languages, i.e., graphical and textual notations that can be unambiguously mapped to formal specifications in a logic language. We describe a number of realised approaches based on this idea, and evaluate them with respect to their domain specificity vs. generalit

Naming trouble in online internationalized education

This paper offers an analysis of cultural politics that emerged around naming practices in an ethnographic study of the interactions within an online MBA unit, offered by an Australian university to both ‘local’ Australian students and international students enrolled through a Malaysian partner institution. It became evident that names were doing important identity, textual and pedagogical work in these interactions and considerable interactive trouble arose over the social practices surrounding names. The analysis uses sociolinguistic concepts to analyse selected slices of the online texts and participants' interview accounts. The analysis shows how ethnocentric default settings in the courseware served to heighten and exacerbate cultural difference as a pedagogical problem. These events are related to the larger problematic of theorising the context of culture in times of globalisation and increasingly entangled educational routes, with implications for the enterprise of online internationalised education

The Core of Care Management: The Role of Authentic Relationships in Caring for Patients with Frequent Hospitalizations.

In the movement to improve the health of patients with multiple chronic conditions and vulnerabilities, while reducing the need for hospitalizations, care management programs have garnered wide attention and support. The qualitative data presented in this paper sheds new light on key components of successful chronic care management programs. By going beyond a task- and temporal-based framework, this analysis identifies and defines the importance of authentic healing relationships in driving individual and systemic change. Drawing on the voices of 30 former clients of the Camden Coalition of Healthcare Providers, the investigators use qualitative methods to identify and elaborate the core elements of the authentic healing relationship-security, genuineness, and continuity-a relationship that is linked to patient motivation and active health management. Although not readily found in the traditional health care delivery system, these authentic healing relationships present significant implications for addressing the persistent health-related needs of patients with frequent hospitalizations. (Population Health Management 2016;19:248-256)

Tools for producing formal specifications : a view of current architectures and future directions

During the last decade, one important contribution towards requirements engineering has been the advent of formal specification languages. They offer a well-defined notation that can improve consistency and avoid ambiguity in specifications. However, the process of obtaining formal specifications that are consistent with the requirements is itself a difficult activity. Hence various researchers are developing systems that aid the transition from informal to formal specifications. The kind of problems tackled and the contributions made by these proposed systems are very diverse. This paper brings these studies together to provide a vision for future architectures that aim to aid the transition from informal to formal specifications. The new architecture, which is based on the strengths of existing studies, tackles a number of key issues in requirements engineering such as identifying ambiguities, incompleteness, and reusability. The paper concludes with a discussion of the research problems that need to be addressed in order to realise the proposed architecture

LO-MATCH: A semantic platform for matching migrants' competences with labour market's needs

Citizens' mobility and employability are receiving ever more attention by the European legislation. Various instruments have been defined to overcome lexical and semantic differences in the descriptions of qualifications, résumés and job profiles. However, the above differences still represent a significant constraint when abilities of non-European people have to be validated either for education and training or occupation purposes. In this work, a web platform that exploits semantic technologies to address such heterogeneity issues is presented. The platform allows migrants to annotate their knowledge, skills and competences in a shared format based on the European tools. The resulting knowledge base is then used to enable the automatic matchmaking of job seekers' abilities with companies' needs. The platform can additionally be used to support students and workers in the identification of their competence gap with respect to a given education or occupation opportunity, so that to personalize their further trainin