Angelo Susi

Chia-kang Hung

Proceedings of the IEEE/ACM International Workshop on Search-Based and Fuzz Testing, 2023

2022

Complementary material for the book "Optimising the Software Development Process with Artificial Intelligence".

[BibT_eX]

[DOI]

Dataset, August, 2022

Correction to: Analysing app reviews for software engineering: a systematic literature review.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2022

Analysing app reviews for software engineering: a systematic literature review.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2022

Collaborative Artificial Intelligence Needs Stronger Assurances Driven by Risks.

[BibT_eX]

[DOI]

Jubril Gbolahan Adigun

Computer, 2022

An agent-based approach to automated game testing: an experience report.

[BibT_eX]

[DOI]

I. S. W. B. Prasetya

Fernando Pastor Ricós

Samira Shirzadehhajimahmood

Proceedings of the 13th International Workshop on Automating Test Case Design, 2022

A Formal IDE for Railways: Research Challenges.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022

EvoMBT at the SBST 2022 Tool Competition.

[BibT_eX]

[DOI]

Chia-kang Hung

Proceedings of the 15th IEEE/ACM International Workshop on Search-Based Software Testing, 2022

Preface: 3rd Workshop on Requirements Engineering for Artificial Intelligence (RE4AI).

[BibT_eX]

[DOI]

Renata S. S. Guizzardi

Jennifer Horkoff

Proceedings of the Joint Proceedings of REFSQ-2022 Workshops, 2022

Mining User Feedback For Software Engineering: Use Cases and Reference Architecture.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Requirements Engineering Conference, 2022

Requirements Engineering for Collaborative Artificial Intelligence Systems: A Literature Survey.

[BibT_eX]

[DOI]

Lawrence Araa Odong

Proceedings of the Research Challenges in Information Science, 2022

Towards Agent-Based Testing of 3D Games using Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

2021

Automating user-feedback driven requirements prioritization.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2021

Collaborative AI Needs Stronger Assurances Driven by Risks.

[BibT_eX]

[DOI]

Jubril Gbolahan Adigun

CoRR, 2021

Search-Based Automated Play Testing of Computer Games: A Model-Based Approach.

[BibT_eX]

[DOI]

Samira Shirzadehhajimahmood

I. S. W. B. Prasetya

Proceedings of the Search-Based Software Engineering - 13th International Symposium, 2021

Risk-Driven Compliance Assurance for Collaborative AI Systems: A Vision Paper.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2021

Specifying Requirements for Data Collection and Analysis in Data-Driven RE. A Research Preview.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2021

Combining risk and variability modelling for requirements analysis in SAS engineering.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

Requirements for Online User Feedback Management in RE Tasks.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 2021

Towards Risk Modeling for Collaborative AI.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE/ACM Workshop on AI Engineering - Software Engineering for AI, 2021

2020

Preface: The International Workshop on Requirements Engineering for Artificial Intelligence (RE4AI 2020).

[BibT_eX]

[DOI]

Renata S. S. Guizzardi

Jennifer Horkoff

Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020

Authoring Interactive Videos for e-Learning: The ELEVATE Tool Suite.

[BibT_eX]

[DOI]

Proceedings of the Methodologies and Intelligent Systems for Technology Enhanced Learning, 2020

Using i* to Understand the Domain of Video Tutorial for Online Training.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth International iStar Workshop co-located with 28th IEEE International Requirements Engineering Conference (RE 2020), 2020

A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Mining User Opinions to Support Requirement Engineering: An Empirical Study.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2020

2019

Combining Code and Requirements Coverage with Execution Cost for Test Suite Reduction.

[BibT_eX]

[DOI]

Alessandro Marchetto

Giuseppe Scanniello

IEEE Trans. Software Eng., 2019

Research on NLP for RE at the FBK-Software Engineering Research Line: A Report.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of REFSQ-2019 Workshops, 2019

Finding and Analyzing App Reviews Related to Specific Features: A Research Preview.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2019

Design Thinking and Acceptance Requirements for Designing Gamified Software.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Research Challenges in Information Science, 2019

2018

Managing Multi-Lingual User Feedback: The SUPERSEDE Project Experience.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of REFSQ-2018 Workshops, 2018

Exploring RE Knowledge for Gamification: Can RE Achieve a High Score?

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Affective Computing for Requirements Engineering, 2018

Model Driven Software Reconfiguration by Exploiting Grammar Based Genetic Programming.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Model-Driven Requirements Engineering Workshop, 2018

Aligning Goal and Decision Modeling.

[BibT_eX]

[DOI]

Renata S. S. Guizzardi

Antônio Mauricio Pitangueira

Proceedings of the Information Systems in the Big Data Era, 2018

A Situational Approach for the Definition and Tailoring of a Data-Driven Software Evolution Method.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2018

2017

Minimizing the stakeholder dissatisfaction risk in requirement selection for next release planning.

[BibT_eX]

[DOI]

Rita Suzana Pitangueira Maciel

Márcio de Oliveira Barros

Inf. Softw. Technol., 2017

Grammar Based Genetic Programming for Software Configuration Problem.

[BibT_eX]

[DOI]

Proceedings of the Search Based Software Engineering - 9th International Symposium, 2017

Gathering Requirements for Software Configuration from the Crowd.

[BibT_eX]

[DOI]

Melanie J. C. Stade

Norbert Seyff

Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

Exploiting User Feedback in Tool-Supported Multi-criteria Requirements Prioritization.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Gamifying Collaborative Prioritization: Does Pointsification Work?

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

DMGame: A Gamified Collaborative Requirements Prioritisation Tool.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Discovering Requirements through Goal-Driven Process Mining.

[BibT_eX]

[DOI]

Jacek Dabrowski

Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

Goal-aware Analysis of Software License Risks.

[BibT_eX]

[DOI]

Proceedings of the 10th International i* Workshop co-located with the 29th International Conference on Advanced Information Systems Engineering (CAiSE 2017), 2017

Tool-Supported Collaborative Requirements Prioritisation.

[BibT_eX]

[DOI]

Paolo Busetta

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Towards Multi-decision-maker Requirements Prioritisation via Multi-Objective Optimisation.

[BibT_eX]

[DOI]

Antônio Mauricio Pitangueira

Proceedings of the Forum and Doctoral Consortium Papers Presented at the 29th International Conference on Advanced Information Systems Engineering, 2017

2016

A Multi-Objective Technique to Prioritize Test Cases.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2016

Risk-Aware Multi-stakeholder Next Release Planning Using Multi-objective Optimization.

[BibT_eX]

[DOI]

Rita Suzana Pitangueira Maciel

Márcio de Oliveira Barros

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2016

Risk assessment in open source systems.

[BibT_eX]

[DOI]

Xavier Franch

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

A goal-oriented approach for representing and using design patterns.

[BibT_eX]

[DOI]

Luca Sabatucci

Massimo Cossentino

J. Syst. Softw., 2015

Ahab's legs in scenario-based requirements validation: An experiment to study communication mistakes.

[BibT_eX]

[DOI]

J. Syst. Softw., 2015

Goals at risk? Machine learning at support of early assessment.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

The RISCOSS Platform for Risk Management in Open Source Software Adoption.

[BibT_eX]

[DOI]

Proceedings of the Open Source Systems: Adoption and Impact, 2015

Exploiting Online Discussions in Collaborative Distributed Requirements Engineering.

[BibT_eX]

[DOI]

Proceedings of the Eighth International i*Workshop, 2015

Breaking the Recursivity: Towards a Model to Analyse Expert Finders.

[BibT_eX]

[DOI]

Matthieu Vergne

Proceedings of the Conceptual Modeling - 34th International Conference, 2015

Aligning Business Goals and Risks in OSS Adoption.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 34th International Conference, 2015

Community Data for OSS Adoption Risk Management.

[BibT_eX]

[DOI]

Proceedings of the Art and Science of Analyzing Software Data, 2015

2014

How smartphone users assess the value/risk trade-off of apps: An observational study.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Workshop on Empirical Requirements Engineering, 2014

A Layered Approach to Managing Risks in OSS Projects.

[BibT_eX]

[DOI]

Proceedings of the Open Source Software: Mobile Open Source Technologies, 2014

Quantifying the Impact of OSS Adoption Risks with the help of i* Models.

[BibT_eX]

[DOI]

Proceedings of the Seventh International i* Workshop co-located with the 26th International Conference on Advanced Information Systems Engineering (CAiSE 2014), 2014

Who is the expert? combining intention and knowledge of online discussants in collaborative RE tasks.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

Modelling Risks in Open Source Software Component Selection.

[BibT_eX]

[DOI]

Mirko Morandini

Proceedings of the Conceptual Modeling - 33rd International Conference, 2014

Nòmos 3: Legal Compliance of Roles and Requirements.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 33rd International Conference, 2014

Adoption of Free Libre Open Source Software (FLOSS): A Risk Management Perspective.

[BibT_eX]

[DOI]

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Expert Finding Using Markov Networks in Open Source Communities.

[BibT_eX]

[DOI]

Matthieu Vergne

Proceedings of the Advanced Information Systems Engineering, 2014

Risk Awareness in Open Source Component Selection.

[BibT_eX]

[DOI]

Mirko Morandini

Proceedings of the Business Information Systems - 17th International Conference, 2014

2013

A Machine Learning Approach to Software Requirements Prioritization.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2013

Interactive requirements prioritization using a genetic algorithm.

[BibT_eX]

[DOI]

Francis Palma

Inf. Softw. Technol., 2013

Comparing the comprehensibility of requirements models expressed in Use Case and Tropos: Results from a family of experiments.

[BibT_eX]

[DOI]

Irit Hadar

Iris Reinhartz-Berger

Inf. Softw. Technol., 2013

Arguing regulatory compliance of software requirements.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2013

Choosing Compliance Solutions through Stakeholder Preferences.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2013

Modeling laws with nomos 2.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Requirements Engineering and Law, 2013

An empirical study on the efficiency of graphical vs. textual representations in requirements comprehension.

[BibT_eX]

[DOI]

Proceedings of the IEEE 21st International Conference on Program Comprehension, 2013

Analysing User Feedback and Finding Experts: Can Goal-Orientation Help?

[BibT_eX]

[DOI]

Matthieu Vergne

Mirko Morandini

Proceedings of the 6th International i* Workshop 2013, 2013

Using i* to Represent OSS Ecosystems for Risk Assessment.

[BibT_eX]

[DOI]

Proceedings of the 6th International i* Workshop 2013, 2013

Managing Risk in Open Source Software Adoption.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT 2013, 2013

Automated Reasoning for Regulatory Compliance.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 32th International Conference, 2013

Maintainability-Based Requirements Prioritization by Using Artifacts Traceability and Code Metrics.

[BibT_eX]

[DOI]

Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

2012

Validation of requirements for hybrid systems: A formal approach.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2012

Revealing the obvious?: A retrospective artefact analysis for an ambient assisted-living project.

[BibT_eX]

[DOI]

Chiara Di Francescomarino

Proceedings of the Second IEEE International Workshop on Empirical Requirements Engineering, 2012

On the use of goal-oriented methodology for designing agriculture services in developing countries.

[BibT_eX]

[DOI]

Amanuel Zewge

Komminist Weldemariam

Proceedings of the International Conference on Management of Emergent Digital EcoSystems, 2012

reBPMN: Recovering and reducing business processes.

[BibT_eX]

[DOI]

Alex Tomasi

Alessandro Marchetto

Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

MOTCP: A tool for the prioritization of test cases based on a sorting genetic algorithm and Latent Semantic Indexing.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

Capturing Variability of Law with Nómos 2.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2012

Requirements, Intentions, Goals and Applicable Norms.

[BibT_eX]

[DOI]

Proceedings of the Advances in Conceptual Modeling, 2012

Where Did the Requirements Come from? A Retrospective Case Study.

[BibT_eX]

[DOI]

Proceedings of the Advances in Conceptual Modeling, 2012

A Multi-Objective Technique to Prioritize Test Cases Based on Latent Semantic Indexing.

[BibT_eX]

[DOI]

Proceedings of the 16th European Conference on Software Maintenance and Reengineering, 2012

2011

Formalizing requirements with object models and temporal constraints.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2011

Towards interoperability of i* models using iStarML.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2011

Using an SMT solver for interactive requirements prioritization.

[BibT_eX]

[DOI]

Francis Palma

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Ahab's Leg dilemma: On the design of a controlled experiment.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Empirical Requirements Engineering, 2011

Establishing information system compliance: An argumentation-based framework.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Research Challenges in Information Science, 2011

Issues and Challenges in Coupling Tropos with User-Centred Design.

[BibT_eX]

[DOI]

Proceedings of the 5th International i* Workshop 2011, 2011

Tropos Modeling, Code Generation and Testing with the Taom4E Tool.

[BibT_eX]

[DOI]

Proceedings of the 5th International i* Workshop 2011, 2011

Nòmos: from Strategic Dependencies to Obligations.

[BibT_eX]

[DOI]

Proceedings of the 5th International i* Workshop 2011, 2011

Incorporating Users into AmI System Design: From Requirements Toward Automation.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Development, Reflections, Challenges and New Directions [Proceedings of ISD 2011, Heriot-Watt University, Edinburgh, Scotland, UK, August 24, 2011

Design as Intercultural Dialogue: Coupling Human-Centered Design with Requirement Engineering Methods.

[BibT_eX]

[DOI]

Proceedings of the Human-Computer Interaction - INTERACT 2011, 2011

OthelloPlay: a plug-in based tool for requirement formalization and validation.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Developing Tools as Plug-ins, 2011

Evolving Requirements in Socio-Technical Systems: Concepts and Practice.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - ER 2011, 30th International Conference, 2011

The Tropos Methodology and Software Development Environment.

[BibT_eX]

Proceedings of the Social Modeling for Requirements Engineering., 2011

2010

Integrating business strategies with requirement models of legal compliance.

[BibT_eX]

[DOI]

Int. J. Electron. Bus., 2010

Theory of Regulatory Compliance for Requirements Engineering

[BibT_eX]

[DOI]

CoRR, 2010

An empirical study of requirements model understanding: Use Case vs. Tropos models.

[BibT_eX]

[DOI]

Irit Hadar

Tsvi Kuflik

Iris Reinhartz-Berger

Filippo Ricca

Chiara Di Francescomarino

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Exploring the Boundaries: when Method Fragmentation is not Convenient.

[BibT_eX]

[DOI]

Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010

On the use of the Goal-Oriented Paradigm for System Design and Law Compliance Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 4th International i* Workshop, 2010

A bit of "Persona", a bit of "Goal", a bit of "Process" ... a recipe for Analyzing User Intensive Software Systems.

[BibT_eX]

[DOI]

Proceedings of the 4th International i* Workshop, 2010

Formalization and validation of a subset of the European Train Control System.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Modeling and Analysis of Laws Using BPR and Goal-Oriented Framework.

[BibT_eX]

[DOI]

Adolfo Villafiorita

Komminist Weldemariam

Proceedings of the Fourth International Conference on Digital Society, 2010

Establishing Regulatory Compliance for Information System Requirements: An Experience Report from the Health Care Domain.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2010

Towards a Framework for Business Process Compliance.

[BibT_eX]

[DOI]

Proceedings of the Workshops Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, 2010

Ahab's Leg: Exploring the Issues of Communicating Semi-formal Requirements to the Final Users.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 22nd International Conference, 2010

2009

Tool-supported requirements prioritization: Comparing the AHP and CBRank methods.

[BibT_eX]

[DOI]

Filippo Ricca

Inf. Softw. Technol., 2009

Using three AOSE toolkits to develop a sample design.

[BibT_eX]

[DOI]

Int. J. Agent Oriented Softw. Eng., 2009

Formalization and Validation of Safety-Critical Requirements

[BibT_eX]

[DOI]

Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

A Meta-Model for Modelling Law-Compliant Requirements.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Requirements Engineering and Law, 2009

A Legal Perspective on Business: Modeling the Impact of Law.

[BibT_eX]

[DOI]

Proceedings of the E-Technologies: Innovation in an Open World, 2009

Supporting Requirements Validation: The EuRailCheck Tool.

[BibT_eX]

[DOI]

Proceedings of the ASE 2009, 2009

Clustering test cases to achieve effective and scalable prioritisation incorporating expert knowledge.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

Introducing Motivations in Design Pattern Representation.

[BibT_eX]

[DOI]

Luca Sabatucci

Massimo Cossentino

Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

Towards a framework for law-compliant software requirements.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

Building and Browsing Tropos Models: The AVI Design.

[BibT_eX]

[DOI]

Proceedings of the Human Interface and the Management of Information. Information and Interaction, 2009

Designing Law-Compliant Software Requirements.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2009

2008

Object Models with Temporal Constraints.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

From Laws to Requirements.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Requirements Engineering and Law, 2008

Tropos at the Age of Eight: On-going Research at FBK, UniTN and UT.

[BibT_eX]

[DOI]

Proceedings of the 3rd International i* Workshop, Recife, Brazil, February 11-12, 2008, 2008

iStarML: An XML-based Model Interchange Format for i*.

[BibT_eX]

[DOI]

Proceedings of the 3rd International i* Workshop, Recife, Brazil, February 11-12, 2008, 2008

From Informal Requirements to Property-Driven Formal Validation.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

Exploring the Effectiveness of Normative i* Modelling: Results from a Case Study on Food Chain Traceability.

[BibT_eX]

[DOI]

Neil A. M. Maiden

James Lockerbie

Inger Kristine Karlsen

Proceedings of the Advanced Information Systems Engineering, 20th International Conference, 2008

2007

High variability design for software agents: Extending Tropos.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2007

A design framework for generating BDI-agents from goal models.

[BibT_eX]

[DOI]

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Refining Goal Models by Evaluating System Behaviour.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering VIII, 8th International Workshop, 2007

Tool-Supported Development with Tropos: The Conference Management System Case Study.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering VIII, 8th International Workshop, 2007

2006

From Capability Specifications to Code for Multi-Agent Software.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Using the Case-Based Ranking Methodology for Test Case Prioritization.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 2006

Agent Capability: Automating the Design to Code Process.

[BibT_eX]

[DOI]

Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06, 2006

From Stakeholder Intentions to Software Agent Implementations.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 18th International Conference, 2006

A Tropos Model-Driven Development Environment.

[BibT_eX]

[DOI]

Proceedings of the 18th Conference on Advanced Information Systems Engineering (CAiSE '06), 2006

2005

The Tropos Metamodel and its Use.

[BibT_eX]

[DOI]

Informatica (Slovenia), 2005

Agent-oriented visual modeling and model validation for engineering distributed systems.

[BibT_eX]

Comput. Syst. Sci. Eng., 2005

AI in support of Plant Disease Management.

[BibT_eX]

[DOI]

AI Commun., 2005

Exploiting Domain Knowledge in Requirements Prioritization.

[BibT_eX]

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Facing Scalability Issues in Requirements Prioritization with Machine Learning Techniques.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

Collaborative Case-Based Preference Elicitation.

[BibT_eX]

[DOI]

Daniele Zanoni

Proceedings of the Innovations in Applied Artificial Intelligence, 2005

Automating Model Transformations in Agent-Oriented Modelling.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering VI, 6th International Workshop, 2005

2004

Developing a decision support system for integrated production in agriculture.

[BibT_eX]

[DOI]

Environ. Model. Softw., 2004

Supporting the Requirements Prioritization Process. A Machine Learning approach.

[BibT_eX]

Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), 2004

Developing Tools for Agent-Oriented Visual Modeling.

[BibT_eX]

[DOI]

Proceedings of the Multiagent System Technologies, Second German Conference, 2004

2003

Dealing with software design issues using an Agent-Oriented methodology.

[BibT_eX]

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Case-Based Ranking for Decision Support Systems.

[BibT_eX]

[DOI]

Sara Ferrari

Proceedings of the Case-Based Reasoning Research and Development, 2003

Agent-Oriented Modeling by Interleaving Formal and Informal Specification.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering IV, 4th International Workshop, 2003

2002

Coordination specification in multi-agent systems: from requirements to architecture with the Tropos methodology.

[BibT_eX]

[DOI]

Fausto Giunchiglia

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Collaborative Radio Community.

[BibT_eX]

[DOI]

Proceedings of the Adaptive Hypermedia and Adaptive Web-Based Systems, 2002

2001

A Constraint-Based Architecture for Flexible Support to Activity Scheduling.

[BibT_eX]

[DOI]

Amedeo Cesta

Gabriella Cortellessa

Angelo Oddi

Nicola Policella

Proceedings of the AI*IA 2001: Advances in Artificial Intelligence, 2001

1999

TimeNetManager - A Software Tool for Generating Random Temporal Networks.

[BibT_eX]

[DOI]

Amedeo Cesta

Angelo Oddi