A5073056211- Advanced Software Engineering Methodologies
- Multi-Agent Systems and Negotiation
- Service-Oriented Architecture and Web Services
- Business Process Modeling and Analysis
- Information and Cyber Security
- Software Engineering Techniques and Practices
- Mobile Agent-Based Network Management
- Access Control and Trust
- Model-Driven Software Engineering Techniques
- Software Engineering Research
- Logic, Reasoning, and Knowledge
- Semantic Web and Ontologies
- AI-based Problem Solving and Planning
- Advanced Malware Detection Techniques
- Privacy, Security, and Data Protection
- Data Quality and Management
- Peer-to-Peer Network Technologies
- Software Reliability and Analysis Research
- Software System Performance and Reliability
- Formal Methods in Verification
- Speech and dialogue systems
- Recommender Systems and Techniques
- Security and Verification in Computing
- Advanced Database Systems and Queries
- Privacy-Preserving Technologies in Data
University of Trento
2016-2025
Presidio Ospedaliero
2024
San Salvatore Hospital
2010-2022
University of L'Aquila
2010-2022
Marche Polytechnic University
2020
Bard College
2015
Carleton University
2006
Ospedali Riuniti di Ancona
1997-2001
Queen Mary University of London
2000
Carnegie Mellon University
1997
Although security plays an important role in the development of multiagent systems, a careful analysis software processes shows that definition requirements is, usually considered after design system. One reasons is fact agent oriented engineering methodologies have not integrated concerns throughout their developing stages. The integration during whole range stages can help more secure systems. In this paper we introduce extensions to Tropos methodology enable it model process. A...
Over the last two decades, much attention has been paid to area of goal-oriented requirements engineering (GORE), where goals are used as a useful conceptualization elicit, model, and analyze requirements, capturing alternatives conflicts. Goal modeling adapted applied many sub-topics within (RE) beyond, such agent orientation, aspect business intelligence, model-driven development, security. Despite extensive efforts in this field, RE community lacks recent, general systematic literature...
Security requirements engineering is emerging as a branch of software engineering, spurred by the realization that security must be dealt with early on during phase. Methodologies in this field are challenging, they take into account subtle notions such trust (or lack thereof), delegation, and permission; also model entire organizations not only systems-to-be. In our previous work we introduced Secure Tropos, formal framework for modeling analyzing requirements. Tropos founded three main...
Several surveys indicate that a significant percentage of data warehouses fail to meet business objectives or are outright failures. One the reasons for this is requirement analysis typically overlooked in real projects. In paper we propose goal-oriented approach warehouses, based on Tropos methodology. Two different perspectives integrated analysis: organizational modeling, centered stakeholders, and decisional focused decision makers. Our can be employed within both demand-driven mixed...
Our goal in this paper is to introduce and motivate a methodology, called \emph{Tropos}, for building agent oriented software systems. Tropos based on two key ideas. First, the notion of all related mentalistic notions (for instance: beliefs, goals, actions plans) are used phases development, from early analysis down actual implementation. Second, covers also very requirements analysis, thus allowing deeper understanding environment where must operate, kind interactions that should occur...