Search For:

Displaying 1-13 out of 13 total
Elaborating Requirements Using Model Checking and Inductive Learning
Found in: IEEE Transactions on Software Engineering
By Dalal Alrajeh,Jeff Kramer,Alessandra Russo,Sebastian Uchitel
Issue Date:March 2013
pp. 361-383
The process of Requirements Engineering (RE) includes many activities, from goal elicitation to requirements specification. The aim is to develop an operational requirements specification that is guaranteed to satisfy the goals. In this paper, we propose a...
 
Learning Stochastic Models of Information Flow
Found in: Data Engineering, International Conference on
By Luke Dickens,Ian Molloy,Jorge Lobo,Pau-Chen Cheng,Alessandra Russo
Issue Date:April 2012
pp. 570-581
An understanding of information flow has many applications, including for maximizing marketing impact on social media, limiting malware propagation, and managing undesired disclosure of sensitive information. This paper presents scalable methods for both l...
 
Learning operational requirements from goal models
Found in: Software Engineering, International Conference on
By Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastin Uchitel
Issue Date:May 2009
pp. 265-275
Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these approaches is the elaboration of a correct and complete set of opertional requ...
 
Towards Learning Privacy Policies
Found in: Policies for Distributed Systems and Networks, IEEE International Workshop on
By Arosha K. Bandara, Alessandra Russo, Emil C. Lupu
Issue Date:June 2007
pp. 274
With the proliferation of personal computing devices users are creating a variety of digitized personal information, from personal contact databases and multimedia content to context data such as location, activity and mood. Preventing unintended disclosur...
   
Policy Conflict Analysis for Quality of Service Management
Found in: Policies for Distributed Systems and Networks, IEEE International Workshop on
By Marinos Charalambides, Paris Flegkas, George Pavlou, Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Javier Rubio-Loyola
Issue Date:June 2005
pp. 99-108
Policy-based management provides the ability to (re-)configure differentiated services networks so that desired Quality of Service (QoS) goals are achieved. Relevant configuration involves implementing network provisioning decisions, performing admission c...
 
A Goal-based Approach to Policy Refinement
Found in: Policies for Distributed Systems and Networks, IEEE International Workshop on
By Arosha K. Bandara, Emil C. Lupu, Jonathan Moffett, Alessandra Russo
Issue Date:June 2004
pp. 229
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of policy specifications. Although this is an area that researchers have devoted ...
 
Using Event Calculus to Formalise Policy Specification and Analysis
Found in: Policies for Distributed Systems and Networks, IEEE International Workshop on
By Arosha K Bandara, Emil C Lupu, Alessandra Russo
Issue Date:June 2003
pp. 26
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of policy specifications. Although this is an area that researchers have devoted ...
 
Leveraging Inconsistency in Software Development
Found in: Computer
By Bashar Nuseibeh, Steve Easterbrook, Alessandra Russo
Issue Date:April 2000
pp. 24-29
<p>Software engineers make use of many descriptions, including analysis models, specifications, designs, program code, user guides, test plans, change requests, style guides, schedules, and process models. But since different developers construct and...
 
On the Consequences of Acting in the Presence of Inconsistency
Found in: Software Specification and Design, International Workshop on
By Bashar Nuseibeh, Alessandra Russo
Issue Date:April 1998
pp. 156
Managing inconsistency in specifications covers a range of activities from consistency checking and inconsistency analysis to inconsistency handling through action. In this paper we argue that inconsistency analysis is insufficient to determine the choice ...
 
Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study
Found in: Requirements Engineering, IEEE International Conference on
By Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
Issue Date:April 1998
pp. 0051
Abstract: This paper describes our experiences in restructuring multi-perspective requirements specifications in order to identify and analyze inconsistencies and manage change. A partial, heterogeneous and reasonably large requirements specification from ...
 
Security policy refinement using data integration: a position paper
Found in: Proceedings of the 2nd ACM workshop on Assurable and usable security configuration (SafeConfig '09)
By Alessandra Russo, Emil Lupu, Jorge Lobo, Morris Sloman, Robert Craven
Issue Date:November 2009
pp. 25-28
In spite of the wide adoption of policy-based approaches for security management, and many existing treatments of policy verification and analysis, relatively little attention has been paid to policy refinement: the problem of deriving lower-level, runnabl...
     
Expressive policy analysis with enhanced system dynamicity
Found in: Proceedings of the 4th International Symposium on Information, Computer, and Communications Security (ASIACCS '09)
By Alessandra Russo, Arosha Bandara, Emil Lupu, Jiefei Ma, Jorge Lobo, Robert Craven
Issue Date:March 2009
pp. 48-54
Despite several research studies, the effective analysis of policy based systems remains a significant challenge. Policy analysis should at least (i) be expressive (ii) take account of obligations and authorizations, (iii) include a dynamic system model, a...
     
Inferring operational requirements from scenarios and goal models using inductive learning
Found in: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools (SCESM '06)
By Alessandra Russo, Dalal Alrajeh, Sebastian Uchitel
Issue Date:May 2006
pp. 29-36
Goal orientation is an increasingly recognised Requirements Engineering paradigm. However, integration of goal modelling with operational models remains an open area for which the few techniques that exist are cumbersome and impractical. In particular, the...
     
 1