Art

J-GLOBAL ID：200902277438999942   Reference number：08A0457064

CafeOBJ入門(2)構文と意味

Author (3)： NAKAMURA MASAKI (北陸先端科学技術大学院大) ,  FUTATSUGI KOKICHI (北陸先端科学技術大学院大) ,  OGATA KAZUHIRO (北陸先端科学技術大学院大)
Material： コンピュータソフトウェア  (Computer Software)
Volume： 25  Issue： 2  Page： 14-27  Publication year： Apr. 24, 2008 
JST Material Number： Y0628A  ISSN： 0289-6540  Document type： Article
Article type： 文献レビュー  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *algebraic specification ,  *formal method ,  grammar ,  modular design ,  modeling ,  verification ,  *syntactic analysis
Semi thesaurus term： modeling ,  formal verification

JST classification (1)： Mathematical linguistics  (JB05000V)

Reference (4)：

• DIACONESCU, R. Logical foundations of CafeOBJ. Theor. Comput. Sci. 2002, 285, 2, 289-318
• DIACONESCU, R. CafeOBJ report. 1998
• FUTATSUGI, K. Principles of OBJ2. POPL '85 : Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, New York, NY, USA. 1985, 52-66
• 二木厚吉. 代数モデルの基礎. コンピュータソフトウェア. 1996, 13, 1, 4-22

Terms in the title (2)： 構文 ,  意味