Context: Many modern software systems must deal with changes and uncertainty.
Traditional dependability requirements engineering is not equipped for this since it assumes …

Explicitly considering human values in the design process of socio-technical systems has
become a responsibility of designers. It is, however, challenging to design for values …

For many years, the progress in agent-oriented development has focused on tools and
methods for particular development phases. This has not been enough for the industry to …

Secure Tropos is an extension of Tropos methodology, which considers security throughout
the whole development process. The main concept of Secure Tropos is the security …

Secure Tropos, an extension of the Tropos methodology, considers security requirements
alongside functional requirements, from the early stages of the system development …

Agents are a promising technology for dealing with increasingly complex system
development. An agent may have many ways of achieving a given task, and it selects the …

Goal-oriented agent systems are increasingly popular for developing complex applications
that operate in highly dynamic environments. As with any software these systems have to be …

Today's software is expected to be able to work autonomously in an unpredictable
environment, avoiding failure and achieving satisfactory performance. Self-adaptive systems …

Supporting a security principle, such as least privilege, in a software architecture is difficult.
Systematic rules are lacking, no guidance explains how to apply the principle in practice. As …

AgentTest is a sublanguage of TTCN-3, aimed at specifying and testing agent-based
systems. Its major strength is its unification and automation of abstract test suite generation …