Despite its undoubted success in the last two decades, requirements engineering (RE) needs a better alignment between its research focus and its grounding in practical needs as these needs have changed signi cantly. In this Dagstuhl Perspective seminar part of the debate about a Science of Design , about twenty representatives from research and industry in Europe, Asia, North and Latin America ...

T preoccupation with violent offenders has heightened following the emphasis on risk appraisal over the past decade. It is there f o re not surprising that in addition to changes in sentencing and policy, correctional jurisdictions are now attending to the treatment and management of high-risk and violent offenders. This article focuses on interventions and p rograms for violent offenders that ...

Personalized Web search systems have been developed to tailor Web search to users’ needs based on their interests and preferences. A novel Normal Distribution Re-Weighting (NDRW) approach is proposed in this paper, which identifies and re-weights significant terms in vector-based personalization models in order to improve the personalization process. Machine learning approaches will be used to ...

Lately, a focus has been given to the re-usability of workflow definitions and to flexible and re-usable workflow components, culminating with approaches that harness the benefits of the enriched semantics provided by ontologies. Following this trend and the needs of multiple application domains, such as micro-task crowdsourcing and ambient assisted living, of incorporating cooperation between ...

As achieving high quality means the realization of customers needs, requirements engineering (RE) is the most crucial phase within software development. In the RE process not only the functional requirements but also the so-called ‘non-functional’ or ‘quality’ requirements of the planned software system have to be elicited from the customer and represented in a requirements document in order to...

The interactive theorem prover PVS is used to formalize the user needs of the Light Control system. First the system is modeled at a high level of abstraction, in terms of properties the user can observe. After resolving ambiguities and con icts, a re nement is de ned, using dimmable light actuators. Correctness of the re nement has been proved in PVS, under the assumption that there are no int...

Personalized Web search systems have been developed to tailor Web search to users’ needs based on their interests and preferences. A novel Normal Distribution Re-Weighting (NDRW) approach is proposed in this paper, which identifies and re-weights significant terms in vector-based personalization models in order to improve the personalization process. Machine learning approaches will be used to ...

As Topic Maps allow a structural representation of knowledge, this structure often needs to be visually presented to end-users. Issues, often contradictory, such as representation and navigation re-