This position paper presents some of the problems we had and the results we achieved in the last 4 years of work when defining and developing DASCo [24]. DASCo (Development of Distributed Applications with Separation of Concerns) is an approach for developing objectoriented concurrent and distributed programs using a separation of concerns strategy. In this position paper we emphasize separatio...

OBJECTIVES To describe the views of the British public on the use of personal medical data by the National Cancer Registry without individual consent, and to assess the relative importance attached by the public to personal privacy in relation to public health uses of identifiable health data. DESIGN Cross sectional, face to face interview survey. SETTING England, Wales, and Scotland. PAR...

Educational Modeling Languages (EMLs) have been proposed to support the modeling of educational units. Currently, there are some EML proposals devoted to provide a computational base, enabling the software processing and execution of educational units’ models. In this context, flexibility is a key requirement in order to support alternatives and changes . This paper presents a Perspective-orien...

We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the coordination from computational aspects. SynchNet can be used in combination with any objectbased language capable of expressing sequential behavior of objects. SynchNet, which is inspired by Petri nets, has a simple s...

A family F of permutations of the vertices of a hypergraph H is called pairwise suitable for H if, for every pair of disjoint edges in H , there exists a permutation in F in which all the vertices in one edge precede those in the other. The cardinality of a smallest such family of permutations for H is called the separation dimension of H and is denoted by π(H). Equivalently, π(H) is the smalle...

We examine implemented systems for ethical machine reasoning with a view to identifying the practical challenges (as opposed to philosophical challenges) posed by the area. We identify a need for complex ethical machine reasoning not only to be multi-objective, proactive, and scrutable but that it must draw on heterogeneous evidential reasoning. We also argue that, in many cases, it needs to op...

The Data Track is a transparency-enhancing tool that aims to educate users by providing them with an overview of all their data disclosures. In this paper, we describe a cryptographic scheme for storing all data disclosures tracked by the Data Track centrally in the cloud in a privacy-friendly way. Our scheme allows users to store their data anonymously, while keeping the cloud provider account...

Nowadays, the complexity of software applications has brought new challenges to developers, having to deal with a large number of computational requirements. Among these requirements, those known as crosscutting concerns transpass components boundaries, leading to maintainability and comprehension problems. This paper presents CrossMDA, a framework that encompasses a transformation process to i...

A key technology to enable separation of concerns is the final step of reintegrating multiple, possibly independentlydeveloped modules. We argue for a technique of transformation, where the process of modifying a class to exhibit new behevior is controlled by a user-supplied program. Additionally, we argue that performing such a process as a program is loaded offers benefits in flexibility, per...

Environments on the web should support high-level hypermedia features to improve their key challenges: searching, navigation, adaptation and maintenance of hyperdocuments. In this paper, we show the benefits of applying software evolution theory to Hypermedia Systems (HSs) and, in order to face these challenges we propose the Semantic and Evolutionary Model for HyPermedia systems (SEM-HP) model...