We discuss the development of a methodology for reasoning about properties of security
policies. We view a security policy as a special case of regulation which specifies what …

The paper presents a modelling method aimed to support the definition and elicitation of
requirements for mobile apps through an approach that enables semantic traceability for the …

Nowadays, mashups applications are growing in popularity. They are accessible by cross-
device applications, supporting multiple forms of interaction in cloud environments. In …

The first version of the XIS profile addressed the development of interactive systems by
defining models oriented only towards how the system should perform tasks. However …

The suggestion that in software development projects the emphasis must be on the project
management (RE), requirements engineering, and design activities, and consequently …

CONTEXT: In public transport, travelers (considered as information systems users) do not
have the same objectives and/or concerns at the same time. For this reason it is not always …

Developing process-oriented enterprise systems not only asks for Business Process
Management (BPM) but also for an appropriate user interface and data model. Current BPM …

There is a growing demand for design support to create interactive systems that are
deployed in ambient intelligent environments. Unlike traditional interactive systems, the wide …

Abstract The Model-Driven Development (MDD) describes and maintains models of the
system under development. The Unified Modeling Language (UML) supports a set of …

The conceptual model of an information system cannot be considered to be complete after
just specifying the structure and behaviour of the system. It is also necessary to specify how …