IRIS

Susi, Angelo

Susi, Angelo  

Mostra records
Risultati 1 - 20 di 21 (tempo di esecuzione: 0.024 secondi).
Titolo Anno di pubblicazione Autori Unitn File
A Design Framework for Generating BDI-Agents from Goal Models 1-gen-2007 Penserini, LorisPerini, AnnaSusi, AngeloMorandini, MirkoMylopoulos, Ioannis
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 1-gen-2020 Becchi, AnnaCavada, RobertoCimatti, AlessandroGriggio, AlbertoScaglione, GiuseppeSusi, Angelo +
Agent-oriented modeling by interleaving formal and informal specification 1-gen-2003 Perini, AnnaRoveri, MarcoSusi, Angelo +
Arguing Regulatory Compliance for Software Requirements, Special Issue: 30th International Conference on Conceptual Modelling (ER’11) 1-gen-2012 Ingolfo, SilviaSiena, AlbertoMylopoulos, IoannisPerini, AnnaSusi, Angelo
Automated Reasoning for Regulatory Compliance 1-gen-2013 Ingolfo, SilviaSiena, AlbertoSusi, AngeloPerini, AnnaMylopoulos, Ioannis +
Capturing Variability of Norms 1-gen-2012 Siena, AlbertoIngolfo, SilviaPerini, AnnaSusi, AngeloMylopoulos, Ioannis +
Choosing Compliance Solutions through Stakeholder Preferences 1-gen-2013 Ingolfo, SilviaSiena, AlbertoSusi, AngeloPerini, AnnaMylopoulos, Ioannis +
Design Thinking and Acceptance Requirements for Designing Gamified Software 1-gen-2019 Perini A.Susi A.Giorgini P.Mylopoulos J. +
Design Thinking and Acceptance Requirements for Gamification Design. A Research Preview. 1-gen-2018 Luca PirasDellagiacoma, DanieleAnna PeriniAngelo SusiPaolo GiorginiJohn Mylopoulos
Establishing Regulatory Compliance for Information System Requirements: An Experience Report from the Health Care Domain 1-gen-2010 Siena, AlbertoMylopoulos, IoannisPerini, AnnaSusi, Angelo +
Formalization and validation of a subset of the European Train Control System 1-gen-2010 Alessandro CimattiMarco RoveriAngelo SusiStefano Tonetta +
Formalization and Validation of Safety-Critical Requirements 1-gen-2010 Alessandro CimattiMarco RoveriAngelo SusiStefano Tonetta
From Capability Specifications to Code for Multi-Agent Software 1-gen-2006 Penserini, LorisPerini, AnnaSusi, AngeloMylopoulos, Ioannis
From Informal Requirements to Property-Driven Formal Validation 1-gen-2008 Alessandro CimattiMarco RoveriAngelo SusiStefano Tonetta
From Stakeholder Intentions to Software Agent Implementations 1-gen-2006 Penserini, LorisPerini, AnnaSusi, AngeloMylopoulos, Ioannis
Nomos: from Strategic Dependencies to Obligations 1-gen-2011 Mylopoulos, IoannisPerini, AnnaSiena, AlbertoSusi, Angelo +
Object Models with Temporal Constraints 1-gen-2008 Alessandro CimattiMarco RoveriAngelo SusiStefano Tonetta
OthelloPlay: a plug-in based tool for requirement formalization and validation 1-gen-2011 Roberto CavadaAlessandro CimattiAndrea MicheliMarco RoveriAngelo SusiStefano Tonetta
Supporting Requirements Validation: The EuRailCheck Tool 1-gen-2009 Cavada, RobertoCimatti, AlessandroMattarei, CristianMicheli, AndreaMover, SergioRoveri, MarcoSusi, AngeloTonetta, Stefano +
The Tropos Metamodel and its Use 1-gen-2005 Susi, AngeloPerini, AnnaMylopoulos, IoannisGiorgini, Paolo