From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

AgentZ: Extending Object-Z for Multi-agent Systems Specification.

A. Brandão, P. Alencar, и C. de Lucena. AOIS, том 3508 из Lecture Notes in Computer Science, стр. 125-139. Springer, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Simone Nunes Brandão

Augusto Brandão d' Oliveira

Rui P Brandao

Larissa Brandao Landim Cramer

Другие публикации лиц с тем же именем

Extending (Object-)Z for multi-agent systems specification.A. Brandão, P. Alencar, и C. de Lucena. CAiSE Workshops (2), стр. 280-294. Faculty of Computer Science and Information Technology, Riga Technical University, Riga, Latvia, (2004)Taming Agents and Objects in Software Engineering.V. da Silva, A. Garcia, A. Brandão, C. Chavez, C. de Lucena, и P. Alencar. SELMAS, том 2603 из Lecture Notes in Computer Science, стр. 1-26. Springer, (2002)Observed-MAS: An Ontology-Based Method for Analyzing Multi-Agent Systems Design Models.A. Brandão, V. da Silva, и C. de Lucena. AOSE, том 4405 из Lecture Notes in Computer Science, стр. 122-139. Springer, (2006)AgentZ: Extending Object-Z for Multi-agent Systems Specification.A. Brandão, P. Alencar, и C. de Lucena. AOIS, том 3508 из Lecture Notes in Computer Science, стр. 125-139. Springer, (2004)A Learning Management System Accessible for Visual, Hearing and Physical Impairments.M. do Nascimento, T. Oliveira, N. Lima, R. Ramos, L. Silva, F. de M. B. Oliveira, и A. Brandão. HCI (7), том 11572 из Lecture Notes in Computer Science, стр. 481-493. Springer, (2019)Towards a MAS Product Line Engineering Approach.D. Boufedji, Z. Guessoum, A. Brandão, T. Ziadi, и A. Mokhtari. EMAS@AAMAS, том 10738 из Lecture Notes in Computer Science, стр. 161-179. Springer, (2017)Multi-Agent System Design Verification Using Knowledge-based Reasoning.A. Brandão, V. da Silva, и C. de Lucena. SEKE, стр. 602-607. (2005)A Model-Based Architecture for Organizational Interoperability in Open Multiagent Systems.L. Coutinho, A. Brandão, J. Sichman, J. Hübner, и O. Boissier. COIN@AAMAS&IJCAI&MALLOW, том 6069 из Lecture Notes in Computer Science, стр. 102-113. Springer, (2009)A knowledge-based approach to the specification and verification of MAS design.A. Brandão, V. da Silva, и C. de Lucena. AAMAS, стр. 1373. ACM, (2005)Towards a New Approach for MAS Situational Method Engineering: a Fragment Definition.S. Casare, Z. Guessoum, A. Brandão, и J. Sichman. MALLOW, том 627 из CEUR Workshop Proceedings, CEUR-WS.org, (2010)

BibSonomy

Disambiguation