2006年に発行した本学情報科学研究科のテクニカルメモランダムを発行順に掲載しています。
本文は，図書館３階“本学関係刊行物”エリアに配架してありますので，ご利用ください。

発行番号	IS-TM-2006-001
論文タイトル	On domains and domain engineering : prerequisites for trustworthy software, a necessity for believable project management
著者	Bjorner, Dines
発行年月日	20061124
ページ	Page:1-182

発行番号	IS-TM-2006-002
論文タイトル	Possible collaborative "domain" projects
著者	Bjorner, Dines
発行年月日	20061213
ページ	Page:1-17

発行番号	IS-TM-2006-003
論文タイトル	Verified software for ubiquitous computing
著者	Bjorner, Dines
発行年月日	20061215
ページ	Page:1-38

発行番号	IS-TM-2006-004
論文タイトル	Public government, a domain analysis
著者	Bjorner, Dines
発行年月日	20061219
ページ	Page:1-19

発行番号	IS-TM-2006-005
論文タイトル	Documents : a domain analysis, an experiment in domain engineering
著者	Bjorner, Dines
発行年月日	20061219
ページ	Page:1-23

発行番号	IS-TM-2006-006
論文タイトル	Domains and problem frames : an experiment in triptych software development
著者	Bjorner, Dines
発行年月日	20061227
ページ	Page:1-35