適応的ソフトウェア構築のための宣言的ポリシー記述とその整合性検査方式の研究

Call No. (NDL): Y151-H15500028
Bibliographic ID of National Diet Library: 000007891326

Material type: 図書

Author: 渡部卓雄, 東京工業大学, 国立情報学研究所 [著]

Publisher: [渡部卓雄]

Publication date: 2003-2004

Material Format: Paper

Capacity, size, etc.: 1冊

NDC: -

View All

Notes on use

Note (General)：: 文部科学省科学研究費補助金研究成果報告書

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
Title: 適応的ソフトウェア構築のための宣言的ポリシー記述とその整合性検査方式の研究
Title Transcription: テキオウテキソフトウェアコウチクノタメノセンゲンテキポリシーキジュツトソノセイゴウセイケンサホウシキノケンキュウ
Author/Editor: 渡部卓雄, 東京工業大学, 国立情報学研究所 [著]
Author Heading: 渡部, 卓雄ワタナベ, タクオ
東京工業大学トウキョウコウギョウダイガク
国立情報学研究所コクリツジョウホウガクケンキュウジョ
Publication, Distribution, etc.: [渡部卓雄]
Publication Date: 2003-2004
2005.3
Publication Date (W3CDTF): 2003
2004
Extent: 1冊
Alternative Title: Research on declarative description and consistency checking of policies for adaptive software
Additional Title: 研究種目基盤研究(C)
Place of Publication (Country Code): JP
Text Language Code: jpn
Subject Heading: ポリシー強制 / バイトコード変換 / プロセス代数 / 自己検査コード / 実行時検査 / 適応的ソフトウェア / Java / Common-Lisp ポリシーキョウセイ / バイトコードヘンカン / プロセスダイスウ / ジコケンサコード / ジッコウジケンサ / テキオウテキソフトウェア / Java / Common-Lisp
NDLC: Y151
Note (General): 文部科学省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 15500028
Holding library: 国立国会図書館
Call No.: Y151-H15500028
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007891326
http://id.ndl.go.jp/bib/000007891326
Bibliographic Record Category (NDL): 214