- -

A Model-Driven CASE tool for developing and verifying regulated open MAS

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

A Model-Driven CASE tool for developing and verifying regulated open MAS

Mostrar el registro completo del ítem

Garcia Marques, ME.; Giret Boggino, AS.; Botti V. (2013). A Model-Driven CASE tool for developing and verifying regulated open MAS. Science of Computer Programming. 78(6):695-704. doi:10.1016/j.scico.2011.10.009.

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/45032

Ficheros en el ítem

Metadatos del ítem

Título: A Model-Driven CASE tool for developing and verifying regulated open MAS
Autor:
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
This paper describes a CASE tool for developing complex systems in which heterogeneous and autonomous agents may need to coexist in a complex social and legal framework. Model-Driven Technologies are used to integrate the ...[+]
Palabras clave: Multi-agent systems , Contracts , Model-Driven software development , Model checking
Derechos de uso: Reserva de todos los derechos
Fuente:
Science of Computer Programming. (issn: 0167-6423 )
DOI: 10.1016/j.scico.2011.10.009
Editorial:
Elsevier
Versión del editor: http://dx.doi.org/10.1016/j.scico.2011.10.009
Patrocinador:
TIN2008-04446
TIN2009-13839-C03-01
PROMETEO 2008/051
Consolider Ingenio 2010 [CSD2007-00022]
FPU grant AP2007-01276
Tipo: Artículo

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem