IEEE - Institute of Electrical and Electronics Engineers, Inc. - A software protocol of goals and operations based on BDI model

Proceedings. IEEE International Conference on Sensor Networks, Ubiquitous and Trustworthy Computing

Author(s): Jinpeng Huai ; Xianxian Li ; Wenyi Zhang ; Jun Han ; Yongzhen Zhuang
Sponsor(s): IEEE Comput. Soc
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2006
Conference Location: Taichung, Taiwan
Conference Date: 5 June 2006
Volume: 1
ISBN (Paper): 0-7695-2553-9
DOI: 10.1109/SUTC.2006.1636212
Regular:

The semantic gap between formal software protocols and designs is one of the major problems restricting smooth transfer of a formal method from protocols towards designs. Goal operationalization... View More

Advertisement