Art

J-GLOBAL ID：201402296640933443   Reference number：14A0454683

Event-B : Refinement-based System Modeling

Event-B : リファインメントに基づくシステム・モデリング

Author (2)： KURUMA HIRONOBU (日立製作所横浜研究所) ,  NAKAJIMA SHIN (国立情報学研究所 & 総合研究大学院大学)
Material： コンピュータソフトウェア  (Computer Software)
Volume： 31  Issue： 1  Page： 1.43-1.48 (J-STAGE)  Publication year： 2014 
JST Material Number： Y0628A  ISSN： 0289-6540  Document type： Article
Article type： 短報  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *improvement ,  *modeling ,  *formal method ,  *reliability (property) ,  *language design ,  *support program ,  *Event-B
Semi thesaurus term： *adaptive refinement ,  *system modeling ,  formal method ,  *software reliability ,  *Eclipse

JST classification (1)： System programmings in general  (JD03010Y)

Terms in the title (1)： モデリング