WEKO3
-
RootNode
アイテム
Automatic generation of SPIN model checking code from UML activity diagram and its application to Web application design
http://hdl.handle.net/10091/00019189
http://hdl.handle.net/10091/0001918929143f01-cc38-498c-b9bb-82f8acca8a3a
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IDCTA2011.pdf (4.4 MB)
|
|
| Item type | 会議発表論文 / Conference Paper(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2016-09-14 | |||||||||
| タイトル | ||||||||||
| タイトル | Automatic generation of SPIN model checking code from UML activity diagram and its application to Web application design | |||||||||
| 言語 | en | |||||||||
| 言語 | ||||||||||
| 言語 | eng | |||||||||
| 資源タイプ | ||||||||||
| 資源 | http://purl.org/coar/resource_type/c_5794 | |||||||||
| タイプ | conference paper | |||||||||
| 著者 |
Yamada, Yutaka
× Yamada, Yutaka
× Wasaki, Katsumi
|
|||||||||
| 信州大学研究者総覧へのリンク | ||||||||||
| 氏名 | Wasaki, Katsumi | |||||||||
| URL | http://soar-rd.shinshu-u.ac.jp/profile/ja.gCnejaTN.html | |||||||||
| 出版者 | ||||||||||
| 出版者 | IEEE | |||||||||
| 引用 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | Digital Content, Multimedia Technology and its Applications (IDCTA), 2011 7th International Conference on. 139-144 (2011) | |||||||||
| 書誌情報 |
Digital Content, Multimedia Technology and its Applications (IDCTA), 2011 7th International Conference on p. 139-144, 発行日 2011 |
|||||||||
| 内容記述 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | Date of Conference: 16-18 Aug. 2011 | |||||||||
| 資源タイプ（コンテンツの種類） | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | Article | |||||||||
| ISBN | ||||||||||
| 識別子タイプ | ISBN | |||||||||
| 関連識別子 | 978-89-88678-47-3 | |||||||||
| 権利 | ||||||||||
| 権利情報 | © 2011 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. | |||||||||
| 出版タイプ | ||||||||||
| 出版タイプ | AM | |||||||||
| 出版タイプResource | http://purl.org/coar/version/c_ab4af688f83e57aa | |||||||||
Share
Cite as
Yamada, Yutaka, Wasaki, Katsumi, 2011, Automatic generation of SPIN model checking code from UML activity diagram and its application to Web application design: IEEE , 139–144 p.
Loading...
