首页> 外文期刊>インタ-フェ-ス >ステート・マシンによる仕様の強割とデッドロックの排除
【24h】

ステート・マシンによる仕様の強割とデッドロックの排除

机译:状态机强大的规范和消除死锁

获取原文
获取原文并翻译 | 示例
       

摘要

表1に前回から扱っているカップラーメン・タイマの要求リストを再掲します.この中でSpec05とSpecO6について解説します.SpecO5 とSpec06はどちらもLED4の点滅に関する仕様です.Spec01の時と違い,「タイマが動いている間は~」と「設定時間が経過すると~15秒間~」のように条件が付いています.「15秒間~」の所は振る舞いとして記述できます.
机译:表1列出了自上次以来我们一直在处理的杯拉面计时器的要求清单。在本节中,我将说明Spec05和SpecO6。 SpecO5和Spec06都是关于LED4闪烁的规范。与Spec01的情况不同,存在一些条件,例如“计时器正在运行时〜”和“经过设置时间后〜15秒〜”。 “ 15秒〜”部分可以描述为行为。

著录项

  • 来源
    《インタ-フェ-ス》 |2012年第11期|160-166|共7页
  • 作者

    藤倉 俊幸;

  • 作者单位
  • 收录信息
  • 原文格式 PDF
  • 正文语种 jpn
  • 中图分类
  • 关键词

  • 入库时间 2022-08-18 01:38:48

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号