テクニカルメモランダム（情報科学研究科）タイトル一覧
2007年に発行した本学情報科学研究科のテクニカルメモランダムを発行順に掲載しています。
本文は，図書館３階“本学関係刊行物”エリアに配架してありますので，ご利用ください。
テクニカルメモランダム - 情報科学研究科 2007 ： ISSN 0918-7561
| 発行番号 |
IS-TM-2007-001 |
| 論文タイトル |
The triptych process model : process assessment and improvement |
| 著者 |
Bjorner, Dines |
| 発行年月日 |
20070116 |
| ページ |
Page:1-30 |
| 発行番号 |
IS-TM-2007-002 |
| 論文タイトル |
The role of domain engineering in software development |
| 著者 |
Bjorner, Dines |
| 発行年月日 |
20070116 |
| ページ |
Page:1-8 |
| 発行番号 |
IS-TM-2007-003 |
| 論文タイトル |
Domain engineering |
| 著者 |
Bjorner, Dines |
| 発行年月日 |
20070116 |
| ページ |
Page:1-36 |
| 発行番号 |
IS-TM-2007-004 |
| 論文タイトル |
MITS : models of IT security : security rules & regulations : an interpretation |
| 著者 |
Bjorner, Dines |
| 発行年月日 |
20070129 |
| ページ |
Page:1-56 |
| 発行番号 |
IS-TM-2007-005 |
| 論文タイトル |
Analysis of membership sharing in digital subscription services |
| 著者 |
Xiang, Jianwen/Ogata, Kazuhiro/Futatsugi, Kokichi |
| 発行年月日 |
20070316 |
| ページ |
Page:1-26 |
| 発行番号 |
IS-TM-2007-006 |
| 論文タイトル |
A Family of License Languages |
| 著者 |
Arimoto, Yasuhito/Bjorner, Dines /Chen, Xiaoyi/Xiang, Jianwen |
| 発行年月日 |
20070423 |
| ページ |
Page:1-31 |