Art

J-GLOBAL ID：200902291646020391   Reference number：06A0355589

Implementation of Interaction using Design by Contract

契約による設計を用いたインタラクションの実装

Author (3)： DOI TAKUO (東大) ,  HON'IDEN SHIN'ICHI (東大) ,  HON'IDEN SHIN'ICHI (国立情報学研)
Material： 情報処理学会論文誌  (IPSJ Journal)
Volume： 47  Issue： 5  Page： 1371-1381  Publication year： May. 15, 2006 
JST Material Number： Z0778A  ISSN： 0387-5806  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： user interface ,...
Semi thesaurus term： *インタラクション ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=06A0355589&from=J-GLOBAL&jstjournalNo=Z0778A") }}

JST classification (2)： Man-machine system  (IB03000G) ,  Artificial intelligence  (JE08000Z)

Reference (16)：

• Suna, A. and El Fallah-Seghrouchni, A.: CLAIM: A computational language for autonomous, intelligent and mobile agents, Programming Multiagent Systems, LNAI, Vol.3067, Springer (2004).
• Bertrand, M.: Eiffel: the Language, PrenticeHall (1992).
• CSELT: JADE. http://sharon.cselt.it/projects/jade/
• Doi, T., Yoshioka, N., Tahara, Y. and Honiden, S., IOM/T: An interaction description language for multi-agent systems, 4th International Joint Conference on Autonomous Agents 〓 Multi Agent Systems AAMAS2005(2005).
• FIPA: Agent UML. http://www.auml.org/

Terms in the title (4)： 契約 ,  設計 ,  インタラクション ,  実装