| Title: | OS6-2 Improvement of Decision Table Automatic Generation Tool VDTable for let in Statement |
|---|---|
| Publication: | ICAROB2017 |
| Volume: | 22 |
| Pages: | 271-274 |
| ISSN: | 2188-7829 |
| DOI: | 10.5954/ICAROB.2017.OS6-2 |
| Author(s): | Yinuo Huang, Teturou Katayama, Yoshihiro Kita, Hisaaki Yamaba, Naonobu Okazaki |
| Publication Date: | January 19, 2017 |
| Keywords: | VDM++, automatic generation, decision table, formal specification, VDTable, let in statement |
| Abstract: | This research has expanded the applicable range of VDTable. VDTable is a tool of decision table automatic generation tool using VDM++ specification which is the lightweight formal methods VDM. We have improved VDTable to be able to correspond to let in statement, which is one of the VDM++ syntax, that the existing VDTable doesn't support. We applied an application example to improved VDTable. From the result of the application example, the applicable range of VDTable has been expanded. |
| PDF File: | https://alife-robotics.co.jp/members2017/icarob/data/html/data/OS_pdf/OS6/OS6-2.pdf |
| Copyright: | © The authors. This article is distributed under the terms of the Creative Commons Attribution License 4.0, which permits non-commercial use, distribution and reproduction in any medium, provided the original work is properly cited. See for details: https://creativecommons.org/licenses/by-nc/4.0/ |
(c)2008 Copyright The Regents of ALife Robotics Corporation Ltd. All Rights Reserved.