Sciweavers

15 search results - page 1 / 3
» Secure Tropos: a Security-Oriented Extension of the Tropos M...
Sort
View
IJSEKE
2007
50views more  IJSEKE 2007»
13 years 5 months ago
Secure Tropos: a Security-Oriented Extension of the Tropos Methodology
Haralambos Mouratidis, Paolo Giorgini
ASE
2007
121views more  ASE 2007»
13 years 5 months ago
Computer-aided Support for Secure Tropos
In earlier work, we have introduced Secure Tropos, a requirements engineering methodology that extends the Tropos methodology and is intended for the design and analysis of securit...
Fabio Massacci, John Mylopoulos, Nicola Zannone
RE
2007
Springer
13 years 12 months ago
Secure and Dependable Patterns in Organizations: An Empirical Approach
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
Yudistira Asnar, Paolo Giorgini, Roberto Bonato, V...
KBSE
2008
IEEE
14 years 5 days ago
Automated Mapping from Goal Models to Self-Adaptive Systems
Self-adaptive systems should autonomously adapt at run time to changes in their operational environment, guided by the goals assigned by their stakeholders. We present a tool that...
Mirko Morandini, Loris Penserini, Anna Perini
AGENTS
2001
Springer
13 years 10 months ago
A knowledge level software engineering methodology for agent oriented programming
Our goal in this paper is to introduce and motivatea methodology, called Tropos, for building agent oriented software systems. Tropos is based on two key ideas. First, the notion ...
Paolo Bresciani, Anna Perini, Paolo Giorgini, Faus...