Juan Carlos González Moreno

Manuel Mendoza-Manzano

Comput. Appl. Eng. Educ., 2017

2016

Pentas: Using Satellites for Smart Sensing.

[BibT_eX]

[DOI]

Lorena Otero-Cerdeira

Juan Ignacio Costa-Dasilva

Arno Formella

Proceedings of the Intelligent Interactive Multimedia Systems and Services 2016, 2016

2015

A located and user personalized event's dissemination platform.

[BibT_eX]

[DOI]

J. Intell. Fuzzy Syst., 2015

PEABS: A Process for developing Efficient Agent-Based Simulators.

[BibT_eX]

[DOI]

Guillermo Palacios Navarro

Eng. Appl. Artif. Intell., 2015

2014

INGENIAS-Scrum.

[BibT_eX]

[DOI]

Rubén Fuentes-Fernández

Proceedings of the Handbook on Agent-Oriented Design Processes, 2014

INGENIAS with the Unified Development Process.

[BibT_eX]

[DOI]

Rubén Fuentes-Fernández

Proceedings of the Handbook on Agent-Oriented Design Processes, 2014

2012

An Agent Oriented Development Process for Multimedia Systems, .

[BibT_eX]

[DOI]

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2012

Agent Oriented Software Engineering for Multimedia Systems' Development - An Experimental Case Study.

[BibT_eX]

David Ramos-Varcárcel

Proceedings of the ENASE 2012, 2012

2011

Using Multi-Agent Systems to Visualize Text Descriptions.

[BibT_eX]

[DOI]

Edgar Bolaño-Rodríguez

Proceedings of the Advances on Practical Applications of Agents and Multiagent Systems, 2011

Modeling serious games using AOSE methodologies.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Intelligent Systems Design and Applications, 2011

Using a controlled language in Spanish to specify the architectural design of a multiagent system.

[BibT_eX]

[DOI]

David Ramos-Varcárcel

Proceedings of the 11th International Conference on Intelligent Systems Design and Applications, 2011

2010

A technique fordefining agent-oriented engineering processes with tool support.

[BibT_eX]

[DOI]

Rubén Fuentes-Fernández

Eng. Appl. Artif. Intell., 2010

Comparing Agile Processes for Agent Oriented Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Product-Focused Software Process Improvement, 2010

Agent Collaboration Framework.

[BibT_eX]

[DOI]

Rubén Romero-González

Cástor Sánchez-Chao

Proceedings of the Trends in Practical Applications of Agents and Multiagent Systems, 2010

Application of a Modeling Standard Language on the Definition of Agent Oriented Development Processes.

[BibT_eX]

[DOI]

Proceedings of the Trends in Practical Applications of Agents and Multiagent Systems, 2010

Applying Process Document Standarization to INGENIAS.

[BibT_eX]

[DOI]

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

Process Documentation Standardization: An Initial Evaluation.

[BibT_eX]

[DOI]

Massimo Cossentino

Andrea Omicini

Ambra Molesini

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

2009

V-MAS: A Video Conference Multiagent System.

[BibT_eX]

[DOI]

Loxo Lueiro Astray

Rubén Romero-González

Proceedings of the 7th International Conference on Practical Applications of Agents and Multi-Agent Systems, 2009

Methodology vs. Development Process: A Case Study for AOSE.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 2009

2008

Using Techniques Based on Natural Language in the Development Process of Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Distributed Computing and Artificial Intelligence, 2008

INGENIAS-SCRUM Development Process for Multi-Agent Development.

[BibT_eX]

[DOI]

Jorge J. Gómez-Sanz

Proceedings of the International Symposium on Distributed Computing and Artificial Intelligence, 2008

Modeling Processes of AOSE Methodologies by Means of a New Editor.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Distributed Computing and Artificial Intelligence, 2008

Design of Multiagent System Architecture.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

Definition of Process Models for Agent-Based Development.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering IX, 9th International Workshop, 2008

2001

Polymorphic Types in Functional Logic Programming.

[BibT_eX]

J. Funct. Log. Program., 2001

2000

A Graphical Environment for Functional Logic Languages.

[BibT_eX]

Javier de Dios Castro

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

1999

An Approach to Declarative Programming Based on a Rewriting Logic.

[BibT_eX]

[DOI]

Francisco Javier López-Fraguas

J. Log. Program., 1999

Semantics and Types in Functional Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1997

A Higher Order Rewriting Logic for Functional Logic Programming.

[BibT_eX]

Proceedings of the Logic Programming, 1997

1996

A Rewriting Logic for Declarative Programming.

[BibT_eX]

[DOI]

Francisco Javier López-Fraguas

Proceedings of the Programming Languages and Systems, 1996

1993

A Correctness Proof for Warren's HO into FO Translation.

[BibT_eX]

Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992

On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 6th Workshop, 1992

1991

Denotational Versus Declarative Semantics for Functional Programming.

[BibT_eX]

[DOI]