[PDF][PDF] Goal-oriented requirements engineering: An overview of the current research

A Lapouchnian - University of Toronto, 2005 - researchgate.net
The main measure of the success of a software system is the degree to which it meets its
purpose. Therefore, identifying this purpose must be one of the main activities in the …

Modeling cyber–physical systems

P Derler, EA Lee, AS Vincentelli - Proceedings of the IEEE, 2011 - ieeexplore.ieee.org
This paper focuses on the challenges of modeling cyber–physical systems (CPSs) that arise
from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It …

The tropos methodology: An overview

P Giorgini, M Kolp, J Mylopoulos, M Pistore - Methodologies and software …, 2004 - Springer
The objective of this chapter is to give an overview of Tropos methodology. Tropos is based
on two key ideas. First, the notion of agent and related mentalistic notions, such as goals …

Tropos: An agent-oriented software development methodology

P Bresciani, A Perini, P Giorgini, F Giunchiglia… - Autonomous Agents and …, 2004 - Springer
Our goal in this paper is to introduce and motivate a methodology, called Tropos, 1 for
building agent oriented software systems. Tropos is based on two key ideas. First, the notion …

An integrated cyber security risk management framework and risk predication for the critical infrastructure protection

HI Kure, S Islam, H Mouratidis - Neural Computing and Applications, 2022 - Springer
Cyber security risk management plays an important role for today's businesses due to the
rapidly changing threat landscape and the existence of evolving sophisticated cyber attacks …

On non-functional requirements in software engineering

L Chung, JCS do Prado Leite - … and applications: Essays in honor of john …, 2009 - Springer
Essentially a software system's utility is determined by both its functionality and its non-
functional characteristics, such as usability, flexibility, performance, interoperability and …

Develo** multiagent systems: The Gaia methodology

F Zambonelli, NR Jennings, M Wooldridge - ACM Transactions on …, 2003 - dl.acm.org
Systems composed of interacting autonomous agents offer a promising software
engineering approach for develo** applications in complex domains. However, this …

Secure tropos: a security-oriented extension of the tropos methodology

H Mouratidis, P Giorgini - International Journal of Software …, 2007 - World Scientific
Although security plays an important role in the development of multiagent systems, a
careful analysis of software development processes shows that the definition of security …

Towards a generic model for situational method engineering

J Ralyté, R Deneckère, C Rolland - … /Velden, Austria, June 16–20, 2003 …, 2003 - Springer
The work presented in this paper is related to the area of Situational Method Engineering
(SME) which focuses on project-specific method construction. We propose a generic …

Unifying and extending user story models

Y Wautelet, S Heng, M Kolp, I Mirbel - … , June 16-20, 2014. Proceedings 26, 2014 - Springer
Abstract Within Agile methods, User Stories (US) are mostly used as primary requirements
artifacts and units of functionality of the project. The idea is to express requirements on a low …