机译:AgentTest:一种用于基于代理的系统测试的规范语言
University of Zagreb, Faculty of Electrical Engineering and Computing, Unska 3, HR-10000 Zagreb, Croatia;
University of Zagreb, Faculty of Electrical Engineering and Computing, Unska 3, HR-10000 Zagreb, Croatia;
Agent-oriented software engineering; Model based testing; Evolutionary testing; TTCN-3;
机译:QSL:电子问卷,电子测试和电子投票系统的规范语言
机译:基于代理的模拟使用基于属性的测试的规范测试
机译:一种使用Erlang作为测试规范语言的与语言无关的黑盒测试方法
机译:朝着信息系统的测试规范语言:专注于数据实体和状态机测试
机译:用于基于智能实时监控代理的软件系统的规范,分析和设计的体系结构框架。
机译:系统生物学标记语言(SBML):3级版本2核心发行版2的语言规范
机译:广义测试表:反应系统的强大和直观的规范语言
机译:关于可靠实时系统规范的语言和符号,第4部分修订。要求和设计规范语言。正式定义