Engineering multi-agent systems : third international workshop, emas 2015, istanbul, turkey, may 5, 2015, revised, selected, and invited papers / edited by Matteo Baldoni, Luciano Baresi, Mehdi Dastani.
Tipo de material:
TextoSeries Lecture Notes in Computer Science ; 9318Editor: Cham : Springer International Publishing : Springer, 2015Edición: 1st ed. 2015Descripción: x, 231 páginas : 55 ilustracionesTipo de contenido: - texto
- computadora
- recurso en línea
- 9783319261843
- Q334-342
Contenidos:
Programming frameworks -- Languages, models and abstractions for MAS -- Formal methods and declarative technologies for specification, verification and engineering of MAS -- MAS software engineering methodologies and techniques, and development concerns -- Interoperability and integration -- Tools and testbeds -- MAS techniques -- Empirical studies and (industrial) experience reports.
No hay ítems correspondientes a este registro
Springer eBooks
Programming frameworks -- Languages, models and abstractions for MAS -- Formal methods and declarative technologies for specification, verification and engineering of MAS -- MAS software engineering methodologies and techniques, and development concerns -- Interoperability and integration -- Tools and testbeds -- MAS techniques -- Empirical studies and (industrial) experience reports.
Para consulta fuera de la UANL se requiere clave de acceso remoto.