Sfoglia per Autore
Coordination specification in MultiAgent Systems. From requirements to architecture with the Tropos methodology
2002-01-01 Susi, Angelo; Giunchiglia, Fausto; Perini, Anna
Designinig Coordination among Human and Software Agents
2002-01-01 Susi, Angelo; Giunchiglia, Fausto; Perini, Anna
Agent-oriented modeling by interleaving formal and informal specification
2003-01-01 Perini, Anna; Pistore, Marco; Roveri, Marco; Susi, Angelo
The Tropos Metamodel and its Use
2005-01-01 Susi, Angelo; Perini, Anna; Mylopoulos, Ioannis; Giorgini, Paolo
From Stakeholder Intentions to Software Agent Implementations
2006-01-01 Penserini, Loris; Perini, Anna; Susi, Angelo; Mylopoulos, Ioannis
From Capability Specifications to Code for Multi-Agent Software
2006-01-01 Penserini, Loris; Perini, Anna; Susi, Angelo; Mylopoulos, Ioannis
A Design Framework for Generating BDI-Agents from Goal Models
2007-01-01 Penserini, Loris; Perini, Anna; Susi, Angelo; Morandini, Mirko; Mylopoulos, Ioannis
Object Models with Temporal Constraints
2008-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
From Informal Requirements to Property-Driven Formal Validation
2008-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Supporting Requirements Validation: The EuRailCheck Tool
2009-01-01 Cavada, Roberto; Cimatti, Alessandro; Mariotti, Alessandro; Mattarei, Cristian; Micheli, Andrea; Mover, Sergio; Pensallorto, Marco; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Formalization and Validation of Safety-Critical Requirements
2010-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Formalization and validation of a subset of the European Train Control System
2010-01-01 Chiappini, Angelo; Cimatti, Alessandro; Macchi, Luca; Rebollo, Oscar; Roveri, Marco; Susi, Angelo; Tonetta, Stefano; Vittorini, Berardino
Establishing Regulatory Compliance for Information System Requirements: An Experience Report from the Health Care Domain
2010-01-01 Siena, Alberto; G., Armellin; G., Mameli; Mylopoulos, Ioannis; Perini, Anna; Susi, Angelo
OthelloPlay: a plug-in based tool for requirement formalization and validation
2011-01-01 Cavada, Roberto; Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Nomos: from Strategic Dependencies to Obligations
2011-01-01 S., Ingolfo; Mylopoulos, Ioannis; Perini, Anna; Siena, Alberto; Susi, Angelo
Capturing Variability of Norms
2012-01-01 Siena, Alberto; Jureta, I.; Ingolfo, Silvia; Perini, Anna; Susi, Angelo; Mylopoulos, Ioannis
Arguing Regulatory Compliance for Software Requirements, Special Issue: 30th International Conference on Conceptual Modelling (ER’11)
2012-01-01 Ingolfo, Silvia; Siena, Alberto; Mylopoulos, Ioannis; Perini, Anna; Susi, Angelo
Validation of Requirements for Hybrid Systems: a Formal Approach
2012-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Automated Reasoning for Regulatory Compliance
2013-01-01 Ingolfo, Silvia; Siena, Alberto; Jureta, I.; Susi, Angelo; Perini, Anna; Mylopoulos, Ioannis
Choosing Compliance Solutions through Stakeholder Preferences
2013-01-01 Ingolfo, Silvia; Siena, Alberto; Jureta, I.; Susi, Angelo; Perini, Anna; Mylopoulos, Ioannis
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile