形式手法の導入プロセス
はじめに 独立行政法人情報処理推進機構技術本部ソフトウェア エンジニアリング センター ( 以降 IPA/SEC と略す ) では 仕様書作成に形式手法を用いた成功事例についてヒアリング調査を実施し その結果から仕様書作成に係る諸問題と原因を分析し それに対する形式手法の活用による解決策として 以下
... まずヒアリングに先立って、「(1)形式手法を上流工程における記述法として導入する際の 技術的解決策の抽出」を実施するための計 13 項目を網羅するような計 47 個の質問と回答 肢（Appendix 1.1 参照）、および「(2)日本語による仕様の記述において誤解の挿入を少な ...
143
日本語初対面会話における話題導入の相互行為 : プロセスと対人関係機能
... という表現を発し、他の参加者はそ のたびに J37の発話の一部を反復したり（18行 ああ、文化 ）、つられて う ん （22行）と肯定的反応をしている。しかし、これは必ずしも話題を承認し た訳ではなく、その表現につられてあくまでも共有情報を持っていることを認 めただけであろう。しかし J37には話題承認と解釈されてしまったようである。 ...
27
2D/3D CAD データ管理導入手法実践セミナー Autodesk Vault Professional による設計 データ管理のステップアップと その導入方法 2013 年 4 月 2013 Autodesk
... リビジョン管理は、製品ライフサイクル管理プロセスの基 礎となるものです。単一の文字または文字セットを使用し てファイルをマーキングし、リビジョン レベルを示すための 業界標準が定められています。ライフサイクル管理プロセ ス中にリビジョンを自動的にインクリメントして割り当てるよ うに設定したり、リビジョンを手動で作成して、製品開発に ...
65
Computer Security Symposium October 2013 不審プロセス特定手法の提案 山本匠河内清人桜井鐘治 三菱電機株式会社情報技術総合研究所 神奈川県鎌倉市大船
... あらまし 通信の特徴を基にマルウェアによる通信を特定する技術が提案されている．しかし，マル ウェアの巧妙化や正規アプリケーションの通信の多様化により，通信の特徴からだけではマルウェ アの通信と正規アプリケーションの通信とを正確に切り分けることが困難となっている．そこで本稿 ...
8
中小製造業における「測定・解析」技術の導入プロセスと取引関係の変化
... る。日立地域の中小製造業は地域の主力企業である大手電機企業に売上を依存していた。そ のため，大手電機企業が海外生産展開を推進した際，その多くは経営危機に直面したのであ る。しかし，幾つかの企業では，新たな経営陣によりそれまでとは異なる人脈・ネットワー クが搬入された。そうしたネットワークが新たな顧客につながることで，特定顧客への売上 ...
30
負荷分散装置 ~ その役割と実践的な導入手法 ~ 泊正和 ネットワンシステムズ株式会社
... となっており、管理者が気付かないケースも。アプリケーション・ レベルの検査が必要なのかどうか、導入時に要検討。 ! HTTP の GET リクエストを送る方法などでは、サーバ側のログ が増大する可能性がある。また、ログ統計を取る時にもヘルス チェック系のログは除外するなどの注意事項もある。 ...
80
個人依存開発から組織的開発への移行事例 ~ 要求モデル定義と開発プロセスの形式化 による高生産性 / 高信頼性化 ~ 三菱電機メカトロニクスソフトウエア ( 株 ) 和歌山支所岩橋正実 1
... 機能ブロックの再利用による要求分 析定義の生産性向上 ※文書コード生成検証の実現 １）要求のカテゴリ化と機能ブロック/属性の形式化 ２）形式記法を用いた機能仕様の日本語による形式化 ３）機能ブロック/属性の再利用によるDSL化の推進 ...
10
適切なケアマネジメント手法の策定に向けた調査研究事業報告書 目次 第 1 章本調査研究事業の概要... 1 第 1 節本調査研究事業の背景及び目的 検討のプロセス 検討の背景及び目的 検討の範囲 検討プロセス... 2 第 2 節適切なケアマネジメント
... また、必要に応じて訪問看護を通じて支援を行ったり、居宅療養管理指導（医師、看護師、薬剤師等）の介護 給付サービスや在宅患者訪問薬剤管理等の医療サービスを活用したりといった取り組みも考えられる。 必要性 再入院の予防（急激な状態の悪化の予防）のためには確実に服薬できることの支援、体重や水分・塩分の摂取 ...
180
公共施設への民間活力導入について③～スポーツ施設 の現状と官民連携手法のあり方～
... 2016年9月16日 Report 寄附 2 （横浜スタジアム、市立吹田サッカースタジアムなど）や PFI（「民間資金等の活用による公共施設等の整備等の 促進に関する法律」に基づく施設整備など）による事例（墨田区総合体育館、エスフォルタアリーナ八王子（八王子市 新体育館）など）があり、また、運営・管理においては、指定管理者制度が多くの施設で活用されている。このように民 ...
8
2D/3D CAD データ管理導入手法実践セミナー Autodesk Vault 最新バージョン情報 Presenter Name 2013 年 4 月 2013 Autodesk
... ・履歴テーブルの版管理を柔軟に設定できるようになり ました。 パフォーマンス ・取得 /チェックアウト画面の変更により操作を簡略化し、 ダウンロードパフォーマンスを大幅に改善しました。 ・ 64 bitクライアントをサポートすることでユーザの操作を ...
26
合わせを許す フリースタイルチェス という対戦形式も考案され, 発展を遂げている. この対戦では, あまり強くない人間 + コンピュータ + 良いプロセス が グランドマスター + コンピュータ + 良くないプロセス に勝利するということが起こっている. このことは, コンピュータをどう使いこなすか
... を作ってコンピュータの評価を見るということを繰 り返している様子が観察された． めまぐるしく数手先の局面を複数想定し，コンピ ュータの読み筋や評価を見て比較評価するというの は，人間ならではのコンピュータの使い方であり， コンピュータが狙いを持った直線的な先読み結果を 利用できないという点を考えると，有効な戦略であ ...
6
中小企業の形式手法への取り組み 中小企業の形式手法への取り組み 株式会社サニー技研ソフトウェア基盤技術課 米田真之 中本加那
... 目的：本研究会では、組込みソフトウェアおよび組込みシステムを主な対象とし、 形式仕様記述及び形式検証技術によるシステム設計及び検証の実例を積み上げ、 産業応用上の知見を蓄積する。そして、利用上の知見や技術的な課題を整理し、 今後、研究会の成果を公開することで産業界の技術向上に資することを目指す。 活動内容： ...
36
開発プロセスによる形式化と 双方向トレーサビリティのメリット
... 自律オブジェクト指向（AOO：Autonomic architecture base Object-Oriented development technique）が1998年に組込みソフトウェア開発向けオブジェクト指向の開発手法として発表。 その後、AOOは、プロセス、パターン、見積り、SPL、DSLへ拡張。組込みソフトウェアの最強 ...
23
目 次 はじめに サービスプロセス及び価格設定ガイドライン作成の背景と目的 サービスプロセス及び価格設定ガイドラインの構成と使い方 第一部 サービスプロセスガイドライン Ⅰ 業務プロセス編 (1) 情報提供 相談
... 利用者の希望、心身の状況（$'/ など）、ケアプランの短期目標、利用者の 置かれている環境 □ 生活課題の解決方法を検討する 「どのような課題に対応する必要があるのか」あるいは「どのようなリ スクを防止する必要があるのか」等を踏まえたうえで、「福祉用具を導 入することで、どういった動作ができる」ようになるか等を記載する □ ...
74
シンガポールにおけるコーポレート・ガバナンス\n ― ガバナンス・コード導入のプロセスと意義 ―
... て，ガバナンス・コードの視点から検討した．シンガポールのコードはイギリスに倣って採択， 導入されているが，自国の企業環境に合わせて変更がなされてきた．2001 年，最初のコード導 入から 2005 年，2012 年と改訂を重ねて，会社法のみならず，実務レベルでの効果的なガバナン ス制度構築への取組みが図られている．4 章の ...
17
耳吊り方式によるイワガキの養殖手法 (PDF形式70KB)（PDF：70KB）
... Fig. 2 Relationship between weight of whole body of start on experiment and weight of whole body after 3 months. の合成繊維ロープに30 cm間隔でプラスチック製のア ゲピン（長さ96 mm，径2 mm，中心部と両端にかえ し; 東北総合研究社製）を取り付けた。次に，イワガ ...
4
成功した形式手法導入調査例の 分析と発見 どのように形式手法は導入されたか? 酒匂寛 Designers Den Corp. 2012/11/15 形式手法の導入 2012, Sako Hiroshi 1
... • 要求記述を読み、用語を切り出す • クラスもしくは型と、関数もしくは操作の候補を見つける • クラスの構造（型、属性、関連）に関する概略を書く • 関数／操作に関する概略を書く（シグニチャを決める） • 要求記述から不変な性質を抽出して定義する ...
52
地域社会と生活空間の時空間構造化プロセス--内的過程の導入による時間地理学の再検討---香川大学学術情報リポジトリ
... 4 0 1 地域社会と生活空間の時空間構造化プロセス 205 同じ地域に居住していても，アクセスする，あるいはアクセスできる地域社 会システムの違いによって，異なる生活空間の形成が促進されることになる。 また，個人は複数の地域社会システムに取り込まれている可能性がある。複数 の地域社会システムへの取り込まれ方によって，促進される生活空間が異なっ てくる。(複数の定着プ[r] ...
23
ハリエンジュの生態的特徴と対策手法 種の生態的特徴と対策手法 ハリエンジュの生態的特徴と対策手法 ハリエンジュ Robinia pseudoacacia (別名 ニセアカシア)/ マメ科 落葉高木 要注意外来生物 原産地域 北アメリカ１) 侵入経路 明治 6 年(1873 年)に導入された 山腹の緑
... アレチウリを計画的に除去するには、その成長に関する特性を本書より把握するとともに、対象となる地域で の分布などを事前に調べておく必要がある。 アレチウリは一年生草本であり、種子散布の前に除去することにより、次年度の発生を抑制することができる。 しかし、成長すると長いつる状の茎が枝分かれし、広範囲に広がる。このようになると作業に労力がかかるだけ ...
29
墨田区 PPP/PFI 手法導入 優先的検討指針 平成 30 年 1 月 墨田区 - 1 -
... ⑶ 手順③「簡易な手法による検討」 ア スケジュール 従来手法のスケジュールが最短であり、かつ、当該スケジュールを厳守する 必要性があるなどの場合は、PPP/PFI 手法で実施した場合に想定されるスケジ ュールでは支障がある場合に限り、PPP/PFI 手法の活用可能性はないものとし、 PPP/PFI ...
14