Susi, Angelo

Susi, Angelo  

Mostra records
Risultati 1 - 20 di 23 (tempo di esecuzione: 0.029 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 +
Coordination specification in MultiAgent Systems. From requirements to architecture with the Tropos methodology 1-gen-2002 Susi, AngeloGiunchiglia, FaustoPerini, Anna
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
Designinig Coordination among Human and Software Agents 1-gen-2002 Susi, AngeloGiunchiglia, FaustoPerini, Anna
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