IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 23
Titolo Anno di pubblicazione Autori Unitn File
Coordination specification in MultiAgent Systems. From requirements to architecture with the Tropos methodology 1-gen-2002 Susi, AngeloGiunchiglia, FaustoPerini, Anna
Designinig Coordination among Human and Software Agents 1-gen-2002 Susi, AngeloGiunchiglia, FaustoPerini, Anna
Agent-oriented modeling by interleaving formal and informal specification 1-gen-2003 Perini, AnnaRoveri, MarcoSusi, Angelo +
The Tropos Metamodel and its Use 1-gen-2005 Susi, AngeloPerini, AnnaMylopoulos, IoannisGiorgini, Paolo
From Stakeholder Intentions to Software Agent Implementations 1-gen-2006 Penserini, LorisPerini, AnnaSusi, AngeloMylopoulos, Ioannis
From Capability Specifications to Code for Multi-Agent Software 1-gen-2006 Penserini, LorisPerini, AnnaSusi, AngeloMylopoulos, Ioannis
A Design Framework for Generating BDI-Agents from Goal Models 1-gen-2007 Penserini, LorisPerini, AnnaSusi, AngeloMorandini, MirkoMylopoulos, Ioannis
From Informal Requirements to Property-Driven Formal Validation 1-gen-2008 Alessandro CimattiMarco RoveriAngelo SusiStefano Tonetta
Object Models with Temporal Constraints 1-gen-2008 Alessandro CimattiMarco RoveriAngelo SusiStefano Tonetta
Supporting Requirements Validation: The EuRailCheck Tool 1-gen-2009 Cavada, RobertoCimatti, AlessandroMattarei, CristianMicheli, AndreaMover, SergioRoveri, MarcoSusi, AngeloTonetta, Stefano +
Formalization and Validation of Safety-Critical Requirements 1-gen-2010 Alessandro CimattiMarco RoveriAngelo SusiStefano Tonetta
Formalization and validation of a subset of the European Train Control System 1-gen-2010 Alessandro CimattiMarco RoveriAngelo SusiStefano Tonetta +
Establishing Regulatory Compliance for Information System Requirements: An Experience Report from the Health Care Domain 1-gen-2010 Siena, AlbertoMylopoulos, IoannisPerini, AnnaSusi, Angelo +
OthelloPlay: a plug-in based tool for requirement formalization and validation 1-gen-2011 Roberto CavadaAlessandro CimattiAndrea MicheliMarco RoveriAngelo SusiStefano Tonetta
Nomos: from Strategic Dependencies to Obligations 1-gen-2011 Mylopoulos, IoannisPerini, AnnaSiena, AlbertoSusi, Angelo +
Capturing Variability of Norms 1-gen-2012 Siena, AlbertoIngolfo, SilviaPerini, AnnaSusi, AngeloMylopoulos, Ioannis +
Validation of Requirements for Hybrid Systems: a Formal Approach 1-gen-2012 Alessandro CimattiMarco RoveriAngelo SusiStefano Tonetta
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 +
Choosing Compliance Solutions through Stakeholder Preferences 1-gen-2013 Ingolfo, SilviaSiena, AlbertoSusi, AngeloPerini, AnnaMylopoulos, Ioannis +
Mostrati risultati da 1 a 20 di 23
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