This work is aimed at the specification of usable adaptive user interfaces. A model-based method is used, which have been proved useful to address this task. The specification created is described in terms of abstract interaction objects, which are translated into concrete interaction objects for each particular platform. An adaptive engine is also proposed to improve the usability at runtime b...

Requirement Specification (RS) presents a baseline for the validation/verification step. Therefore, errors within the specification phase involve huge financial burdens (release delay, system cost raise). In fact, the RS step is tedious and an error-prone since the user usually have to handle abstract notation as well as mathematical-based languages within this step. To deal with this issue, we...

Previous work on formal models for interactive systems has often used text editors and graphics editors as case studies. Consequently the notations developed do not necessarily include all the facilities that may be required in reasoning about other types of interactive system. In this chapter two possible interaction requirements for an interactive knowledge based system (IKBS), user-initiated...

A thorough requirements analysis is indispensable for developing and implementing safety-critical software systems such as nuclear power plant (NPP) software systems because a single error in the requirements can generate serious software faults. However, it is very difficult to completely analyze system requirements. In this paper, an effective technique for the software requirements analysis ...

The proposed goal oriented knowledge acquisition and assessment are based on the flexible educational model and allows to implement an adaptive control of the enhanced learning process according to the requirements of student’s knowledge level, his state of cognition and subject learning history. The enhanced learner knowledge model specifies how the cognition state of the user will be achieved...

One of the important issues in supporting specification-based software architectures is how to verify that formal specifications of a software system satisfy liveness, safety and timing constraints, and are consistent and complete with regard to user requirements. Animation has been proposed as one of the techniques for achieving this goal. This article presents a practical approach and a tool ...

Experience with the engineering of large scale open distributed systems has shown that their design should be specified at several well defined levels of abstractions, where each level aims at satishing specific user, architectural and implementation purposes. Therefore designers should dispose of a comprehensive design methodology, which allows them to conceive a specification at a certain abs...

Software requirements engineering is an essential activity for the successful development of information systems. The outcome of this activity is not always successful, which is visible in the lack of software quality, costs and schedules overruns. Although the efforts made and the initiatives proposed, there is not a widely accepted practice or standard in this area, comparable to what we have...