Art

J-GLOBAL ID：201502243518969780   Reference number：15A0492823

UMLによる組込みソフトウェア設計の検証支援環境の開発

Author (5)： YOKOGAWA TOMOYUKI (岡山県大 情報工) ,  AMASAKI SOSUKE (岡山県大 情報工) ,  SATO YOICHIRO (岡山県大 情報工) ,  ARIMOTO KAZUTAMI (岡山県大 情報工) ,  MIYAZAKI MASASHI (川崎医療福祉大 医療技術)
Material： SEC Journal  (SEC J)
Volume： 10  Issue： 6  Page： 10-17  Publication year： Mar. 01, 2015 
JST Material Number： L5846A  ISSN： 1349-8622  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： software ,  *software design ,  *UML ,  life cycle ,  *model checking ,  knowhow ,  support program ,  specification ,  document ,  automation ,  evaluation test
Semi thesaurus term： software tool ,  design specification ,  design document ,  embedded software

JST classification (3)： Computer system development  (JD02010R) ,  Applied programming languages  (JD03052Y) ,  Theory of computation  (JB02000A)

Reference (15)：

• [Clarke1999] E.M. Clarke, O. Grumberg and D. Peled: Model Checking, MIT Press (1999).
• [McMillan1993] K. McMillan: Symbolic Model Checking, Kluwer Academic (1993).
• [Holzmann1997] G. Holzmann:The Spin model Checker, IEEETrans. Soft. Eng., 23(5), pp.279-295(1997).
• [UML] O. M. Group: Unified Modeling Language Specification, Object Management Group (2001). http://www.uml.org.
• [Burch1990] J.R. Burch, E.M. Clarke, K.L. McMillan, D.L Dill, and J. Hwang: Symbolic model checking: 10²⁰ states and beyond, Proc. of the Fifth Annual IEEE Symp. on Logic in Computer Science (1990).

Terms in the title (6)： UML ,  組込みソフトウェア ,  設計 ,  検証 ,  支援環境 ,  開発