|
JAIST Repository >
科学技術開発戦略センター 2003～2008 >
z2-70. JAIST PRESS 発行誌等 >
IFSR 2005 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/3882
|
| タイトル: | Computer-acceptable Set Theory for Model Construction |
| 著者: | Takahara, Yasuhiko |
| キーワード: | system development
systems approach
model theory
set theory |
| 発行日: | Nov-2005 |
| 出版者: | JAIST Press |
| 抄録: | We have proposed a new information system development approach which is called model theory approach [1]. The approach specifies a model in set theory. Once a model is specified in set theory, it can be translated into an executable system by set compiler provided by the approach. This paper investigates set theory for the model specification, which is called computer-acceptable set theory. |
| 記述: | The original publication is available at JAIST Press http://www.jaist.ac.jp/library/jaist-press/index.html
IFSR 2005 : Proceedings of the First World Congress of the International Federation for Systems Research : The New Roles of Systems Sciences For a Knowledge-based Society : Nov. 14-17, 2092, Kobe, Japan
Symposium 3, Session 4 : Intelligent Information Technology and Applications Models and Systems Engineering |
| 言語: | ENG |
| URI: | http://hdl.handle.net/10119/3882 |
| ISBN: | 4-903092-02-X |
| 出現コレクション: | IFSR 2005
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 20001.pdf | | 375Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
