Search For:

Displaying 1-23 out of 23 total
A Machine Learning Approach to Software Requirements Prioritization
Found in: IEEE Transactions on Software Engineering
By Anna Perini,Angelo Susi,Paolo Avesani
Issue Date:April 2013
pp. 445-461
Deciding which, among a set of requirements, are to be considered first and in which order is a strategic process in software development. This task is commonly referred to as requirements prioritization. This paper describes a requirements prioritization ...
 
Maintainability-Based Requirements Prioritization by Using Artifacts Traceability and Code Metrics
Found in: 2013 17th European Conference on Software Maintenance and Reengineering (CSMR)
By M. Waseem Asghar,Alessandro Marchetto,Angelo Susi,Giuseppe Scanniello
Issue Date:March 2013
pp. 417-420
Requirements prioritization is a fundamental activity during software system maintenance. Prioritize requirements, in fact, means to determine the ordering in which requirements have to be considered in a given planning or maintenance activity. Most of the...
 
MOTCP: A tool for the prioritization of test cases based on a sorting genetic algorithm and Latent Semantic Indexing
Found in: 2012 IEEE International Conference on Software Maintenance (ICSM)
By Md. Mahfuzul Islam,Alessandro Marchetto,Angelo Susi,Fondazione Bruno Kessler,Giuseppe Scanniello
Issue Date:September 2012
pp. 654-657
Test prioritization techniques can be used to determine test case ordering and early discover faults in source code. Several of these techniques exploit a single objective function, e.g., code or requirements coverage. In this tool demo paper, we present M...
 
reBPMN: Recovering and reducing business processes
Found in: 2012 IEEE International Conference on Software Maintenance (ICSM)
By Alex Tomasi,Alessandro Marchetto,Chiara Di Francescomarino,Angelo Susi
Issue Date:September 2012
pp. 666-669
Specification models recovered from existing software applications can support developers in comprehending and checking the applications during maintenance and evolution operations. Often, in fact, a huge amount of business knowledge is embedded in the app...
 
A Multi-Objective Technique to Prioritize Test Cases Based on Latent Semantic Indexing
Found in: Software Maintenance and Reengineering, European Conference on
By Md. Mahfuzul Islam,Alessandro Marchetto,Angelo Susi,Giuseppe Scanniello
Issue Date:March 2012
pp. 21-30
To early discover faults in source code, test case ordering has to be properly chosen. To this aim test prioritization techniques can be used. Several of these techniques leave out the execution cost of test cases and exploit a single objective function (e...
 
Towards a Framework for Business Process Compliance
Found in: Enterprise Distributed Object Computing Conference Workshops, IEEE International
By Sepideh Ghanavati, Daniel Amyot, Alberto Siena, Angelo Susi, Anna Perini
Issue Date:October 2010
pp. 330-334
Compliance with laws and regulations of business processes and software systems is becoming a crucial issue for organizations and calls for suitable methods to deal with it. In contrast to business processes and organizational requirements, regulations are...
 
Using Interactive GA for Requirements Prioritization
Found in: Search Based Software Engineering, International Symposium on
By Paolo Tonella, Angelo Susi, Francis Palma
Issue Date:September 2010
pp. 57-66
The order in which requirements are implemented in a system affects the value delivered to the final users in the successive releases of the system. Requirements prioritization aims at ranking the requirements so as to trade off user priorities and impleme...
 
Modeling and Analysis of Laws Using BPR and Goal-Oriented Framework
Found in: International Conference on the Digital Society
By Adolfo Villafiorita, Komminist Weldemariam, Angelo Susi, Alberto Siena
Issue Date:February 2010
pp. 353-358
Recently, two complementary approaches are pro- posed to represent, model, and analyze laws: the Nomos and VLPM approaches. Nomos is a goal-oriented approach to effectively capture high-level principles in terms of goal realization for requirements guided ...
 
Object Models with Temporal Constraints
Found in: Software Engineering and Formal Methods, IEEE International Conference on
By Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta
Issue Date:November 2008
pp. 249-258
Flaws in requirements often have a negative impact on the subsequent development phases. In this paper, we propose a novel formalism for the formal representation and validation of requirements. The formalism allows us to represent and reason about object ...
 
Using the Case-Based Ranking Methodology for Test Case Prioritization
Found in: Software Maintenance, IEEE International Conference on
By Paolo Tonella, Paolo Avesani, Angelo Susi
Issue Date:September 2006
pp. 123-133
<p>The test case execution order affects the time at which the objectives of testing are met. If the objective is fault detection, an inappropriate execution order might reveal most faults late, thus delaying the bug fixing activity and eventually th...
 
From Capability Specifications to Code for Multi-Agent Software
Found in: Automated Software Engineering, International Conference on
By Loris Penserini, Anna Perini, Angelo Susi, John Mylopoulos
Issue Date:September 2006
pp. 253-256
Current ICT application domains, such as web services and autonomic computing, call for highly flexible systems, capable of adapting to changing operational environments as well as to user needs. Multi-agent system framework do include mechanisms that make...
 
From Stakeholder Needs to Service Requirements
Found in: Service-Oriented Computing: Consequences for Engineering Requirements
By Loris Penserini, Anna Perini, Angelo Susi, John Mylopoulos
Issue Date:September 2006
pp. 8
Web services offer a novel open, distributed computing environment. Within that environment, web services need to be discovered and composed in order to meet user needs (or, goals). For example, a user goal may be
 
Facing Scalability Issues in Requirements Prioritization with Machine Learning Techniques
Found in: Requirements Engineering, IEEE International Conference on
By Paolo Avesani, Cinzia Bazzanella, Anna Perini, Angelo Susi
Issue Date:September 2005
pp. 297-306
<p>Case-based driven approaches to requirements prioritization proved to be much more effective than first-principle methods in being tailored to a specific problem, that is they take advantage of the implicit knowledge that is available, given a pro...
 
From Laws to Requirements
Found in: Requirements Engineering and Law
By Alberto Siena, John Mylopoulos, Anna Perini, Angelo Susi
Issue Date:September 2008
pp. 6-10
Legal prescriptions are increasingly impacting on infor- mation systems and on organisations that must comply with them in order to avoid to be prosecuted or fined. Addressing law compliance in early phases of the requirements analy- sis helps in improving...
 
A Meta-Model for Modelling Law-Compliant Requirements
Found in: Requirements Engineering and Law
By Alberto Siena, Anna Perini, Angelo Susi, John Mylopoulos
Issue Date:September 2009
pp. 45-51
While new laws and regulations address organisations, with their processes and information systems, the problem of defining suitable methods and techniques to support the design of law-compliant systems is getting increasing attention. We proposed a novel ...
 
Modeling laws with nomos 2
Found in: 2013 Sixth International Workshop on Requirements Engineering and Law (RELAW)
By Silvia Ingolfo,Alberto Siena,Angelo Susi,Anna Perini,John Mylopoulos
Issue Date:July 2013
pp. 69-71
NĂ²mos is a framework for modelling law-compliant solutions in software system design. It provides a core set of concepts to enable exploring and selecting alternatives in a variability space defined by laws, a graphical notation to visualize models, and to...
   
Supporting Requirements Validation: The EuRailCheck Tool
Found in: Automated Software Engineering, International Conference on
By Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi, Stefano Tonetta
Issue Date:November 2009
pp. 665-667
We present the EuRailCheck tool, which supports the formalization and the validation of requirements, based on the use of formal methods. The tool allows the user to analyze the requirements in natural language and to categorize and structure them. It allo...
 
Validation of requirements for hybrid systems: A formal approach
Found in: ACM Transactions on Software Engineering and Methodology (TOSEM)
By Alessandro Cimatti, Angelo Susi, Marco Roveri, Stefano Tonetta
Issue Date:November 2012
pp. 1-34
Flaws in requirements may have unacceptable consequences in the development of safety-critical applications. Formal approaches may help with a deep analysis that takes care of the precise semantics of the requirements. However, the proposed solutions often...
     
OthelloPlay: a plug-in based tool for requirement formalization and validation
Found in: Proceeding of the 1st workshop on Developing tools as plug-ins (TOPI '11)
By Alessandro Cimatti, Andrea Micheli, Angelo Susi, Marco Roveri, Roberto Cavada, Stefano Tonetta
Issue Date:May 2011
pp. 59-59
Requirement engineering is one of the most important phases in the development process of software and systems. In safety-critical applications, it is important to support the validation of the requirements with formal techniques to identify and remove fla...
     
Clustering test cases to achieve effective and scalable prioritisation incorporating expert knowledge
Found in: Proceedings of the eighteenth international symposium on Software testing and analysis (ISSTA '09)
By Angelo Susi, Mark Harman, Paolo Tonella, Shin Yoo
Issue Date:July 2009
pp. 5-6
Pair-wise comparison has been successfully utilised in order to prioritise test cases by exploiting the rich, valuable and unique knowledge of the tester. However, the prohibitively large cost of the pair-wise comparison method prevents it from being appli...
     
High variability design for software agents: Extending Tropos
Found in: ACM Transactions on Autonomous and Adaptive Systems (TAAS)
By Angelo Susi, Anna Perini, John Mylopoulos, Loris Penserini
Issue Date:November 2007
pp. 16-es
Many classes of distributed applications, including e-business, e-government, and ambient intelligence, consist of networking infrastructures, where the nodes (peers)---be they software components, human actors or organizational units---cooperate with each...
     
A design framework for generating BDI-agents from goal models
Found in: Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems (AAMAS '07)
By Angelo Susi
Issue Date:May 2007
pp. N/A
We define a tool-supported design framework that allows to specify an agent goal model and to automatically generate fragments of a BDI agent from it. We devise the design process as a transformation process from platform-independent design models to platf...
     
Coordination specification in multi-agent systems: from requirements to architecture with the Tropos methodology
Found in: Proceedings of the 14th international conference on Software engineering and knowledge engineering (SEKE '02)
By Angelo Susi, Anna Perini, Fausto Giunchiglia
Issue Date:July 2002
pp. 51-54
The goal of this paper is to propose a new methodology for designing coordination between human agents and software agents and, ultimately, among software agents. The methodology is based on two key ideas. The first is that coordination should be designed ...
     
 1