Mylopoulos, John
Mylopoulos, John
A Design Framework for Generating BDI-Agents from Goal Models
2006-01-01 Penserini, Loris; Perini, Anna; Susi, Angelo; Morandini, Mirko; Mylopoulos, John
A Design Framework for Generating BDI-Agents from Goal Models.
2007-01-01 Penserini, Loris; Perini, Anna; Susi, Angelo; Morandini, Mirko; Mylopoulos, John
A Knowledge Level Software Engineering Methodology for Agent Oriented Software
2001-01-01 Bresciani, Paolo; Perini, Anna; Paolo, Giorgini; Giunchiglia, Fausto; Mylopoulos, John
Agent Capability: Automating the Design to Code Process,
2006-01-01 Penserini, Loris; Perini, Anna; Susi, Angelo; Mylopoulos, John
Agent-Oriented Software Development: A Case Study
2001-01-01 Paolo, Giorgini; Perini, Anna; Mylopoulos, John; Giunchiglia, Fausto; Bresciani, Paolo
Applying Software Analysis Technology to Lightweight Semantic Markup of Document Text
2005-01-01 Nadzeya, Kiyavitskaya; Nicola, Zeni; Cordy, James Reginald; Luisa, Mich; Mylopoulos, John
Applying Tropos Methodology to a real case study: Complexity and Criticality Analysis
2002-01-01 Garzetti, Maddalena; Paolo, Giorgini; Mylopoulos, John; Sannicolò, Fabrizio
Automated Reasoning for Regulatory Compliance
2013-01-01 Siena, Alberto; S., Ingolfo; Perini, Anna; Susi, Angelo; Mylopoulos, John
Capturing Variability of Law with Nomos 2
2012-01-01 Siena, Alberto; Ivan, Jureta; Silvia, Ingolfo; Susi, Angelo; Perini, Anna; Mylopoulos, John
Data Management for Peer-to-Peer Computing: A Vision
2002-01-01 Phil, Bernstein; Giunchiglia, Fausto; A., Kementsietsidis; Mylopoulos, John; Serafini, Luciano; Zaihrayeu, Ilya
Design Matters for Semantic Web Services
2005-01-01 Penserini, Loris; Mylopoulos, John
Designing law-compliant software requirements
2009-01-01 Siena, Alberto; Mylopoulos, John; Perini, Anna; Susi, Angelo
Establishing Regulatory Compliance for Information System Requirements: An Experience Report from the Health Care Domain
2010-01-01 Siena, Alberto; Giampaolo, Armellin; Mameli, Gianluca; Mylopoulos, John; Perini, Anna; Susi, Angelo
From Capability Specifications to Code for Multi-Agent Software
2006-01-01 Penserini, Loris; Perini, Anna; Susi, Angelo; Mylopoulos, John
From Laws to Requirements
2008-01-01 Siena, Alberto; Mylopoulos, John; Perini, Anna; Susi, Angelo
From Stakeholder Intentions to Software Agent Implementations
2006-01-01 Penserini, Loris; Perini, Anna; Susi, Angelo; Mylopoulos, John
High variability design for software agents: Extending Tropos
2007-01-01 Penserini, Loris; Perini, Anna; Susi, Angelo; Mylopoulos, John
Local Relational Model: a logical formalization of database coordination
2003-01-01 Serafini, Luciano; Giunchiglia, Fausto; Mylopoulos, John; Phil, Bernstein
Model Checking Early Requirements Specifications in Tropos
2001-01-01 A., Fuxman; Pistore, Marco; Mylopoulos, John; Traverso, Paolo
Modeling early requirements in Tropos: a transformation based approach
2001-01-01 Bresciani, Paolo; Perini, Anna; Paolo, Giorgini; Giunchiglia, Fausto; Mylopoulos, John
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Design Framework for Generating BDI-Agents from Goal Models | 1-gen-2006 | Penserini, Loris; Perini, Anna; Susi, Angelo; Morandini, Mirko; Mylopoulos, John | |
A Design Framework for Generating BDI-Agents from Goal Models. | 1-gen-2007 | Penserini, Loris; Perini, Anna; Susi, Angelo; Morandini, Mirko; Mylopoulos, John | |
A Knowledge Level Software Engineering Methodology for Agent Oriented Software | 1-gen-2001 | Bresciani, Paolo; Perini, Anna; Paolo, Giorgini; Giunchiglia, Fausto; Mylopoulos, John | |
Agent Capability: Automating the Design to Code Process, | 1-gen-2006 | Penserini, Loris; Perini, Anna; Susi, Angelo; Mylopoulos, John | |
Agent-Oriented Software Development: A Case Study | 1-gen-2001 | Paolo, Giorgini; Perini, Anna; Mylopoulos, John; Giunchiglia, Fausto; Bresciani, Paolo | |
Applying Software Analysis Technology to Lightweight Semantic Markup of Document Text | 1-gen-2005 | Nadzeya, Kiyavitskaya; Nicola, Zeni; Cordy, James Reginald; Luisa, Mich; Mylopoulos, John | |
Applying Tropos Methodology to a real case study: Complexity and Criticality Analysis | 1-gen-2002 | Garzetti, Maddalena; Paolo, Giorgini; Mylopoulos, John; Sannicolò, Fabrizio | |
Automated Reasoning for Regulatory Compliance | 1-gen-2013 | Siena, Alberto; S., Ingolfo; Perini, Anna; Susi, Angelo; Mylopoulos, John | |
Capturing Variability of Law with Nomos 2 | 1-gen-2012 | Siena, Alberto; Ivan, Jureta; Silvia, Ingolfo; Susi, Angelo; Perini, Anna; Mylopoulos, John | |
Data Management for Peer-to-Peer Computing: A Vision | 1-gen-2002 | Phil, Bernstein; Giunchiglia, Fausto; A., Kementsietsidis; Mylopoulos, John; Serafini, Luciano; Zaihrayeu, Ilya | |
Design Matters for Semantic Web Services | 1-gen-2005 | Penserini, Loris; Mylopoulos, John | |
Designing law-compliant software requirements | 1-gen-2009 | Siena, Alberto; Mylopoulos, John; Perini, Anna; Susi, Angelo | |
Establishing Regulatory Compliance for Information System Requirements: An Experience Report from the Health Care Domain | 1-gen-2010 | Siena, Alberto; Giampaolo, Armellin; Mameli, Gianluca; Mylopoulos, John; Perini, Anna; Susi, Angelo | |
From Capability Specifications to Code for Multi-Agent Software | 1-gen-2006 | Penserini, Loris; Perini, Anna; Susi, Angelo; Mylopoulos, John | |
From Laws to Requirements | 1-gen-2008 | Siena, Alberto; Mylopoulos, John; Perini, Anna; Susi, Angelo | |
From Stakeholder Intentions to Software Agent Implementations | 1-gen-2006 | Penserini, Loris; Perini, Anna; Susi, Angelo; Mylopoulos, John | |
High variability design for software agents: Extending Tropos | 1-gen-2007 | Penserini, Loris; Perini, Anna; Susi, Angelo; Mylopoulos, John | |
Local Relational Model: a logical formalization of database coordination | 1-gen-2003 | Serafini, Luciano; Giunchiglia, Fausto; Mylopoulos, John; Phil, Bernstein | |
Model Checking Early Requirements Specifications in Tropos | 1-gen-2001 | A., Fuxman; Pistore, Marco; Mylopoulos, John; Traverso, Paolo | |
Modeling early requirements in Tropos: a transformation based approach | 1-gen-2001 | Bresciani, Paolo; Perini, Anna; Paolo, Giorgini; Giunchiglia, Fausto; Mylopoulos, John |