Conceptual modelling is the process of the software life cycle concerned with the identification and specification of requirements for the system to be built. In the last years, the ever increasing demands for software correctness have encouraged the use of formal methods in the modelling process. The use of formal specification languages provides more precise and concise specifications, and a ...

Inconsistency handling is an aspect of requirements engineering that has attracted considerable research attention. We explore novel ways to applying semantic Web technologies to this problem, in the context of a Web-based agent-mediated environment for distributed requirements engineering. Disciplines Physical Sciences and Mathematics Publication Details This article was originally published a...

one of the main requirements for providing software security is the enforcement of access control policies, which is sometimes referred to as the heart of security. the main purpose of access control policies is to protect resources of the system against unauthorized accesses. any error in the implementation of access control policies may lead to undesirable outcomes. hence, we should ensure th...

When the business requirements and the user interface (UI) of a system are separated, they will most likely not fit together. Even if requirements are well-specified and implemented, errors may be induced by human-computer interaction through a bad user interface. Such a system might not even be used at all, neither will a great user interface of a system be very useful, with features that are ...

Requirements visualization can contribute to requirements comprehension through the creation of conceptual models. However, these models can become hard to read and current tool support is minimal. Applying the right visualization mechanisms can help construct models that are more readable. To such extent, we present the Interactive Narrator tool: a web application that helps practitioners anal...

This paper presents an extended version of GoalOriented Requirements Analysis Method called AGORA, where attribute values, e.g. contribution values and preference matrices, are added to goal graphs. An analyst attaches contribution values and preference values to edges and nodes of a goal graph respectively during the process for refining and decomposing the goals. The contribution value of an ...

Although video has been used for many years to record data, few tools have been developed to help analyze video data. Current multimedia interfaces have severe cognitive and attentional limitations, reflecting technology-centred designs which have not profited from human factors theory and user-centred design. This paper discusses user requirements for video analysis, from which we derive a set...

Collaborative corporate requirements engineering and UI specification demands modelling approaches that all stakeholders can understand and apply. Using traditional engineering methods, an IT organization often experiences frustrating communication and competency issues. Current processes lack adequate tool support for networked and complex projects. By integrating overview & detail and zooming...

Employing formal methods for complex systems specification is steadily growing from year to year. Whereas the formal specification process from abstraction to implementation via refinement is well understood, the traceability between initial user requirements (requirements analysis) and the corresponding formal specification is still unsatisfying and ambiguous. In fact, there is little research...