Formal methods can be used at all stages of a software development project. In this paper we reflect on the roles of ITU-T standardized System Design Languages and their interplay in design processes of cooperative systems, highlighting the usability of User Requirements Notation (URN) standard to capture requirements with workflow-based re-engineering process of complex systems. In this paper ...

ELeGI, the European Learning Grid Infrastructure, has the ambitious goal of fostering effective learning and knowledge construction through the dynamic provision of service-based contextualised and personalised learning environments. The success of this venture will depend to a considerable extent on the usability of such environments, and their usability in turn will depend on a successful str...

Model-based Requirements Engineering (MbRE) promises Requirements Engineering (RE) experts o cope with the the increasing complexity of the embedded systems domain. A major obstacle for using models more intensively in RE is the lack of appropriate tool support. A number of industrial and academic RE tools exist that support model-based development. Nevertheless, a precise set of core requireme...

Next-generation sequencing (NGS) technologies have enabled genome re-sequencing for exploring genome-wide polymorphisms among individuals, as well as targeted re-sequencing for the rapid and simultaneous detection of polymorphisms in genes associated with various biological functions. Therefore, a simple and robust method for targeted re-sequencing should facilitate genotyping in a wide range o...

Re-authenticating users may be necessary for smartphone authentication schemes that leverage user behaviour, device context, or task sensitivity. However, due to the unpredictable nature of re-authentication, users may get annoyed when they have to use the default, non-transparent authentication prompt for re-authentication. We address this concern by proposing several re-authentication configu...

As increasing amount of data is published in the form of XML, copyright protection of XML data is becoming an important requirement for many applications. While digital watermarking is a widely used measure to protect digital data from copyright offences, the complex and flexible construction of XML data poses a number of challenges to digital watermarking, such as re-organization and alteratio...

In this paper we explore how the componentware paradigm can be used to re engineer existing software systems As a case study we use the prototype implementation of the CASE tool AutoFocus which has been developed using standard object oriented design techniques Although designed for re usability with respect to certain criteria AutoFo cus did not use a component based approach yet The case stud...