飞行员
发表于 2025-4-1 04:45:01
AgentSpeak (L) Based Testing of Autonomous Agents, goal-plan diagram. Certain coverage criteria have been defined based on the goal-plan diagram. Test cases meeting the defined coverage criteria are used to test the AgentSpeak program with respect to expected functionality.
虚构的东西
发表于 2025-4-1 06:19:38
http://reply.papertrans.cn/88/8710/870901/870901_62.png
PIZZA
发表于 2025-4-1 14:10:10
A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams,mplementation phase. In this paper, we propose a novel approach for consistency checking of class and sequence diagrams based on Prolog language. In the proposed approach, consistency checking rules as well as UML models are represented in Prolog, then Prolog’s reasoning engine is used to automatically find inconsistencies.
Aspiration
发表于 2025-4-1 16:33:25
http://reply.papertrans.cn/88/8710/870901/870901_64.png
保留
发表于 2025-4-1 18:42:54
1865-0929 rences, ASEA, DRBC and EL 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, in December 2011.The papers presented were carefully reviewed and selected from numerous submissions and focuse on the various aspects
gangrene
发表于 2025-4-2 01:12:11
http://reply.papertrans.cn/88/8710/870901/870901_66.png