• 検索結果がありません。

基盤利用に関する仕様書

JAIST Repository: 形式仕様記述言語を用いた要求仕様書の形式化と検証仕様書の獲得手法に関する研究

JAIST Repository: 形式仕様記述言語を用いた要求仕様書の形式化と検証仕様書の獲得手法に関する研究

... 1 つ目の問題点はは自然言語で書かれた仕様の解釈は一意ではない点である大元が曖 昧である仕様から実装が仕様に準拠していることを確認するのは難しい。 2 つ目は仕様の記述は、実装の動作を様々な観点で構成されている点である。 実装は仕様に記述されたサービスコールによるタスクの状態や資源とタスクの関係 ...

117

利用約款別紙 SkyCDP for AWS 基本サービス仕様書 この仕様書は SkyCDP for AWS の基本サービスに関する内容 方法について記述したものです 尚 SkyCDP for AWS オプションサービスをご利用のお客様は各 SkyCDP for AWS オプションサービスのご契約内容

利用約款別紙 SkyCDP for AWS 基本サービス仕様書 この仕様書は SkyCDP for AWS の基本サービスに関する内容 方法について記述したものです 尚 SkyCDP for AWS オプションサービスをご利用のお客様は各 SkyCDP for AWS オプションサービスのご契約内容

... 利用約款別紙 SkyCDP for AWS 基本サービス仕様 この仕様は SkyCDP for AWS の基本サービスに関する内容、方法について記述したものです。尚、SkyCDP for AWS オプションサービスをご利用のお客様は各 SkyCDP for AWS オプションサービスのご契約内容が優先されま す。 ...

5

大阪府住宅供給公社人材派遣業務に関する仕様書

大阪府住宅供給公社人材派遣業務に関する仕様書

... 16.その他 (1)派遣労働者は、契約履行中に知り得た各種情報を漏らし、又は他の目的に使用し てはならない(個人情報の保護に関する法律及び大阪府個人情報保護条例の規定 により取り扱うものとする)。なお、契約期間終了後においても同様とする。 (2)この仕様に定めのない事項又は、その他疑義が生じた時は、別途協議するもの とする。 ...

5

JAIST Repository: 形式仕様記述言語を用いた要求仕様書の形式化と検証仕様書の獲得手法に関する研究

JAIST Repository: 形式仕様記述言語を用いた要求仕様書の形式化と検証仕様書の獲得手法に関する研究

... 1の問題点は仕様にはサービスコールによるタスクの状態遷移や制約、資源とタスク の関係や制約関する情報が分散して記述されているため、仕様を検証仕様に変換する のは困難である。検証仕様を作成する時、状態遷移や制約、資源とタスクの関係や制約 を整理する方法が無いこと問題である。2 ...

4

京都コンサートホール 舞台管理運営業務委託契約に関する仕様書

京都コンサートホール 舞台管理運営業務委託契約に関する仕様書

... 1 京都コンサートホール「舞台管理運営業務委託契約に関する仕様」 この仕様は,京都コンサートホールの大ホール,アンサンブルホールムラタ(小ホー ル)における舞台施設及び設備,照明設備,音響設備及び映像設備の管理運営業務の大要 を示すものであり,この仕様に定める事項に従い,施設の良好な運営と事故を未然に防 ...

10

障害者差別解消に関する特記仕様書

障害者差別解消に関する特記仕様書

... 障害者差別解消に関する特記仕様 (対応要領及び配慮マニュアルに沿った対応) 第1条 この契約による事務若しくは事業の委託又は工事請負、物品購入等(以下 「本件業務」という。)の委託等を受けた者(以下「受託者」という。)は、本件業務を 履行するに当たり、障害を理由とする差別の解消の推進に関する法律(平成 25 年 法律第 65 ...

1

石岡市指定管理者の公募に関する仕様書

石岡市指定管理者の公募に関する仕様書

... 指定管理者は,石岡市旭台会館条例第 13 条に規定する利用料金の減免が適当と判断 した場合は,石岡市旭台会館規則第 4 条に基づき事務処理を行なうものとする。 18 還付の取扱 指定管理者は,石岡市旭台会館条例第 14 条に規定する利用料金の返還が適当と判断 した場合は,石岡市旭台会館規則第 5 条に基づき事務処理を行なうものとする。 19 個人情報の保護に関すること ...

8

別紙1サービス仕様書(詳細版) 宮崎県:第二期宮崎県サーバ統合基盤に関する情報提供依頼(RFI)について

別紙1サービス仕様書(詳細版) 宮崎県:第二期宮崎県サーバ統合基盤に関する情報提供依頼(RFI)について

... vSphere High Availability(HA)の提供 サーバ統合基盤で提供する仮想マシンは、高信頼性機能(vSphere HA)が提供されます。 vSphere HA は、仮想マシンを監視し、ハードウェアとゲスト OS の障害を検出します。 OS の障害を検出すると、仮想マシンを自動的に再起動します。また、仮想マシンの障害を検出すると、ク ラスタ内の他の vSphere ホスト上で仮想マシンを再起動します。 ...

27

長野県飯田 OIDE 長姫高校電子計算機組織導入に関する入札仕様書調達番号 電子計算機組織整備入札仕様書 長野県飯田 OIDE 長姫高等学校 電気電子工学科 仕様書 (1/9)

長野県飯田 OIDE 長姫高校電子計算機組織導入に関する入札仕様書調達番号 電子計算機組織整備入札仕様書 長野県飯田 OIDE 長姫高等学校 電気電子工学科 仕様書 (1/9)

... 2、ソフトウェアに関する仕様 2-1、OS 項目 仕様 備考 サーバーOS Windows Server STD CORE 2019 数量 1式 CAL Windows Server Device CAL 2019 必要数 クライアントOS Windows 10 Professional 必要数 2-2、各ソフトウェア ...

9

( 別紙 4) 仮想化基盤再構築 運用業務委託 調達仕様書 松本市

( 別紙 4) 仮想化基盤再構築 運用業務委託 調達仕様書 松本市

... ・情報セキュリティ管理 技術支援 89 運用管理と合わせ、本市が仮想PCの展開や仮想PCの設定等を行うにあた って、技術支援を行うこと なお、技術支援として想定する事項等は以下のとおりであるが、運用管理 とともに、可能な限り、本市職員の負担を軽減するよう考慮すること ・Actirve Directoryの運用に関する事項(人事異動に伴う異動処理やグルー プポリシーの設定をはじめ、Active ...

16

仕様書

仕様書

... (1)ディーゼル車規制に適合する自動車であること。 (2)自動車から排出される窒素酸化物及び粒子状物質の特定地域における総量の削減等に関す る特別措置法(平成 4 年法律第 70 号)の対策地域内で登録可能な自動車利用に努めること。 なお、当該自動車の自動車車検証(車検証)、粒子状物質減少装置装着証明等の提示又は写の提 ...

7

ガスクロマトグラフ (Gas Chromatograph(GC)) 仕様書 本仕様書は 予告なしに修正又は訂正する場合があります その際は 当機構ホームページ上にて仕様書の修正又は正誤表等を公示いたしますので 必ず ご確認下さい 独立行政法人製品評価技術基盤機構

ガスクロマトグラフ (Gas Chromatograph(GC)) 仕様書 本仕様書は 予告なしに修正又は訂正する場合があります その際は 当機構ホームページ上にて仕様書の修正又は正誤表等を公示いたしますので 必ず ご確認下さい 独立行政法人製品評価技術基盤機構

... (1)作業は、原則として行政機関の休日に関する法律第 1 条に定める日を除く、平日の 9:30~17:00 に装置設置場所(以下「作業区域」という。)で行うものとする。 (2)作業終了後、担当職員に対して作業内容等について説明するとともに、作業報告 (紙媒体 1 部)を「14.納入期限」までに、担当者あて提出すること。 (3)作業上知り得た事項について、いかなる場合にも第三者に漏らしてはならない。 ...

8

仕様書

仕様書

... 本仕様に定められた以外の事項で疑義を生じた場合には、双方協議することとし、可能な限り OIST の意向を尊重することとする。納品・搬入にあたっては事前に OIST 担当者と納品予定日に関する情 報を共有すること、また納品物が多数になる場合は搬送業者と OIST 内保管場所まで運搬する様に調 整する事。 ...

7

仕様書

仕様書

... 8 に関する条例(平成 12 年東京都条例第 215 号)の規定に基づき、次の事項を遵守すること。 (1)ディーゼル車規制に適合する自動車であること。 (2)自動車から排出される窒素酸化物及び粒子状物質の特定地域における総量の削減等に関する特 別措置法(平成 4 年法律第 70 号)の対策地域内で登録可能な自動車利用に努めること。 ...

8

仕様書

仕様書

... 受託者は、連携協議会開催の都度、TCVB 及び企画提案者と協議の上、連携協議会における議 題の整理及び資料の作成を行うこと。また、協議会実施後2週間以内に、議事録を提出すること。 2 猫に関する地域資源の掘起し 猫に関する地域資源の掘り起こし調査を実施し、以下を行うこと。実施に際しては、企画提案者、 TCVB と協議の上進めること。 ...

8

仕様書

仕様書

... この契約は、委託者(以下「甲」という。)の「町田市民病院施設警備業務」を、受託者(以下「乙」とい う。)に委託し、適正に履行することを目的とする。 3 委託の概要 (1)病院という用途の目的及び施設の重要性を理解し、絶対的な安全性の確保のため年中無休の 24 時間体制とする。また、警備業務にあたり、警備業法及びその他関係法令の遵守はもちろんのこと、 ...

6

うるま市業務端末基盤構築及び運用保守事業プロポーザル仕様書

うるま市業務端末基盤構築及び運用保守事業プロポーザル仕様書

... 1. 業務端末基盤導入の目的 近年、行政サービスの多様化及び情報システムの発展に伴い、地方公共団体の活動を支える行政シス テムは高度化する一方である。 本市においては、平成 25 年度より推進している業務端末基盤の導入を新庁舎供用開始(平成 28 年 1 月予定)に合わせ導入を検討してきた。さらに平成 25 年 5 月国会で可決成立した「行政手続きにおける ...

23

仕様書

仕様書

... また、請負業務において請負者が作成する情報については、環境省担当官からの指示に応じて 適切に取り扱うこと。 (3)請負者は、環境省情報セキュリティポリシーに準拠した情報セキュリティ対策の履行が不十分と 見なされるとき又は請負者において請負業務に係る情報セキュリティ事故が発生したときは、必 要に応じて環境省担当官の行う情報セキュリティ対策に関する監査を受け入れること。 ...

6

仕様書

仕様書

... る。 ⑥甲乙は、患者個々人の情報の取扱いに関し、「守秘義務に関する契約」締結する。 ⑦乙は、守秘義務について十分な教育を実施する。 ⑧乙の統括責任者は、管理栄養士および栄養士、調理師とし、受託責任者の認定を受けた 者とする。また、従事者の健康管理に十分配慮し、安全かつ円滑に業務が遂行できるよ う指導監督を行う。 ...

8

個人番号利用事務系業務システム用機器運用保守等包括外部委託仕様書

個人番号利用事務系業務システム用機器運用保守等包括外部委託仕様書

... 更新 伴う各 対応状況等 調査 手順等 更新 遅滞 く対応 保守 関 詳細 別紙 保守要件 保守 参照 (11) 機器 運用保守 貸与機器 い 故障 機能停止等 異常 発生 場合 甲 指示 基 速や 対応 機器保守 関 詳細 い 別紙 保守要件 機器保守 参照 ...

11

Show all 10000 documents...

関連した話題