Realistic Validation of Specification for Information and Control System Description Language using Alloy

KOGAI KEI; UEDA YOSHIKAZU; OKUBO SATOSHI; TAKAHASHI YUKI; NAKANO TOSHIHIKO

Art

J-GLOBAL ID：201102275831574525 Reference number：11A0128923

Realistic Validation of Specification for Information and Control System Description Language using Alloy

Alloyを利用した情報制御システム記述言語の仕様検証の実用化

Publisher site {{ this.onShowPLink() }} Copy service {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=11A0128923&COPY=1") }}
Access JDreamⅢ for advanced search and analysis. {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=11A0128923&from=J-GLOBAL&jstjournalNo=Y0628A") }}

Author (5)： , , , ,
Material：
Volume： 27 Issue： 4 Page： 4.228-4.233 (J-STAGE) Publication year： 2010
JST Material Number： Y0628A ISSN： 0289-6540 Document type： Article
Article type：原著論文 Country of issue： Japan (JPN) Language： JAPANESE (JA)

, , , , , , , , , ,

Computer system development

, , , ,

Return to Previous Page