2013 年年度度ソフトウェア 工学分野の先導的研究 支援事業 抽象化に基づいた UML 設計の検証 支援ツールの開発 公 立立 大学法 人岡 山県 立立 大学情報 工学部情報システム 工学科 横川智教 Circuit Design Engineering Lab. - Okayama Prefec

Size: px
Start display at page:

Download "2013 年年度度ソフトウェア 工学分野の先導的研究 支援事業 抽象化に基づいた UML 設計の検証 支援ツールの開発 公 立立 大学法 人岡 山県 立立 大学情報 工学部情報システム 工学科 横川智教 Circuit Design Engineering Lab. - Okayama Prefec"

Transcription

1 2013 年年度度ソフトウェア 工学分野の先導的研究 支援事業 抽象化に基づいた UML 設計の検証 支援ツールの開発 公 立立 大学法 人岡 山県 立立 大学情報 工学部情報システム 工学科 横川智教

2 背景 - 組込みソフトウェア開発の課題 組込みソフトウェアの開発プロセス 要求分析 設計 実装 テスト 手戻り 下流流 工程での不不具合の検出 上流流 工程への 手戻りの発 生 手戻りによる開発コスト増 大 設計検証の必要性の 高まり 2014/07/29 ETWest2014 IPAブースプレゼン 2

3 背景 - 組込みソフトウェアの設計検証 設計ドキュメント 要求仕様 どの状態にもいつか必ず到達する 危険な状態には決して到達しない UML( 状態マシン図 ) ある変数が定められた値に必ず到達する 作成された設計ドキュメントが要求仕様を満たしているか? 2014/07/29 ETWest2014 IPA ブースプレゼン 3

4 背景 - 設計検証の困難さ 従来の枠組み ( テスト レビュー ) で組込みソフトウェアの設計検証を 行行うのは 非常に困難である 理理由 1. 組込みソフトウェアの不不具合が社会に及ぼす影響が甚 大であり, 信頼性への要求のハードルが 非常に 高い 2. ソフトウェアの 大規模 複雑化により, システムの取り得る状態数が 人 手でテストを 行行う限界を遙かに越えている 網羅羅的かつ 自動検証が可能なモデル検査技術の利利 用 2014/07/29 ETWest2014 IPA ブースプレゼン 4

5 モデル検査 モデル検査とは 状態遷移系でモデル化されたシステムの全数探索索により求める特性を満たすか否かを 自動検証する技術 モデル検査の適 用 1. モデル化 言語により検査対象システム ( 仕様書 設計書 回路路図 etc.) を記述 2. 論論理理式として検査項 目 ( 要求仕様 試験仕様 基本性質 客先要望 etc.) を記述 3. モデル検査ツールによる 自動探索索の実施 4. モデルが検査項 目を満たすという証明か, 満たさない場合は反例例を出 力力 2014/07/29 ETWest2014 IPA ブースプレゼン 5

6 研究課題 モデル検査を設計検証に導 入する上での問題点 問題 1. モデル作成の困難さ 対象システムを検証ツール固有のモデル化 言語で記述 モデル作成には専 門的な知識識やノウハウが必要 問題 2. 状態爆発の危険性 モデル化された対象システムの状態空間を網羅羅的探索索 モデル規模によっては検証に莫 大な時間を要する モデル作成を 支援するためのツールを開発し問題を解決 2014/07/29 ETWest2014 IPAブースプレゼン 6

7 検証 支援ツール 前提 1. 対象とする設計記法として, 組込みソフトウェア開発に広く利利 用されている形式仕様記法 UML を想定する 2. モデル検査ツールとして, モデル記述 言語の表現 力力および検証速度度に優れた NuSMV を利利 用する ツールの機能 1. SMV 言語への 自動変換を 目的とした UML 図の抽象化 2. モデルサイズ削減を 目的とした UML 図の抽出 分割および抽象化 3. UML 図から SMV 言語への 自動変換 2014/07/29 ETWest2014 IPA ブースプレゼン 7

8 検証 支援ツールの概要 要求仕様 (*.ctl) UML 図 (*.asta) 入 力力インタフ ス ー 仕様 テンプレート 要求仕様 記述制約 UML 図 抽象化 変換モジ ル ー 検証モデル (*.smv) 検証結果 (*.out) 出 力力インタフ ス ー 検証結果 ( 整形済 ) (*.result) 違反箇所 情報 (*.ce) UML モデリングツール astah* モデル検査ツール NuSMV 検証 支援ツール 外部ツール l UML 図の記述には astah* を, 検証には NuSMV を 用いる l UML 図が満たすべき記述制約と, 要求仕様を記述するための仕様テンプレートが定められている 2014/07/29 ETWest2014 IPA ブースプレゼン 8

9 SMV 言語による検証モデル 生成の流流れ 状態マシン図 シーケンス図 UML 図ファイル (*.asta) safe(xxx = 1) live(message_1) reachable(s) モデル 生成 CTL 式 生成 MODULE main VAR XXX : {aaa, bbb, ccc}; YYY : {ddd, eee, fff}; fg1 : boolean; ASSIGN init(xxx) := aaa; next(xxx) := case fg = TRUE : bbb; TRUE : XXX; esac; init(yyy) := ddd; next(yyy) := case fg = FALSE : fff TRUE : YYY; esac; init(fg) := FALSE; next(fg) := case fg = FALSE : {TRUE, FALSE}; TRUE : fg; esac; SPEC AG!(XXX = ccc) SPEC EF(ZZZ = iii) SPEC AF(YYY = fff) モデル CTL 式 要求仕様ファイル (*.ctl) 検証モデルファイル (*.smv) 2014/07/29 ETWest2014 IPAブースプレゼン 9

10 事例例適 用による評価 l 経緯 某ソフトウェア開発企業に事例例提供を打診 開発に 用いた状態遷移表から UML 図 ( 状態マシン図 ) を作成 対象システムは店舗従業員向けの 商品供給指 示システム 売場の端末と商品管理理室のモニターの間で, 商品供給のための通信を 行行う l 検査項 目 検査 1: 仕様テンプレートを 用いた基本特性の検査 検査 2: 事例例提供元より要望のあった特性の検査 2014/07/29 ETWest2014 IPA ブースプレゼン 10

11 検査対象となる UML 図 2 台の売場端末とモニター表 示の動作の状態マシン図 ( 状態遷移表を元に作成 ) 端末 A 端末 B モニター UML 図ファイル R_CDS.asta 2014/07/29 ETWest2014 IPA ブースプレゼン 11

12 検査 1 仕様テンプレートを 用いて 4 つの基本特性を記述 検査項 目 テンプレート ツールへの 入 力力 状態の到達可能性 通信モードの到達可能性 通信モードの安全性 モニターの到達可能性 reachable(s) reachable(x,a) safe(x,a) reachable(s) reachable(terminal_a = send) reachable(terminal_a = receive) reachable(terminal_a = com) reachable(terminal_b = send) reachable(terminal_b = receive) reachable(terminal_b = com) reachable(md_a, 1) reachable(md_a, 2) reachable(md_b, 1) reachable(md_b, 2) safe(md_a, 3) safe(md_a, - 1) safe(md_b, 3) safe(md_b, - 1) reachable(ctl_monitor = surplus) reachable(ctl_monitor = sufficient) reachable(ctl_monitor = opdmal) reachable(ctl_monitor = few) reachable(ctl_monitor = short) 要求仕様ファイル BASIC.ctl 2014/07/29 ETWest2014 IPA ブースプレゼン 12

13 本ツールの適 用結果 ( 検査 1) R_CDS.asta BASIC.ctl R_CDS_BASIC.smv R_CDS_BASIC.out R_CDS_BASIC.result 本ツールを 用いて SMV ファイルを 生成 モデル検査器 NuSMV で検査 検査結果の整形 (001) EF Terminal_A = send is true (002) EF Terminal_A = receive is true (003) EF Terminal_A = com is true (004) EF Terminal_B = send is true (005) EF Terminal_B = receive is true (006) EF Terminal_B = com is true (007) EF MD_A = 1 is true (008) EF MD_A = 2 is true (009) EF MD_B = 1 is true (010) EF MD_B = 2 is true (011) AG!(MD_A = 3) is true (012) AG!(MD_A = - 1) is true (013) AG!(MD_B = 3) is true (014) AG!(MD_B = - 1) is true (015) EF Ctl_Monitor = surplus is true (016) EF Ctl_Monitor = sufficient is true (017) EF Ctl_Monitor = opdmal is true (018) EF Ctl_Monitor = few is true (019) EF Ctl_Monitor = short is true R_CDS_BASIC.result 全ての結果がTRUE 誤りは存在しない 2014/07/29 ETWest2014 IPAブースプレゼン 13

14 検査 2 事例例提供元より要望のあった特性を直接検査式として記述 1. 端末が待機状態であり, かつ通信モードが通話無しでない状態への到達可能性 2. 端末が着信中状態であり, かつ通信モードが 2 回線通話である状態への到達可能性 3. 端末が通話中であり, かつ通信モードが通話無しである状態への到達可能性 1A: SPEC!EF(Terminal_A = wait &!(MD_A = 0)) 2A: SPEC!EF(Terminal_A = receive & MD_A = 2) 2A: SPEC!EF(Terminal_A = com & MD_A = 0) 1B: SPEC!EF(Terminal_B = wait &!(MD_B = 0)) 2B: SPEC!EF(Terminal_B = receive & MD_B = 2) 3B: SPEC!EF(Terminal_B = com & MD_B = 0) 要求仕様ファイル R_CDS_REQ.ctl 2014/07/29 ETWest2014 IPA ブースプレゼン 14

15 本ツールの適 用結果 ( 検査 2) R_CDS.asta R_CDS_REQ.ctl R_CDS_REQ.smv R_CDS_REQ.out R_CDS_REQ.result R_CDS_REQ.ce (001)!(EF (Terminal_A = wait &!(MD_A = 0))) is true (002)!(EF (Terminal_A = receive & MD_A = 2)) is true (003)!(EF (Terminal_A = com & MD_A = 0)) is false R_CDS_REQ.result( 一部 ) 結果が FALSE 誤りを検出し, 反例例を出 力力 (003)!(EF (Terminal_A = com & MD_A = 0)) is false - > State: 1.1 <- Terminal_A = inidal MD_A = 0 Power = start Event_A = emp R_CDS_REQ.ce( 一部 ) 2014/07/29 ETWest2014 IPA ブースプレゼン 15

16 本ツールの適 用結果 ( 検査 2) 特性 3A に対する反例例の解析 Event_A emp emp report response emp MD_A Terminal_A inidal inidal wait send com 端末が通信中 (Terminal_A=com) であるにもかかわらず, 通信モードが通話無し (MD_A=0) となる状態に到達している 原因 : 状態遷移表のアクションの 1 つが UML 図に正しく転記されていなかった UML 図による設計の誤りを正しく検出できた 反例例を元に誤り箇所を特定することができた 2014/07/29 ETWest2014 IPA ブースプレゼン 16

17 まとめ 2014/07/29 ETWest2014 IPA ブースプレゼン 17 ツールデモ 本ツールのデモを岡 山県 立立 大学のブース (U- 06) 内にて実施しています. お気軽にお越しください. 成果 モデル検査による UML 設計の検証 支援ツールの開発 開発現場における事例例への適 用に基づく評価 自動検証による 人的 時間的コストを削減 ソフトウェア信頼性の担保

18 謝辞 本発表は, 独 立立 行行政法 人情報処理理推進機構 技術本部ソフトウェア 高信頼化センター (IPA/SEC) が実施した, 2013 年年度度ソフトウェア 工学分野の先導的研究 支援事業 (RISE) の 支援を受けて, 公 立立 大学法 人岡 山県 立立 大学 ( 研究責任者 有本和 民 ) が 行行った研究成果の 一部を取りまとめたものです. 2014/07/29 ETWest2014 IPA ブースプレゼン 18

Microsoft PowerPoint SES2014.pptx

Microsoft PowerPoint SES2014.pptx 組込みソフトウェア検証への モデル検査技術の導 に関する技術動向 横川智教 t yokoga@cse.oka pu.ac.jp 岡 県 学 講師紹介 所属 岡 県 学 情報 学部情報システム 学科 回路デザイン研究室 助教 最近の研究テーマ モデル検査による組込みソフトウェアの設計検証 同期回路のモデル化 性能評価 検証 連絡先 t yokoga@cse.oka pu.ac.jp http://circuit.cse.oka

More information

独立行政法人情報処理推進機構委託 2013 年度ソフトウェア工学分野の先導的研究支援事業 抽象化に基づいた UML 設計検証支援ツールの開発 成果報告書 平成 26 年 2 月 公立大学法人岡山県立大学

独立行政法人情報処理推進機構委託 2013 年度ソフトウェア工学分野の先導的研究支援事業 抽象化に基づいた UML 設計検証支援ツールの開発 成果報告書 平成 26 年 2 月 公立大学法人岡山県立大学 独立行政法人情報処理推進機構委託 2013 年度ソフトウェア工学分野の先導的研究支援事業 抽象化に基づいた UML 設計検証支援ツールの開発 成果報告書 平成 26 年 2 月 公立大学法人岡山県立大学 本報告書は独立行政法人情報処理推進機構技術本部ソフトウェア高信頼化センターが実施した 2013 年度ソフトウェア工学分野の先導的研究支援事業 の公募による採択を受けて公立大学法人岡山県立大学 ( 研究責任者有本和民

More information

お客様からの依頼内容とその現状

お客様からの依頼内容とその現状 ログハウスメーカー様向け顧客管理システム構築 By BizBrowser+GeneXus 株式会社ディマージシェア お客様からの依頼内容とその現状 現状の問題点 2004 年から稼動しているクライアント / サーバ型システムのリニューアル 1) システム変更や不具合が発生するたびにソフトウェアを物理的に配布 2) 全国約 30 拠点 ( 展示場 ) 本社にサーバを設置 3) 夜間処理で拠点データを本社サーバに複製して同期

More information

電子申告の達人とは 法人税の達人 などの 申告書作成ソフト で作成した申告 申請等データを電子申告データに変換し 署名 送信から受信確認までの一連の操作を行うことができます 2

電子申告の達人とは 法人税の達人 などの 申告書作成ソフト で作成した申告 申請等データを電子申告データに変換し 署名 送信から受信確認までの一連の操作を行うことができます 2 資料 3 データ管理の達人 電子申告の達人 操作研修会 ( 電子申告の達人操作編 ) 東京地方税理士会データ通信協同組合 2016 年 7 月 1 電子申告の達人とは 法人税の達人 などの 申告書作成ソフト で作成した申告 申請等データを電子申告データに変換し 署名 送信から受信確認までの一連の操作を行うことができます 2 選択した機能に応じて 画面下部の処理ボタンが切り替わります 表示する年度を切替えます

More information

90 16.4 20.2 33.0 33.5 34.1 33.7 34.33 26.0 32.6 20.9 (28) (44) (55) (-39) (34) 847(48.3) 345(19.7) (37) (30) (42) (19) 96(5.5) 5) (25) 330(18.8) 137(7.8) 91 100% 90% 12.8% 12.5% 12% 69% 6.9% 9.1% 12.6%

More information

Microsoft PowerPoint - B3-3_差替版.ppt [互換モード]

Microsoft PowerPoint - B3-3_差替版.ppt [互換モード] SQiP2011 B3-3 状態遷移および機能連携に着 した業務シナリオテストの新 法 2011 年 9 9 株式会社 NTT データ技術開発本部プロアクティブ テスティング COE 岩 真治 所属 紹介 株式会社 NTT データ 主な業務 技術開発本部プロアクティブ テスティング COE 昨年 12/1 に設 先進的な検証 テストサービスの提供とそれを実現するための研究開発に取り組む専 組織 社内のソフトウェア開発標準プロセス

More information

個人依存開発から組織的開発への移行事例 ~ 要求モデル定義と開発プロセスの形式化 による高生産性 / 高信頼性化 ~ 三菱電機メカトロニクスソフトウエア ( 株 ) 和歌山支所岩橋正実 1

個人依存開発から組織的開発への移行事例 ~ 要求モデル定義と開発プロセスの形式化 による高生産性 / 高信頼性化 ~ 三菱電機メカトロニクスソフトウエア ( 株 ) 和歌山支所岩橋正実  1 個人依存開発から組織的開発への移行事例 ~ 要求モデル定義と開発プロセスの形式化 による高生産性 / 高信頼性化 ~ 三菱電機メカトロニクスソフトウエア ( 株 ) 和歌山支所岩橋正実 iwahashi@est.hi-ho.ne.jp Iwahashi.Masami@wak.msw.co.jp 1 改善効果 品質 : フロントローディングが進み流出不具合 0 継続生産性 : 平均 130% 改善 工数割合分析

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション GSN を応用したナレッジマネジメントシステムの提案 2017 年 10 月 27 日 D-Case 研究会 国立研究開発法人宇宙航空研究開発機構 研究開発部門第三研究ユニット 梅田浩貴 2017/3/27 C Copyright 2017 JAXA All rights reserved 1 目次 1 課題説明 SECI モデル 2 GSN を応用したナレッジマネジメントシステム概要 3 ツリー型チェックリスト分析

More information

研究背景 センサなどによって観測される情報の多くは時系列列データ たくさんの時系列列データの中から有益な情報を取得し その内容を理理解する 手法の開発が重要 取得された情報をより抽象度度の 高いレベルで表現 時系列列データの振る舞いを 言語で説明する 手法の開発 HandRight_x HandRi

研究背景 センサなどによって観測される情報の多くは時系列列データ たくさんの時系列列データの中から有益な情報を取得し その内容を理理解する 手法の開発が重要 取得された情報をより抽象度度の 高いレベルで表現 時系列列データの振る舞いを 言語で説明する 手法の開発 HandRight_x HandRi 高次元の時系列列データの潜在意味 解析に基づく 言語化 手法の開発 小林林 一郎郎 お茶茶の 水 女女 子 大学 研究背景 センサなどによって観測される情報の多くは時系列列データ たくさんの時系列列データの中から有益な情報を取得し その内容を理理解する 手法の開発が重要 取得された情報をより抽象度度の 高いレベルで表現 時系列列データの振る舞いを 言語で説明する 手法の開発 HandRight_x

More information

はじめに : ご提案のポイント

はじめに : ご提案のポイント 4. 組織へのフォーマルメソッドの導入方法 本章では フォーマルメソッドを組織に導入する際の障害を解決するための手順やポイントを 示す 本章の概要は以下の通りである 対象読者目的想定知識得られる知見等 (1) ベンダー上級管理者 (2) 開発プロジェクト管理者 (3) 開発技術者 等フォーマルメソッドを組織に導入する際の作業プロセス ( 導入プロセス ) と導入のポイントについて整理する さらに導入検討の際に有用と思われる情報源

More information

2014/03/19 e ラーニング利利 用実態調査結果報告について 2014 年年 3 月 19 日 日本イーラーニングコンソーシアム調査委員会 小橋岳史 2014/03/19 0.e ラーニングをとりまく流流れ

2014/03/19 e ラーニング利利 用実態調査結果報告について 2014 年年 3 月 19 日 日本イーラーニングコンソーシアム調査委員会 小橋岳史 2014/03/19 0.e ラーニングをとりまく流流れ e ラーニング利利 用実態調査結果報告について 2014 年年 3 月 19 日 日本イーラーニングコンソーシアム調査委員会 小橋岳史 0.e ラーニングをとりまく流流れ 01 02 03 04 05 06 07 08 09 10 11 12 13 14 e ラーニング 白書 ( ~ 2008) e ラーニングの市場動向についての 公式な 調査報告書 1 0.e ラーニングをとりまく流流れ 01 02

More information

160620_MTIセミナー_国際航業_配布用

160620_MTIセミナー_国際航業_配布用 シームレス 位 置 情 報 の 活 用で 拡 がる IoTビジネス June 22, 2016 国 際 航 業 株 式 会 社 田 端 地 理理 空 間 サービス 部 謙 一 2 3 URL http://biz.kkc.co.jp/ 4 本 日のテーマ 屋 内 測 位 技 術 の 動 向 シームレス 位 置 情 報 の 活 用 事 例例 のご 紹 介 Genavis 測 位 モジュール のご 紹

More information

koboデスクトップアプリ ユーザーガイド

koboデスクトップアプリ ユーザーガイド 1 目... 4... 5 用... 6 用... 8 子 入... 10... 13 2 ... 13... 13 子... 16 子... 18... 19... 22 3 用 子 子 4 子 子 5 用 用 子 用 6 用 1. 2. 用 3. 4. 5. 面 行行 7 用 用 子 用 8 用 1. 2. 用 3. 4. 自 5. 9 子 入 方 見見 見見 入 入 入 子 子 子 10 見見

More information

VoIP 等サービスの遮断 ネットワーク概念図 Web 出典 : Web 閲覧の流れ DNS ポイズニング DNS 名で問い合わせ IP アドレスを応答 DNS 名で問い合わせ の名前を予め DNS に登録 受け取った

VoIP 等サービスの遮断 ネットワーク概念図 Web 出典 :   Web 閲覧の流れ DNS ポイズニング DNS 名で問い合わせ IP アドレスを応答 DNS 名で問い合わせ の名前を予め DNS に登録 受け取った 個人的な体験 諸外国の違法有害情報対策と 日本での検討状況と論点 画像電子学会安全な暮らしのための情報技術研究会マイクロソフト株式会社楠正憲 Masanori.kusunoki@microsoft.com OpenNet Initiative Global Internet Filtering Map 性的コンテンツ等の遮断 出典 : http://map.opennet.net/filtering-soc.html

More information

Interviewtemplate_ver1.00.ppt

Interviewtemplate_ver1.00.ppt インタビューテンプレート Ver.1.00 シートタイプ PDF 版 インタビューテンプレートについて すぐに使えるインタビュー カスタマイズして使おう! このインタビューテンプレートは ユーザーインタビューで利利 用できる実践的な記 入シートです 効果的なインタ ビューができるように 計画 実施のタイミングにあわせ て計 9 枚のシートを 用意しています インタビュー調査の 目的にあわせて使うシートを選び

More information

untitled

untitled N=1684 N=8703 N=1554 N=979 N=3911 N=530 N=1993 N=4982 N=929 N=2035 N=544 N=453 10 11 12 13 14 15 16 17 18 19 20 21 22 23 10 11 12 13 14 15 16 17 18 19 20 21 22 12 16 18 3657 0.0 5.0 10.0 15.0 20.0

More information

Page 2 of 7 絞込条件 さらに検索条件を増やして検索 表示します 現在表示されている状態から再検索して絞り込みます [ 絞り込み ] ボタンで実行します [ 物件名 ]: 物件名または物件名の一部の文字を入力します [ 物件 ID を表示 ] チェック : 検索結果の物件一覧に プログラム

Page 2 of 7 絞込条件 さらに検索条件を増やして検索 表示します 現在表示されている状態から再検索して絞り込みます [ 絞り込み ] ボタンで実行します [ 物件名 ]: 物件名または物件名の一部の文字を入力します [ 物件 ID を表示 ] チェック : 検索結果の物件一覧に プログラム Page 1 of 7 物件一覧 - 概要 [ 物件一覧 ] では 現在作業中の工事一覧 その工事の担当者 進捗状況などを確認できます 新規物件は [ 新規物件追加 ] ボタンから追加することができます 物件の追加後は この画面から物件を検索 選択して 現場写真の確認 写真帳票の作成 工事日程の入力などを行います 物件の検索 物件一覧には [ 物件一覧 ] で物件を選択してから行います 表示切替 物件の一覧を

More information

VFD256 サンプルプログラム

VFD256 サンプルプログラム VFD256 サンプルプログラム 目次 1 制御プログラム... 1 2.Net 用コントロール Vfd256 の使い方... 11 2.1 表示文字列の設定... 11 2.2 VFD256 書込み前のクリア処理... 11 2.3 書き出しモード... 11 2.4 表示モード... 12 2.5 表示... 13 2.6 クリア... 13 2.7 接続方法 ボーレートの設定... 13 2.8

More information

Microsoft Word - ESxR_Trialreport_2007.doc

Microsoft Word - ESxR_Trialreport_2007.doc 2007 年度 ESxR 実証実験 トライアル報告書 2008 年 3 月 31 日 ソフトウェア エンシ ニアリンク センター 組み込み系プロジェクト < 目次 > 1. はじめに... 3 第 1 章 ESCR 実証計画 ( 富士フイルムソフトウエア株式会社 )... 4 1. トライアルの目的... 4 2. H19 年度活動... 4 3. H20 年度トライアル計画... 6 4. 関係図...

More information

040402.ユニットテスト

040402.ユニットテスト 2. ユニットテスト ユニットテスト ( 単体テスト ) ユニットテストとはユニットテストはプログラムの最小単位であるモジュールの品質をテストすることであり その目的は結合テスト前にモジュール内のエラーを発見することである テストは機能テストと構造テストの2つの観点から行う モジュールはプログラムを構成する要素であるから 単体では動作しない ドライバとスタブというテスト支援ツールを使用してテストを行う

More information

開始前の注意点 乗務中および作業中には絶対に行わないでください 休憩中はプレイしていただいても結構ですが身体を休めることがおろそかにならないようご注意願います 社のノウハウ等も含まれておりますので ゲーム画面の撮影や動画に撮って Youtube や SNS 等に掲載しないでください 原則 会社関係者

開始前の注意点 乗務中および作業中には絶対に行わないでください 休憩中はプレイしていただいても結構ですが身体を休めることがおろそかにならないようご注意願います 社のノウハウ等も含まれておりますので ゲーム画面の撮影や動画に撮って Youtube や SNS 等に掲載しないでください 原則 会社関係者 android 版インストールマニュアル (ver2.0) 1 開始前の注意点 乗務中および作業中には絶対に行わないでください 休憩中はプレイしていただいても結構ですが身体を休めることがおろそかにならないようご注意願います 社のノウハウ等も含まれておりますので ゲーム画面の撮影や動画に撮って Youtube や SNS 等に掲載しないでください 原則 会社関係者以外の使用は禁止させていただきます 皆さんのスマホからご家族の皆さんにはお楽しみいただいても結構です

More information

Sequence Read Archive 2013 年年 10 月 25 日 第 10 回シーケンサー利利 用技術講習会 ( 理理研横浜 ) 1

Sequence Read Archive 2013 年年 10 月 25 日 第 10 回シーケンサー利利 用技術講習会 ( 理理研横浜 ) 1 Sequence Read Archive 1 塩基配列列データベース アノテーション DDBJ アセンブリ DDBJ Center アライメント シークエンシングと サンプリング Sequence Read Archive 2 増 大する SRA データ 千兆塩基 目前 http://www.ncbi.nlm.nih.gov/traces/sra/ 3 SRA は INSDC の 一員 INSDC:

More information

トレーサビリティとインパクト分析 2011 年 7 月 13 日 海谷治彦 1

トレーサビリティとインパクト分析 2011 年 7 月 13 日 海谷治彦 1 トレーサビリティとインパクト分析 2011 年 7 月 13 日 海谷治彦 1 背景 : ソフトウェア成果物 プロの開発では多様な成果物が作成される. 要求仕様書 設計仕様書 ソースコード テストケース 成果物内, 成果物間の相互の関係 ( トレース ) を知ることが重要. 2 トレースする理由 開発中に, どの機能が実現済か確認する. 要求仕様書 コード バグの原因を探す. 仕様書 コード 既存ソフトに新機能追加や性能アップのため,

More information

目次 ペトリネットの概要 適用事例

目次 ペトリネットの概要 適用事例 ペトリネットを利用した状態遷移テスト 和田浩一 東京エレクトロン SDC FA グループ 目次 ペトリネットの概要 適用事例 ペトリネットの概要 - ペトリネットとは ペトリネット (Petri Net) とは カール アダム ペトリが 1962 年に発表した離散分散システムを数学的に表現する手法である 視覚的で 数学的な離散事象システムをモデル化するツールの一つである ペトリネットの概要 - ペトリネットの表記と挙動

More information

会社概要と私の経歴 1 / 30 会社概要 所在地 : 本社 ( 名古屋市中区 ) 刈谷事業所( 刈谷市 ) 設立 : 売上高 : 40 億 800 万円 (2014 年 3 月期 ) 従業員数 : 235 名 (2014 年 4 月時点 ) 業務内容 : ITSソフト ( ナビ

会社概要と私の経歴 1 / 30 会社概要 所在地 : 本社 ( 名古屋市中区 ) 刈谷事業所( 刈谷市 ) 設立 : 売上高 : 40 億 800 万円 (2014 年 3 月期 ) 従業員数 : 235 名 (2014 年 4 月時点 ) 業務内容 : ITSソフト ( ナビ 設計の見える化 (GSN) 入門 Embedded Technology 2015 2015.11.19, パシフィコ横浜 ( 株 ) デンソークリエイト宇都宮浩之 会社概要と私の経歴 1 / 30 会社概要 所在地 : 本社 ( 名古屋市中区 ) 刈谷事業所( 刈谷市 ) 設立 : 1991.2.14 売上高 : 40 億 800 万円 (2014 年 3 月期 ) 従業員数 : 235 名 (2014

More information

発表内容 背景 コードクローン 研究目的 4 つのテーマ 研究内容 テーマ毎に, 概要と成果 まとめ 2

発表内容 背景 コードクローン 研究目的 4 つのテーマ 研究内容 テーマ毎に, 概要と成果 まとめ 2 2012 年度ソフトウェア工学分野の先導的研究支援事業 コードクローン分析に基づくソフトウェア開発 保守支援に関する研究 大阪大学大学院情報科学研究科 楠本真二 1 発表内容 背景 コードクローン 研究目的 4 つのテーマ 研究内容 テーマ毎に, 概要と成果 まとめ 2 研究背景 ソフトウェアシステムは社会基盤として必須のもの. 現代社会で人々の日々の暮らしを支える 例 : 銀行オンラインシステム

More information

ET2014 ミニセミナー フィーチャー図と BricRobo で 簡単プロダクトライン 2014/11/19~21 ( 株 ) 富士通コンピュータテクノロジーズ伊澤松太朗 1294karch01 Copyright 2014 FUJITSU COMPUTER TECHNOLOGIES LIMITE

ET2014 ミニセミナー フィーチャー図と BricRobo で 簡単プロダクトライン 2014/11/19~21 ( 株 ) 富士通コンピュータテクノロジーズ伊澤松太朗 1294karch01 Copyright 2014 FUJITSU COMPUTER TECHNOLOGIES LIMITE ET2014 ミニセミナー フィーチャー図と BricRobo で 簡単プロダクトライン 2014/11/19~21 ( 株 ) 富士通コンピュータテクノロジーズ伊澤松太朗 1294karch01 目次 1. 当社のご紹介 2. 派生開発でよくある課題 3. フィーチャー図のススメ 4. フィーチャー図と BricRobo による簡単プロダクトライン開発 1 当社のご紹介 2 会社概要 株式会社富士通コンピュータテクノロジーズ

More information

Microsoft PowerPoint プレス発表_(森川).pptx

Microsoft PowerPoint プレス発表_(森川).pptx ESEC2016 プレス発表 Safety&Security 両規格に準拠した 統合開発支援サービスを開始 2016 年 5 月 11 日株式会社ヴィッツ執行役員機能安全開発部部長森川聡久 本発表の概要 株式会社ヴィッツは 機能安全開発支援だけでなく 組込みセキュリティ開発も統合した開発支援サービスを開始しました 2 当社の主な実績 機能安全 プロセス認証取得 IEC61508:2010 SIL3

More information

日経ビジネス Center 2

日経ビジネス Center 2 Software Engineering Center Information-technology Promotion Agency, Japan ソフトウェアの品質向上のために 仕様を厳密に 独立行政法人情報処理推進機構 ソフトウェア エンジニアリング センター 調査役新谷勝利 Center 1 日経ビジネス 2012.4.16 Center 2 SW 開発ライフサイクルの調査統計データ ソフトウェア産業の実態把握に関する調査

More information

目 次 1. システムの運用 2. システムの使用環境 3. ユーザID パスワードについて 4. 現行 Excelと新システムとの違い 5. 新システムでの注意点 6. マニュアルについて 7. お問い合わせ

目 次 1. システムの運用 2. システムの使用環境 3. ユーザID パスワードについて 4. 現行 Excelと新システムとの違い 5. 新システムでの注意点 6. マニュアルについて 7. お問い合わせ ( 新 ) 総合評価支援システムの 操作方法等について 平成 22 年 11 月 宮城県出納局契約課 目 次 1. システムの運用 2. システムの使用環境 3. ユーザID パスワードについて 4. 現行 Excelと新システムとの違い 5. 新システムでの注意点 6. マニュアルについて 7. お問い合わせ 1 2 4 5 12 24 25 1. システムの運用 運用時間 総合評価支援システム

More information

Marionette操作説明

Marionette操作説明 ようこそ マリオネットの世界へ マリオネットは Vectorworks を使うデザイナーのためのビジュアルプログラミング環境です この入門書をきっかけに ぜひ新しいデザインの世界を体験してください マリオネット入門 Marionette Primer 20160115 マリオネット入門 目次マリオネットとは... 2 マリオネットをはじめる... 3 ノード... 5 ノードのスクリプトの編集...

More information

2016/6/3 IMJ ClickTracks Ver.6 の販売を開始! リリース情報 Press Room ClickTracks Ver.6 の販売を開始! 2007/04/04 IMJ ビジネスコンサルティング 株式会社株式会社インフィネット 株式会社アイ エム ジェイ ( 本社 : 東京

2016/6/3 IMJ ClickTracks Ver.6 の販売を開始! リリース情報 Press Room ClickTracks Ver.6 の販売を開始! 2007/04/04 IMJ ビジネスコンサルティング 株式会社株式会社インフィネット 株式会社アイ エム ジェイ ( 本社 : 東京 ClickTracks Ver.6 の販売を開始! 2007/04/04 IMJ ビジネスコンサルティング 株式会社株式会社インフィネット 株式会社アイ エム ジェイ ( 本社 : 東京都品川区代表取締役社長 : 樫野孝人以下 IMJ) のグループ会社であるIMJビジネスコンサルティング株式会社 ( 本社 : 東京都品川区代表取締役 : 長崎次一以下 IMJ BC) と オンラインビジネスツール開発会社の株式会社インフィネット

More information

Pi- SAR Pi- SAR2 の 観測データ検索索 配信システムの開発 情報通信研究機構 情報通信研究機構 情報通信研究機構 情報通信研究機構 富 士通 FIP 富 士通 FIP 児島正 一郎郎 上本純平 木下武也 村 山泰啓 蒲 生京佳 笠笠井尚徳

Pi- SAR Pi- SAR2 の 観測データ検索索 配信システムの開発 情報通信研究機構 情報通信研究機構 情報通信研究機構 情報通信研究機構 富 士通 FIP 富 士通 FIP 児島正 一郎郎 上本純平 木下武也 村 山泰啓 蒲 生京佳 笠笠井尚徳 Pi- SAR Pi- SAR2 の 観測データ検索索 配信システムの開発 情報通信研究機構 情報通信研究機構 情報通信研究機構 情報通信研究機構 富 士通 FIP 富 士通 FIP 児島正 一郎郎 上本純平 木下武也 村 山泰啓 蒲 生京佳 笠笠井尚徳 仙台空港周辺 (2011 年 3 月 12 日 ) 研究の背景と 目的 n NICT は 2008 年年より Pi- SAR2 の運 用を開始し

More information

2015 TRON Symposium セッション 組込み機器のための機能安全対応 TRON Safe Kernel TRON Safe Kernel の紹介 2015/12/10 株式会社日立超 LSIシステムズ製品ソリューション設計部トロンフォーラム TRON Safe Kernel WG 幹事

2015 TRON Symposium セッション 組込み機器のための機能安全対応 TRON Safe Kernel TRON Safe Kernel の紹介 2015/12/10 株式会社日立超 LSIシステムズ製品ソリューション設計部トロンフォーラム TRON Safe Kernel WG 幹事 2015 TRON Symposium セッション 組込み機器のための機能安全対応 TRON Safe Kernel TRON Safe Kernel の紹介 2015/12/10 株式会社日立超 LSIシステムズ製品ソリューション設計部トロンフォーラム TRON Safe Kernel WG 幹事 豊山 祐一 Hitachi ULSI Systems Co., Ltd. 2015. All rights

More information

rpki-test_ver06.pptx

rpki-test_ver06.pptx Route Reflector 構成での RPKI の動作検証 インフラストラクチャ本部データセンターチーム 黒河内倫倫 背景 現 行行でている Router/Switch などでは RPKI を対応していない機器もある RPKI のために Router をリプレースすることは難しい場合もあるため Route Reflector 構成で集中的に管理理できる 方法がないか検討をする なお現状 ibgp

More information

目次 取組み概要 取組みの背景 取組みの成果物 適用事例の特徴 適用分析の特徴 適用事例の分析結果から見えたこと JISAによる調査結果 どうやって 実践のヒント をみつけるか 書籍発行について紹介 今後に向けて 2

目次 取組み概要 取組みの背景 取組みの成果物 適用事例の特徴 適用分析の特徴 適用事例の分析結果から見えたこと JISAによる調査結果 どうやって 実践のヒント をみつけるか 書籍発行について紹介 今後に向けて 2 品質改善に取り組めば 生産性もアップ ~ ソフトウェア開発技術適用事例のデータ分析から見えてきたこと ~ 2016 年 5 月 12 日 独立行政法人情報処理推進機構技術本部ソフトウェア高信頼化センター ソフトウェアグループ 連携委員春山浩行 1 目次 取組み概要 取組みの背景 取組みの成果物 適用事例の特徴 適用分析の特徴 適用事例の分析結果から見えたこと JISAによる調査結果 どうやって 実践のヒント

More information

デフォルト債権回収データベースのメリット デフォルト債権回収データベースでは 回収データの蓄積を通じて 回収率 LGD の実績値を計測 期待損失 (EL) のより精緻な捕捉により 金融機関における与信管理業務の一層の高度化を実現します 回収データの蓄積期待損失の精緻な計測 内部格付け体勢の整備 (

デフォルト債権回収データベースのメリット デフォルト債権回収データベースでは 回収データの蓄積を通じて 回収率 LGD の実績値を計測 期待損失 (EL) のより精緻な捕捉により 金融機関における与信管理業務の一層の高度化を実現します 回収データの蓄積期待損失の精緻な計測 内部格付け体勢の整備 ( 日本リスク データ バンク株式会社デフォルト債権回収データベース 未来を想像し創造する データアーティスト デフォルト債権回収データベースのメリット デフォルト債権回収データベースでは 回収データの蓄積を通じて 回収率 LGD の実績値を計測 期待損失 (EL) のより精緻な捕捉により 金融機関における与信管理業務の一層の高度化を実現します 回収データの蓄積期待損失の精緻な計測 内部格付け体勢の整備

More information

一 羽 田 木 行行 手 手 方

一 羽 田 木 行行 手 手 方 支 月 日 日 長 革 足 力力 生 手 革 日 長 木 人 日 生 青 生 日 力力 生 人 力力 生 方 力力 大 一 方 大 目 革 力力 日 羽 田 日 日 一 羽 田 木 行行 手 手 方 高 日 長 革 羽 田 羽 田 立立 日 一 日 大 入 羽 田 日 行行 首 玄 口 木 西 日 大 日 一 用 入 生 羽 田 羽 田 立立 日 一 日 大 入 手 自 用 人 手 自 力力 小 口

More information

電子申告の達人とは 申告書作成ソフト ( 達人シリーズ ) で作成した申告 申請等データを電子申告データに変換し 署名 送信からメッセージボックスの確認までの一連の操作を行うことができます

電子申告の達人とは 申告書作成ソフト ( 達人シリーズ ) で作成した申告 申請等データを電子申告データに変換し 署名 送信からメッセージボックスの確認までの一連の操作を行うことができます 電子申告の達人 で行う 法人税の達人 の電子申告 国税 (e-tax) 編 東京地方税理士会データ通信協同組合 07 年 月 電子申告の達人とは 申告書作成ソフト ( 達人シリーズ ) で作成した申告 申請等データを電子申告データに変換し 署名 送信からメッセージボックスの確認までの一連の操作を行うことができます 電子申告の達人の起動方法 達人 Cube 電子申告 をクリックして下さい しばらくすると

More information

電子申告の達人とは 申告書作成ソフト ( 達人シリーズ ) で作成した申告 申請等データを電子申告データに変換し 署名 送信からメッセージボックスの確認までの一連の操作を行うことができます 2

電子申告の達人とは 申告書作成ソフト ( 達人シリーズ ) で作成した申告 申請等データを電子申告データに変換し 署名 送信からメッセージボックスの確認までの一連の操作を行うことができます 2 電子申告の達人 で行う 法人税の達人 の電子申告 地方税 (eltax) 編 東京地方税理士会データ通信協同組合 2017 年 5 月 1 電子申告の達人とは 申告書作成ソフト ( 達人シリーズ ) で作成した申告 申請等データを電子申告データに変換し 署名 送信からメッセージボックスの確認までの一連の操作を行うことができます 2 電子申告の達人の起動方法 達人 Cube 電子申告 をクリックして下さい

More information

錢恂著作目錄

錢恂著作目錄 1 2 3 4 5 6 7 8 9 10 (Qian Xun) ( ) ( ) ( - ) ( - ) ( - ) ( - ) - ( - ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 11 ( ) ( ) ( ) ( ) ( ) 吴 12 - 13 - ( - 14 ( ) ( ) ( ) ( ) 15 ( ) [ ] 16 [ ] [ ] 17 18 19 20 ( ) 21 -

More information

_Janog37.pptx

_Janog37.pptx DDoS 対策に関するテスト話 2016.01.21 16:00 ~ 17:30 JANOG37 meeting BoF, どんなテストしてる? ( 続 ) NTT コミュニケーションズ 技術開発部 池 田賢 斗 自 己紹介 n 2014 年年 NTT コミュニケーションズ 入社 n DDoS 対策ソリューションの開発や xflow 関連技術の開発に従事 n JANOG33 ( 学 生時代 ) JANOG36

More information

用 2

用 2 木 子 用 2 用 女女 子 女女 子 身 長 力力 力力 力力 力力 3 身 長 力力 足 立立 止 力力 入 4 5 力力 骨 入 高 6 工 高 子 力力 高 支 7 小 入 見見 8 女女 子 力力 女女 子 女女 子 女女 子 見見 9 10 子 女女 子 入 女女 子 自 言 手 女女 子 子 11 女女 子 女女 子 人 12 人 力力 子 人 自 13 用 力力 自 人 用 入 14

More information

ミルビィとは 導 入 一 例 2

ミルビィとは 導 入 一 例 2 クラウド 型 会 員 制 動 画 配 信 システムのご 紹 介 Copyright 2014 J's Communication Co., Ltd. All rights reserved. ミルビィとは 導 入 一 例 2 会 員 制 動 画 配 信 システムのサービス 概 要 (ドウパ)とはミルビィと 連 携 したクローズドな 環 境 での 利利 用を 想 定 した 動 画 共 有 システムです

More information

2008年度 設計手法標準化アンケート 集計結果

2008年度 設計手法標準化アンケート 集計結果 2012 年度 設計手法普及調査アンケート 集計報告 2013 年 2 月一般社団法人組込みシステム技術協会状態遷移設計研究会 目次 1. アンケート実施の目的 3 2. アンケートの実施対象 4 3. アンケート回答数 5 4. 実施したアンケートの内容 6 5. アンケート回答者の構成 8 6. アンケート集計結果 9 6.1 技術分野 対象 OS 開発言語について 10 6.2 使用している開発方法論について

More information

Microsoft PowerPoint - 【最終提出版】 MATLAB_EXPO2014講演資料_ルネサス菅原.pptx

Microsoft PowerPoint - 【最終提出版】 MATLAB_EXPO2014講演資料_ルネサス菅原.pptx MATLAB/Simulink を使用したモータ制御アプリのモデルベース開発事例 ルネサスエレクトロニクス株式会社 第二ソリューション事業本部産業第一事業部家電ソリューション部 Rev. 1.00 2014 Renesas Electronics Corporation. All rights reserved. IAAS-AA-14-0202-1 目次 1. はじめに 1.1 モデルベース開発とは?

More information

TopSE並行システム はじめに

TopSE並行システム はじめに はじめに 平成 23 年 9 月 1 日 トップエスイープロジェクト 磯部祥尚 ( 産業技術総合研究所 ) 2 本講座の背景と目標 背景 : マルチコア CPU やクラウドコンピューティング等 並列 / 分散処理環境が身近なものになっている 複数のプロセス ( プログラム ) を同時に実行可能 通信等により複数のプロセスが協調可能 並行システムの構築 並行システム 通信 Proc2 プロセス ( プログラム

More information

個人事業者データベースのメリット 個人事業者を含むマス リテール層は 大量データベースを生かしたモデルの活用 格付制度の体系化など 客観的 定量的手法によるリスク管理 が特に効率的に機能する分野です 個人事業者データベース導入のメリット RDB 大企業モデル 大企業 事務コスト軽減 個人事業者向け融

個人事業者データベースのメリット 個人事業者を含むマス リテール層は 大量データベースを生かしたモデルの活用 格付制度の体系化など 客観的 定量的手法によるリスク管理 が特に効率的に機能する分野です 個人事業者データベース導入のメリット RDB 大企業モデル 大企業 事務コスト軽減 個人事業者向け融 日本リスク データ バンク株式会社個人事業者データベース 未来を想像し創造する データアーティスト 個人事業者データベースのメリット 個人事業者を含むマス リテール層は 大量データベースを生かしたモデルの活用 格付制度の体系化など 客観的 定量的手法によるリスク管理 が特に効率的に機能する分野です 個人事業者データベース導入のメリット RDB 大企業モデル 大企業 事務コスト軽減 個人事業者向け融資は一般に

More information

決 算 で 注 意 すべき 復 興 特 別 所 得 税 今 年 1 月 以 降 に 決 算 期 末 を 迎 える 事 業 年 度 の 法 人 税 の 申 告 では 所 得 税 と 復 興 特 別 所 得 税 の 切 り 分 けが 必 要 となります 今 年 1 月 以 降 に 決 算 期 末 を 迎

決 算 で 注 意 すべき 復 興 特 別 所 得 税 今 年 1 月 以 降 に 決 算 期 末 を 迎 える 事 業 年 度 の 法 人 税 の 申 告 では 所 得 税 と 復 興 特 別 所 得 税 の 切 り 分 けが 必 要 となります 今 年 1 月 以 降 に 決 算 期 末 を 迎 ニュースレター 2013 年 4 月 号 Apr. 2013 4 YOSHIKAWA TAX JOURNAL 決 算 で 注 意 すべき 復 興 特 別 所 得 税 注 目 トピックス 01 決 算 で 注 意 すべき 復 興 特 別 所 得 税 今 年 1 月 以 降 に 決 算 期 末 を 迎 える 事 業 年 度 の 法 人 税 の 申 告 では 復 興 特 別 所 得 税 の 税 額 控 除

More information

Oracle Business Rules

Oracle Business Rules Oracle Business Rules Manoj Das(manoj.das@oracle.com) Product Management, Oracle Integration 3 Oracle Business Rules について Oracle Business Rules とはビジネスの重要な決定と方針 ビジネスの方針 実行方針 承認基盤など 制約 有効な設定 規制要件など 計算 割引

More information

組込みシステムにおける UMLモデルカタログの実践研究

組込みシステムにおける UMLモデルカタログの実践研究 Modeling Forum 2015 組込みシステムの設計実装への モデルカタログの活用 仙台高等専門学校 情報システム工学科 力武克彰, 新村祐太 ( 豊橋技科大 ), 菊池雄太郎 ( 仙台高専 ) 概要 組込み分野のための UML モデルカタログ (*) のモデルを実装してみました (* 以下 モデルカタログと呼びます ) 2 概要 モデルカタログ : 目標制御モデル モデルカタログより引用

More information

事例でわかる!スマートフォン対応手法カタログ

事例でわかる!スマートフォン対応手法カタログ お 役 立立ち 資 料料 事 例例 でわかる! スマートフォン 対 応 手 法 カタログ 本 資 料料 が 提 供 される 目 的 以 外 の ならびに 御 社 ( 御 社 関 連 会 社 を 含 む) 以 外 の 第 3 者 による 利利 用 複 製 はご 遠 慮 願 います IMAGICA Imageworks, Inc. All rights reserved. 2014. 07. 18 はじめに

More information

機能検証トレーニング コース一覧

機能検証トレーニング コース一覧 機能検証トレーニング コース一覧 日本シノプシス合同会社 2016.03 トレーニング コース一覧 VCS/DVE 基本コース VCS-NLP/VC LP 基本コース VC Verification IP AXI 基本コース (UVM 版 ) VC Verification IP USB 基本コース (UVM 版 ) Verdi 3 基本コース SpyGlass Lint コース SpyGlass

More information

外部からの脅威に対し ファジング の導入を! ~ さらなる脆弱性発見のためのセキュリティテスト ~ 2017 年 5 月 10 日独立行政法人情報処理推進機構技術本部セキュリティセンター小林桂 1

外部からの脅威に対し ファジング の導入を! ~ さらなる脆弱性発見のためのセキュリティテスト ~ 2017 年 5 月 10 日独立行政法人情報処理推進機構技術本部セキュリティセンター小林桂 1 外部からの脅威に対し ファジング の導入を! ~ さらなる脆弱性発見のためのセキュリティテスト ~ 2017 年 5 月 10 日独立行政法人情報処理推進機構技術本部セキュリティセンター小林桂 1 内容 ネットワークに繋がる機器たち ファジングとは ファジングによる効果 まとめ 2 ネットワークに繋がる機器たち ~ 注目されている IoT~ さまざまな機器が通信機能を持ち ネットワークに繋がる時代

More information

安全な Web サイトの作り方 7 版 と Android アプリの脆弱性対策 独立行政法人情報処理推進機構 (IPA) 技術本部セキュリティセンター Copyright 2015 独立行政法人情報処理推進機構

安全な Web サイトの作り方 7 版 と Android アプリの脆弱性対策 独立行政法人情報処理推進機構 (IPA) 技術本部セキュリティセンター Copyright 2015 独立行政法人情報処理推進機構 安全な Web サイトの作り方 7 版 と Android アプリの脆弱性対策 独立行政法人情報処理推進機構 (IPA) 技術本部セキュリティセンター Android アプリの脆弱性体験学習ツール AnCoLe( アンコール ) の紹介 ~ AnCoLe で攻撃 対策の体験を ~ Android アプリに関する届出状況 毎年 Android アプリの脆弱性の届出が報告 件数 300 250 200

More information

セキュリティテスト手法 ファジング による脆弱性低減を! ~ 外部からの脅威に対し 製品出荷前に対策強化するために ~ 2016 年 5 月 12 日独立行政法人情報処理推進機構技術本部セキュリティセンター情報セキュリティ技術ラボラトリー鹿野一人 1

セキュリティテスト手法 ファジング による脆弱性低減を! ~ 外部からの脅威に対し 製品出荷前に対策強化するために ~ 2016 年 5 月 12 日独立行政法人情報処理推進機構技術本部セキュリティセンター情報セキュリティ技術ラボラトリー鹿野一人 1 セキュリティテスト手法 ファジング による脆弱性低減を! ~ 外部からの脅威に対し 製品出荷前に対策強化するために ~ 2016 年 5 月 12 日独立行政法人情報処理推進機構技術本部セキュリティセンター情報セキュリティ技術ラボラトリー鹿野一人 1 アジェンダ ネットワークに繋がる機器たち ファジングとは ファジングによる効果 まとめ IPAのファジングに関する取組み 2 ネットワークに繋がる機器たち

More information

変更の影響範囲を特定するための 「標準調査プロセス」の提案 2014年ソフトウェア品質管理研究会(30SQiP-A)

変更の影響範囲を特定するための 「標準調査プロセス」の提案  2014年ソフトウェア品質管理研究会(30SQiP-A) 変更の影響範囲を特定するための 標準調査プロセス の提案 2014 年ソフトウェア品質管理研究会 [ 第 6 分科会 A グループ ] リーダー : 宇田泰子 ( アンリツエンジニアリング株式会社 ) 夛田一成 ( アンリツエンジニアリング株式会社 ) 川井めぐみ ( サントリーシステムテクノロジー株式会社 ) 伊藤友一 (TIS 株式会社 ) 1. 研究の動機 研究員の現場では 調査を行なっているにも関わらず

More information

Re-Quest 操作クイックマニュアル < 勤怠管理編 >. 承認方法. タイムシートを検索します 勤怠管理 メニューをクリックして勤怠状況画面を表示します タイムシートのステータスごとの件数が表示されています 該当するステータスをクリックして対象のタイムシートを検索します 日次の承認を行う場合

Re-Quest 操作クイックマニュアル < 勤怠管理編 >. 承認方法. タイムシートを検索します 勤怠管理 メニューをクリックして勤怠状況画面を表示します タイムシートのステータスごとの件数が表示されています 該当するステータスをクリックして対象のタイムシートを検索します 日次の承認を行う場合 Re-Quest 操作クイックマニュアル < 勤怠管理編 >. ログイン. ログイン画面を表示します インターネットに接続します アドレスバーに URLを入力し Enter キーを押します https://www.re-quest.jp/client お気に入り ( ブックマーク ) への登録は 必ずログイン画面の URL をご登録ください ログイン後の画面で登録すると エラーになります. ログインします

More information

トレーニングのプレゼンテーション

トレーニングのプレゼンテーション XDDP の概要について (Vol.0.1) 2012 年 10 月 18 日佐藤創 Rights Reserved. 1 更新履歴 版数日付内容担当 0.1 2012/10/18 新規作成佐藤創 Rights Reserved. 2 XDDP とは? Rights Reserved. 3 XDDP とは? XDDP(eXtreme Derivative Development Process) 主に組込み系の派生開発の作り込み品質の向上を目的とした

More information

MPLS Japan 2015 キャリアサービスへの EVPN 適 用の検討と課題 横 山博基 NTT コミュニケーションズ株式会社 ネットワークサービス部 Copyright NTT Communications Corporation. All right reserved.

MPLS Japan 2015 キャリアサービスへの EVPN 適 用の検討と課題 横 山博基 NTT コミュニケーションズ株式会社 ネットワークサービス部 Copyright NTT Communications Corporation. All right reserved. MPLS Japan 2015 キャリアサービスへの EVPN 適 用の検討と課題 横 山博基 NTT コミュニケーションズ株式会社 ネットワークサービス部 Copyright NTT Communications Corporation. All right reserved. EVPN 評価の 目的 n 通信事業者の置かれている状況 WAN サービスは市場が成熟し 回線単価が下落落 収益は伸び悩み

More information

2) 検査の実施モデル検査において検査そのものは, モデル検査器によって機械的に行われる. その為, モデル検査の実施者は入力を与え, モデル検査ツールを実行するのみで良い. 3) 出力結果の解析モデル検査器は, 検査式に対する違反, 即ち不具合を発見すると, どの様な状態遷移によって違反に至ったか

2) 検査の実施モデル検査において検査そのものは, モデル検査器によって機械的に行われる. その為, モデル検査の実施者は入力を与え, モデル検査ツールを実行するのみで良い. 3) 出力結果の解析モデル検査器は, 検査式に対する違反, 即ち不具合を発見すると, どの様な状態遷移によって違反に至ったか モデル検査における不具合原因特定手法 1 鷲見毅 1 和田大輝 晏リョウ 1 1 武山文信 近年, ソフトウェアの大規模化に伴い, 開発の下流工程におけるテストだけではソフトウェアの品質確保が困難になっている. その為, 開発の上流工程における品質確保の必要性が高まっており, その手段としてモデル検査が注目されている. しかし, モデル検査を開発で実践適用するためには幾つかの課題がある. そのひとつとして,

More information

自 己紹介 株式会社ネクフル 代表取締役草薙俊介 (Shunsuke Kusanagi) 1982 年年北北海道札幌市出 身 2001 年年北北海道札幌 西 高等学校卒 2005 年年明治 大学経営学部卒 2011 年年フリーター web コンサルを経て独学でプログラミングを学び株式会社ネクフル設

自 己紹介 株式会社ネクフル 代表取締役草薙俊介 (Shunsuke Kusanagi) 1982 年年北北海道札幌市出 身 2001 年年北北海道札幌 西 高等学校卒 2005 年年明治 大学経営学部卒 2011 年年フリーター web コンサルを経て独学でプログラミングを学び株式会社ネクフル設 AWS だけで構築する フルマネージド動画配信サービス 株式会社ネクフル 自 己紹介 株式会社ネクフル 代表取締役草薙俊介 (Shunsuke Kusanagi) 1982 年年北北海道札幌市出 身 2001 年年北北海道札幌 西 高等学校卒 2005 年年明治 大学経営学部卒 2011 年年フリーター web コンサルを経て独学でプログラミングを学び株式会社ネクフル設 立立 好きな AWS サービス

More information

BIP Smart サンプル説明書

BIP Smart サンプル説明書 BIP 向け BIP Smart サンプル説明書 はじめに 本書は BIP Smart のサンプル説明書です [ 対象製品 ] BIP Smart 帳票連携 Edition [ 免責事項 ] 本プログラムはサンプルプログラムであるため 株式会社 PFU( 以降 PFU と表記 ) は 本プログラムに関して一切の動作保証をするものではありません また 本プログラムに不備があっても PFU はその修正および

More information

<4D F736F F D F193B994AD955C D9E82DD835C EC091D492B28DB8816A2E646F63>

<4D F736F F D F193B994AD955C D9E82DD835C EC091D492B28DB8816A2E646F63> 2007 年 6 月 27 日経済産業省 の概要 経済産業省は 今般 急速に拡大している自動車 携帯電話等に内蔵されているソフトウェア ( 組込みソフトウェア ) に関し その実態を把握するために 組込みソフトウェアに係わる企業 技術者等を対象として調査を行いました その結果 組込みソフトウェア品質の二極化やスキルレベルの高い技術者の不足などの課題が浮き彫りになりました それらを踏まえ 経済産業省では

More information

Microsoft Word - tutorial8-10.docx

Microsoft Word - tutorial8-10.docx 株式会社チェンジビジョン使用バージョン :astah* 6.0, 6.1 astah* チュートリアル [ 第 8 章構造化分析しよう ] [ 第 9 章フローチャートを使ってみよう ] [ 第 10 章トレーサビリティマップを使ってみよう ] 目次 構造化分析しよう 2 構造化分析とは 2 DFD( データフロー図 ) 3 DFD( データフロー図 ) を使ってみよう 4 フローチャートを使ってみよう

More information

トレーニングのプレゼンテーション

トレーニングのプレゼンテーション 当方が携わった派生開発の プロセス改善内容について (Vol.0.1) 2012 年 10 月 24 日佐藤創 Rights Reserved. 1 更新履歴 版数日付内容担当 0.1 2012/10/24 新規作成佐藤創 Rights Reserved. 2 PRJ で遭遇した 派生開発の問題 Rights Reserved. 3 対象の派生開発 PRJ の特徴 対象となる派生開発 PRJ の概要

More information

2008年度 設計手法標準化アンケート 集計結果

2008年度 設計手法標準化アンケート 集計結果 2011 年度 設計手法普及調査アンケート 集計経過報告 2012 年 2 月社団法人組込みシステム技術協会状態遷移設計研究会 目次 1. アンケート実施の目的 3 2. アンケートの実施対象 4 3. アンケート回答数 5 4. 実施したアンケートの内容 6 5. アンケート回答者の構成 8 6. アンケート集計結果 9 6.1 回答者の担当製品分野について 10 6.2 回答者の部門について 11

More information

Copyright (C) 2012 WACATE All rights reserved 実践! 組合せテスト設計 ~組合せテストで学ぶソフトウェアテストの設計プロセス ~ WACATE2012 夏 2012 年年 6 月 30 日 井芹洋輝 (WACATE 実 行行委員会 )

Copyright (C) 2012 WACATE All rights reserved 実践! 組合せテスト設計 ~組合せテストで学ぶソフトウェアテストの設計プロセス ~ WACATE2012 夏 2012 年年 6 月 30 日 井芹洋輝 (WACATE 実 行行委員会 ) 実践! 組合せテスト設計 ~組合せテストで学ぶソフトウェアテストの設計プロセス ~ WACATE2012 夏 2012 年年 6 月 30 日 井芹洋輝 (WACATE 実 行行委員会 ) この講義で扱うこと ソフトウェアを対象とした組合せテストの設計プロセスについて解説します 仕様の分析 因 子 水準のピックアップ 組合せをどう扱うか 組合せテスト技法の使いどころ これから 行行われる 2 つのワークショップで実践してきます

More information

15288解説_D.pptx

15288解説_D.pptx ISO/IEC 15288:2015 テクニカルプロセス解説 2015/8/26 システムビューロ システムライフサイクル 2 テクニカルプロセス a) Business or mission analysis process b) Stakeholder needs and requirements definieon process c) System requirements definieon

More information

目次 1. 達人 Cubeに対する準備 2. 申告書作成の注意点 3. 電子申告の達人 ( 画面構成 ) 4. 法定調書合計表 ( 国税 ) の電子申告 5. 給与支払報告書 ( 地方税 ) の電子申告 2

目次 1. 達人 Cubeに対する準備 2. 申告書作成の注意点 3. 電子申告の達人 ( 画面構成 ) 4. 法定調書合計表 ( 国税 ) の電子申告 5. 給与支払報告書 ( 地方税 ) の電子申告 2 電子申告の達人 で行う 年調 法定調書の達人 の電子申告 < 国税 地方税申告編 > 東京地方税理士会データ通信協同組合 2018 年 12 月 1 目次 1. 達人 Cubeに対する準備 2. 申告書作成の注意点 3. 電子申告の達人 ( 画面構成 ) 4. 法定調書合計表 ( 国税 ) の電子申告 5. 給与支払報告書 ( 地方税 ) の電子申告 2 電子申告作業事前準備の流れ 1 達人環境のアップデート達人

More information

はじめに : ご提案のポイント

はじめに : ご提案のポイント 8. モデリングプロセスの構成と手順 モデル検査を用いた設計モデリングのプロセスを分類し それぞれのプロセスの流れと手順を示す 本章の概要は以下の通りである 対象読者目的想定知識得られる知見等 (1) 開発技術者 (2) 開発プロジェクト管理者モデル検査における設計モデリングにおいて 最初に利用できる情報に応じて モデリングプロセスが分類されることを示し その中で典型的なアーキテクチャ情報に基づくモデリングプロセスについて具体的に示す

More information

目次 1. 目的 2. STPA の手順 3. エアバッグの要求仕様 4. Step 0 準備 1:Accident Hazard 安全制約の識別 5. Step 0 準備 2:Control Structure の構築 6. Step 1:UCA(Unsafe Control Action) の抽

目次 1. 目的 2. STPA の手順 3. エアバッグの要求仕様 4. Step 0 準備 1:Accident Hazard 安全制約の識別 5. Step 0 準備 2:Control Structure の構築 6. Step 1:UCA(Unsafe Control Action) の抽 STAMP/STPA 演習 ~ エアバッグの安全性分析 ~ 2017 年 9 月 22 日独立行政法人情報処理推進機構 (IPA) 技術本部ソフトウェア高信頼化センター (SEC) 石井正悟 目次 1. 目的 2. STPA の手順 3. エアバッグの要求仕様 4. Step 0 準備 1:Accident Hazard 安全制約の識別 5. Step 0 準備 2:Control Structure

More information

リソース制約下における組込みソフトウェアの性能検証および最適化方法

リソース制約下における組込みソフトウェアの性能検証および最適化方法 リソース制約下における組込みソフト ウェアの性能検証および最適化方法 広島市立大学 大学院情報科学研究科システム工学専攻 中田明夫倉田和哉百々太市 1 提案技術の概要 組込みシステムの開発 厳しいリソース制約 (CPU, ネットワークなど ) 非機能要求 ( リアルタイム性など ) の達成 開発プロセスにおける設計段階 性能問題を発見することが困難 実装段階で性能問題が発覚 設計の手戻りが発生 設計段階での性能検証手法

More information

TIS 株式会社のご紹介 会社概要 社名 設 立立 URL TIS 株式会社 (TIS Inc.) 昭和 46(1971) 年年 4 月28 日 事業 システム開発 金金融 製造 流流通 / サービス 公共 / 公益 通信 ソリューションサービス グローバル

TIS 株式会社のご紹介 会社概要 社名 設 立立 URL TIS 株式会社 (TIS Inc.) 昭和 46(1971) 年年 4 月28 日  事業 システム開発 金金融 製造 流流通 / サービス 公共 / 公益 通信 ソリューションサービス グローバル OSS 運 用 監視製品 10 製品の 比較検証結果のご紹介 +1 TIS 株式会社 戦略略技術センター 森元敏雄 Zabbix Conference Japan 2014 2014/11/21 TIS 株式会社のご紹介 会社概要 社名 設 立立 URL TIS 株式会社 (TIS Inc.) 昭和 46(1971) 年年 4 月28 日 http://www.tis.co.jp 事業 システム開発

More information

業務紹介 ソフトウェア品質コンサルティング業務 URL: ucts/consulting/index.html Process Technology 開発と改善の豊富な経験に基づく実践的なノウハウをご提供いたします コンサルティング実績 Peopl

業務紹介 ソフトウェア品質コンサルティング業務 URL:  ucts/consulting/index.html Process Technology 開発と改善の豊富な経験に基づく実践的なノウハウをご提供いたします コンサルティング実績 Peopl IEEE830-1998 に基づく 要件定義の実践 ~ 効率的なソフトウェア要求仕様書の作成手法の紹介 ~ NEC 通信システム組込システム事業本部組込システムソリューション事業部桑原賢一 業務紹介 ソフトウェア品質コンサルティング業務 URL:http://www.ncos.co.jp/prod ucts/consulting/index.html Process Technology 開発と改善の豊富な経験に基づく実践的なノウハウをご提供いたします

More information

士 人 月 革 月 鹿鹿 身 鹿鹿 立立 月 鹿鹿 士 人 立立 月 人 士 人 月 田 田 立立 士 一 入 月 士 谷 口 入 月 士 入 月 田 立立 士 子 入 月 立立 月 立立 立立

士 人 月 革 月 鹿鹿 身 鹿鹿 立立 月 鹿鹿 士 人 立立 月 人 士 人 月 田 田 立立 士 一 入 月 士 谷 口 入 月 士 入 月 田 立立 士 子 入 月 立立 月 立立 立立 士 人 月 立立 士 月 士 人 月 日 谷 士 鹿鹿 山 田 田 田 西 田 田 八 立立 立立 士 金金 金金 士 人 月 革 月 鹿鹿 身 鹿鹿 立立 月 鹿鹿 士 人 立立 月 人 士 人 月 田 田 立立 士 一 入 月 士 谷 口 入 月 士 入 月 田 立立 士 子 入 月 立立 月 立立 立立 日 士 士 自 自 士 1 2 3 4 5 6 7 8 9 金金 金金 n 行行 n 大

More information

4.7.4 プロセスのインプットおよびアウトプット (1) プロセスへのインプット情報 インプット情報 作成者 承認者 備 考 1 開発に関するお客様から お客様 - の提示資料 2 開発に関する当社収集資 リーダ - 料 3 プロジェクト計画 完了報 リーダ マネージャ 告書 ( 暫定計画 ) 4

4.7.4 プロセスのインプットおよびアウトプット (1) プロセスへのインプット情報 インプット情報 作成者 承認者 備 考 1 開発に関するお客様から お客様 - の提示資料 2 開発に関する当社収集資 リーダ - 料 3 プロジェクト計画 完了報 リーダ マネージャ 告書 ( 暫定計画 ) 4 サンプル : プロジェクト管理規定 4.7 プロジェクト立ち上げ 4.7.1 目的 本プロセスはリーダ主導で プロジェクト体制の確立とプロジェクト内容 分担 業務指示 プロジェクト目標 担当者別プロジェクト目標を開発メンバに周知徹底することによって 組織としての意識統一を図るとともに開発プロセスをスムーズに立ち上げることを目的とする 4.7.2 このプロセスにかかわる人物の役割と責務 部門 略記 参加

More information

Microsoft PowerPoint - 配布用資料.ppt

Microsoft PowerPoint - 配布用資料.ppt ソフトウェア設計プロセスの改革 オブジェクト指向導入による 生産性の向上 SEIKO EPSON CORPORATION BS 事業部 2006 6 28 開発対象製品の紹介 セイコーエプソン株式会社 BS 事業部 BS 事業推進部 TM( ターミナルモジュール ) のファームウェア開発 ( レシートプリンタ ラベルプリンタの開発 ) 業務用小型プリンタのファームウェア開発 レシート ラベル チェック

More information

競 合 分 析 から 得 られるもの (1) 競 合 各 社 のパフォーマンスが 把 握 できます 自 社 サイトと 競 合 サイトを 比 較 し 各 サイトのパフォーマンスはどうなっているか? 集 客 力 が 強 いのはどこ か?CV 率 (*1)が 高 いのはどこか?など 各 社 の 状 況 の

競 合 分 析 から 得 られるもの (1) 競 合 各 社 のパフォーマンスが 把 握 できます 自 社 サイトと 競 合 サイトを 比 較 し 各 サイトのパフォーマンスはどうなっているか? 集 客 力 が 強 いのはどこ か?CV 率 (*1)が 高 いのはどこか?など 各 社 の 状 況 の パネルデータを 用 いた 競 合 サイト 分 析 サービス 開 始 2013/02/13 株 式 会 社 アイ エム ジェイ 東 京 都 目 黒 区 青 葉 台 3-6-28 代 表 取 締 役 社 長 櫻 井 徹 パネルデータを 用 いた 競 合 サイト 分 析 サービス 開 始 株 式 会 社 アイ エム ジェイ( 本 社 : 東 京 都 目 黒 区 代 表 取 締 役 社 長 : 櫻 井 徹

More information

7 ソフトウェア工学 Software Engineering モデル検査 MODEL CHECKING 1 モデル検査の概要 並行システム : 相互排他, デッドロック, スタベーションなどの現象 入出力関係に着目した 停止性 + 部分正当性 のみでは正当性を言えない 振る舞い ( 途中の状態遷移

7 ソフトウェア工学 Software Engineering モデル検査 MODEL CHECKING 1 モデル検査の概要 並行システム : 相互排他, デッドロック, スタベーションなどの現象 入出力関係に着目した 停止性 + 部分正当性 のみでは正当性を言えない 振る舞い ( 途中の状態遷移 7 ソフトウェア工学 Software Engineering モデル検査 MODEL CHECKING 1 モデル検査の概要 並行システム : 相互排他, デッドロック, スタベーションなどの現象 入出力関係に着目した 停止性 + 部分正当性 のみでは正当性を言えない 振る舞い ( 途中の状態遷移 ) の考慮の必要性 behaviors モデル検査 : 有限状態遷移系の振る舞いの検証を自動で行う技術

More information

代表的なグループウェアとその特 長 2 サイボウズ Office Google Apps for Business Desknetʼ s iqube 特 長 中 小企業国内シェア No.1 パワフルなメール機能 低価格 ノウハウ蓄積に最適 価格 ( 月契約 ) 価格 ( 年年契約 ) ディスク容量量

代表的なグループウェアとその特 長 2 サイボウズ Office Google Apps for Business Desknetʼ s iqube 特 長 中 小企業国内シェア No.1 パワフルなメール機能 低価格 ノウハウ蓄積に最適 価格 ( 月契約 ) 価格 ( 年年契約 ) ディスク容量量 Copyright Since 2008 Social Groupware Co.Ltd. All rights reserved. グループウェア選定で悩んでいませんか? 1 本資料料では代表的なグループウェアと その特 長や選定のポイントをご紹介します 選定時の参考資料料としてご活 用ください 代表的なグループウェアとその特 長 2 サイボウズ Office Google Apps for Business

More information

目次 サービス概要 競合 比較 実績 価格

目次 サービス概要 競合 比較 実績 価格 属 人化しない 働きやすい組織を実現 社内ノウハウを蓄積するクラウド型グループウェア 株式会社ソーシャルグループウェア 目次 1 2 3 4 サービス概要 競合 比較 実績 価格 こんなことに悩まされていませんか? 1 社内に情報が分散し 必要な情報が属 人化している 聞きやすい 人に依頼や確認が集中してしまう 入社や異異動のたびに必要な情報を探さないといけなくなる スケジュールや議事録など共有するだけで終わり

More information

目次 作成手順 消費税申告書作成の流れ P4 申告共通情報登録 申告共通情報登録画面を表示する 申告共通情報を登録する 顧問先情報の登録内容を連動する 事務所情報の登録内容を連動する P5 P6 P14 P14 消費税申告データの作成 消費税申告書データを新規作成する P15 申告基本情報登録 申告

目次 作成手順 消費税申告書作成の流れ P4 申告共通情報登録 申告共通情報登録画面を表示する 申告共通情報を登録する 顧問先情報の登録内容を連動する 事務所情報の登録内容を連動する P5 P6 P14 P14 消費税申告データの作成 消費税申告書データを新規作成する P15 申告基本情報登録 申告 簡易マニュアル決算業務 ( 消費税申告書 ) Ver: 2014 年 7 月 26 日 目次 作成手順 消費税申告書作成の流れ P4 申告共通情報登録 申告共通情報登録画面を表示する 申告共通情報を登録する 顧問先情報の登録内容を連動する 事務所情報の登録内容を連動する P5 P6 P14 P14 消費税申告データの作成 消費税申告書データを新規作成する P15 申告基本情報登録 申告単位情報を登録する

More information

基本料料 金金 0 円! わかりやすい料料 金金設定でご提供する コーディング代 行行サービス! 頼れるコーディング代 行行 コーディングラボ のポイント 短納期 明朗料料 金金 JQuery 標準対応 柔軟な 修正対応 豊富な 制作対応 その他の 業務にも フル対応 標準納期 3 日 基本料料 金

基本料料 金金 0 円! わかりやすい料料 金金設定でご提供する コーディング代 行行サービス! 頼れるコーディング代 行行 コーディングラボ のポイント 短納期 明朗料料 金金 JQuery 標準対応 柔軟な 修正対応 豊富な 制作対応 その他の 業務にも フル対応 標準納期 3 日 基本料料 金 デザインや コンテンツができた後は 全ての作業をお任せください 頼れる コーディング代 行行 わかりやすい料料 金金設定でご提供する 基本料料 金金 コーディング代 行行サービス コーディングラボのご紹介 0円 基本料料 金金 0 円! わかりやすい料料 金金設定でご提供する コーディング代 行行サービス! 頼れるコーディング代 行行 コーディングラボ のポイント 短納期 明朗料料 金金 JQuery

More information

目次 1. 達人 Cubeに対する準備 2. 申告書作成の注意点 3. 法定調書合計表 ( 国税 ) の電子申告 4. 給与支払報告書 ( 地方税 ) の電子申告 2

目次 1. 達人 Cubeに対する準備 2. 申告書作成の注意点 3. 法定調書合計表 ( 国税 ) の電子申告 4. 給与支払報告書 ( 地方税 ) の電子申告 2 電子申告の達人 で行う 年調 法定調書の達人 の電子申告 < 国税 地方税申告編 > 東京地方税理士会データ通信協同組合 2017 年 12 月 1 目次 1. 達人 Cubeに対する準備 2. 申告書作成の注意点 3. 法定調書合計表 ( 国税 ) の電子申告 4. 給与支払報告書 ( 地方税 ) の電子申告 2 1. 達人 Cube に対する準備 1-1. アップデートの確認 1-2. データ管理の達人への事業者情報の登録

More information

C. Web ページから CSV ファイルをインポート 管理者メニューから 先生アイコンをクリックします CSV インポートボタンを押した後 確認画面がでます 内容を確認後 インポートを押して取り込みを行ってください 1 人づつ登録する場合 A. 先生一覧のボタンから 一人づつ登録することもできます

C. Web ページから CSV ファイルをインポート 管理者メニューから 先生アイコンをクリックします CSV インポートボタンを押した後 確認画面がでます 内容を確認後 インポートを押して取り込みを行ってください 1 人づつ登録する場合 A. 先生一覧のボタンから 一人づつ登録することもできます ロイロノート スクール名簿登録マニュアル 株式会社 LoiLo 2015 年 4 月 3 日 はじめに ロイロノート スクールをご利用頂くためには 予め先生 生徒名簿と 授業の情報をご登録いただく必要があります ご登録は 学校管理者アカウント にてサーバーへログインして行います このマニュアルでは その手順をご説明いたします 1. エクセルファイルをダウンロードする 名簿登録に使用するエクセルファイルを

More information

改正個人情報保護法の概要 と直近の動向 2016 年 9 月 5 日 FinTech 協会事務局

改正個人情報保護法の概要 と直近の動向 2016 年 9 月 5 日 FinTech 協会事務局 改正個人情報保護法の概要 と直近の動向 2016 年 9 月 5 日 FinTech 協会事務局 2 1 改正の経緯 (1) 個人情報を取り巻く環境の変化 (2) グレーゾーン問題 (3)SUICA 事件 (4) ベネッセ事件 (5) 海外の動向 1 改正の経緯 (1) 個人情報を取り巻く環境の変化 3 情報通信技術の飛躍的な進展 タブレット端末 スマートフォン等の普及 Facebook Twittert

More information

目次 はじめに マイナセキュリティとは? マイナドライブとは? マイナセキュリティの利利 用者について マイナセキュリティの利利 用フロー P3 P3 P4 P5 ログイン ID/ パスワードの受け取り 周知 ログイン ID/ パスワードの受け取り ログイン ID/ パスワードの周知 P6 P6 マ

目次 はじめに マイナセキュリティとは? マイナドライブとは? マイナセキュリティの利利 用者について マイナセキュリティの利利 用フロー P3 P3 P4 P5 ログイン ID/ パスワードの受け取り 周知 ログイン ID/ パスワードの受け取り ログイン ID/ パスワードの周知 P6 P6 マ スタートアップガイド マイナセキュリティ & マイナドライブ編 [ 事業者 用 ] Ver.2015 年 12 月 2 日 目次 はじめに マイナセキュリティとは? マイナドライブとは? マイナセキュリティの利利 用者について マイナセキュリティの利利 用フロー P3 P3 P4 P5 ログイン ID/ パスワードの受け取り 周知 ログイン ID/ パスワードの受け取り ログイン ID/ パスワードの周知

More information

はじめに

はじめに 日 本 薬 剤 師 会 が 構 築 中 の 電 子 お 薬 手 帳 について 自 民 党 I T 戦 略 特 命 員 会 社 会 保 障 に 関 す る 情 報 シ ス テ ム 小 委 員 会 ヒ ア リ ン グ 説 明 資 料 平 成 27 年 6 月 10 日 はじめに 本 会 とお 薬 手 帳 の 関 わり 平 成 8~9 年 都 道 府 県 や 地 域 の 薬 剤 師 会 が 中 心 となり

More information

アクセスセキュリティ_アクセスコントロール_管理者マニュアル

アクセスセキュリティ_アクセスコントロール_管理者マニュアル < アクセスセキュリティ > HDE アクセスコントロール管理理者マニュアル 1 目次 1. はじめに... 4 1.1. HDE アクセスコントロールで使 用する 用語... 4 2. HAC 管理理画 面... 6 2.1. ログイン URL... 6 2.2. 管理理画 面メニュー... 7 3. システム... 8 3.1. ドメインの設定... 8 3.1.1. ログイン画 面の設定...

More information

HIGIS 3/プレゼンテーション資料/J_GrayA.ppt

HIGIS 3/プレゼンテーション資料/J_GrayA.ppt 品質保証部における W モデル適用の検討と実践 2013/09/13 株式会社日立製作所情報 通信システム社 IT プラットフォーム事業本部開発統括本部プラットフォーム QA 本部ソフト品質保証部 富田貴仁, 秦泉寺貴文, 高山啓 0 品質保証部における W モデル適用の検討と実践 Contents 1. 章はじめに 2. 章現状の品質保証工程の分析 3. 章 Wモデルの適用の検討 4. 章実施と評価

More information

Java知識テスト問題

Java知識テスト問題 Java 知識テスト SDAS プログラマ(Java 編 ) 運営事務局 このテストは J2EE プログラマとしての Java の知識を評価するものです 問題は 30 問, テスト時間は J2EE 知識テストとあわせて 90 分です 問題は全て択一式です 選択肢から 1 つだけ選択してください 資料の閲覧は禁止です テストが終わり次第 答案用紙を提出していただいてかまいません テスト終了後, 本テストの内容を他の方に話さないでください

More information

Microsoft PowerPoint - 04_01_text_UML_03-Sequence-Com.ppt

Microsoft PowerPoint - 04_01_text_UML_03-Sequence-Com.ppt システム設計 (1) シーケンス図 コミュニケーション図等 1 今日の演習のねらい 2 今日の演習のねらい 情報システムを構成するオブジェクトの考え方を理解す る 業務プロセスでのオブジェクトの相互作用を考える シーケンス図 コミュニケーション図を作成する 前回までの講義システム開発の上流工程として 要求仕様を確定パソコンを注文するまでのユースケースユースケースから画面の検討イベントフロー アクティビティ図

More information

佐 賀 県 における 鳥 獣 による 農 作 物 被 害 金 額 の 推 移 百 万 円 800 700 600 7.0 億 円 鳥 獣 全 体 H25 鳥 獣 全 体 2.0 億 円 (100) うち イノシシ 1.1 億 円 ( 54) カラス 0.5 億 円 ( 22) 500 400 4.2

佐 賀 県 における 鳥 獣 による 農 作 物 被 害 金 額 の 推 移 百 万 円 800 700 600 7.0 億 円 鳥 獣 全 体 H25 鳥 獣 全 体 2.0 億 円 (100) うち イノシシ 1.1 億 円 ( 54) カラス 0.5 億 円 ( 22) 500 400 4.2 耕 作 放 棄 地 再 生 利 用 緊 急 対 策 担 当 者 会 資 料 平 成 26 年 6 月 30 日 生 産 者 支 援 課 中 山 間 地 域 鳥 獣 対 策 担 当 1 1. 有 害 鳥 獣 対 策 1 佐 賀 県 における 鳥 獣 による 農 作 物 被 害 金 額 の 推 移 百 万 円 800 700 600 7.0 億 円 鳥 獣 全 体 H25 鳥 獣 全 体 2.0 億 円

More information

LSD2014_manual.ppt

LSD2014_manual.ppt 1 ライフサイエンス 辞 書 2014のご 案 内 ライフサイエンス 辞 書 の 基 本 的 な 使 い 方について 次 の 順 にご 紹 介 します 1. パソコン 設 定 2. オンライン 辞 書 3. プロジェクト 紹 介 まずインターネットで http://lsd-project.jp/ に 接 続 しましょう 辞 書 ダウンロードページ 2 ホームページ 右 端 にある ダウンロード をクリッ

More information

事前準備 1. Visual Studio Community 2013 または Professional 以上のエディションのインストール 2. Android スマートフォンへの任意の QR コードリーダーアプリのインストール 3. アプリ素材のダウンロード

事前準備 1. Visual Studio Community 2013 または Professional 以上のエディションのインストール 2. Android スマートフォンへの任意の QR コードリーダーアプリのインストール 3. アプリ素材のダウンロード 実践! クロスプラットフォーム モバイルアプリ開発 アシアル株式会社 生形可奈奈 子 1 事前準備 1. Visual Studio Community 2013 または Professional 以上のエディションのインストール 2. Android スマートフォンへの任意の QR コードリーダーアプリのインストール 3. アプリ素材のダウンロード http://bit.ly/1v3n97e 2

More information

Microsoft PowerPoint - ETEC-CLASS1資料 pptx

Microsoft PowerPoint - ETEC-CLASS1資料 pptx 組込みソフトウェア技術者試験 クラス 1 試験概要 2015 年 9 月 1 日試験開始! 2015 年 8 月 1 ETEC とは ETSS 準拠のスキル測定試験 組込みソフトウェア技術者試験クラス 2 ( 以下 ETEC クラス 2 ) 人材像 : 初級実務者 担当としてしっかりものを作れる 組込みソフトウェア技術を中心とした実装技術 スキルレベル1~2を測定 組込みソフトウェア技術者試験クラス1

More information