MDA利用はオブジェクト指向技術の理解が不
オブジェクト指向を用いた自動車用組込みソフトウェアの安全化設計
... 9. まとめ 本研究では自動車組込みソフトウェアの設計・開発段階 においてオブジェクト指向技術を導入し，安全性を向上す る設計方法を提案した．モデルとしてマイクロマウスを使用 し，パッシブセーフティ，アクティブセーフティの両面から 安全性の向上を図った．安全性向上機能の評価方法として ...
4
2.1 伝統的な非 ARC による Objective-C プログラムの記述例複数のオブジェクトから参照されるオブジェクトは, それを使用中の全てのオブジェクトからの参照がなくなるまで寿命を保たねばならない. オブジェクトの寿命の管理は, オブジェクトを生成した主体が廃棄にも責任を持つ Owners
... iOS の Objective-C，Android の Java， Windows の C#，クラウド Google App Engine の Python 等を含む 14 の言語を生成 する能力を有するため人気が高い．Facebook，Evernote，Cassandra 等のスマート ...
8
JAIST Repository: 振舞い近似手法を用いたステートチャートに対する不変性の検証(オブジェクト指向技術)
... tr はトレース を表し ，これは本研究における TSE と等しい概念を 表している．また， αT は， T が受理できるアクショ ンの集合を表している．つまり，性質オートマトンで 受理できないトレ ースが存在しないことが安全性の 検証である．そして，このような安全性の検証を可達 ...
14
ぺた語義：オブジェクト指向設計ワンポイントアドバイス
... ジネス系のシステム開発と異なり，考慮するべき制約 が多いため，モデル化は容易ではなく，必然的に，要 素技術主導でかつ現物合わせで作り込む開発スタイル が主流となる．つまり，プログラミングして動かしな がら試行錯誤的に開発を行い，「最終的に動いたもの」 が仕様となり，それを量産のソフトウェアとして出荷 ...
5
JAIST Reposi Title オブジェクト指向言語における変数とデータの関係を 理解するためのワークベンチ Author(s) 三浦, 元喜 ; 杉原, 太郎 ; 國藤, 進 Citation 情報処理学会論文誌, 50(10): Iss
... AG が対象とする利用者は，変数や計算手順の概 念は理解しているが，配列をはじめとするデータ構造や上記プログラミング言語における 具体的なデータ処理方法を修得していない学習者である． AG ではソースコードを直接編集 することなく，型 / 変数 / データやリンクを GUI 上で操作することにより，対応するソース ...
14
第 1 章 Java 言語について ( オブジェクト指向, 変数の扱い方, 繰り返し条件と条件分岐 ) Java 言語の概要とオブジェクト指向, 変数の扱い方, 繰り返し条件と条件分岐について理解し, プログラム作成を行う 1.1 Java 言語の概要 JAVA は Sun Microsystems
... (1) マルチプラットホーム マルチプラットホーム（multi-platform）とは，ブログラミングが特定 OS に依存せず，複数の OS に対応していること。本来，プログラム実行は OS に依存する。Windows 用に開発したプ ログラムは WindowsOS 上のみで動作する。 JAVA はマルチプラットホームの実現により， ...
17
JAIST Repository: COE Research Monograph Series， Vol. 1 : オブジェクト指向理論によるファイアーウォールサーバの検証
... Java の public, private といったカプセル化の概念もこの体系には存在 しない．その他，抽象メソッド，インターフェースなどの概念も存在しない． しかし，この体系がこのような利便性を備えていなくても，本来の目的である定理証明 ...
201
目 次 オブジェクト指向 1 3 オブジェクト指向 2 9 二分探索 14 二次元配列 16 ソート 18 ArrayList 25 解答 27 2
... 問 14．プログラムの説明を読んで、プログラムの（ ）を答えなさい。 ＜プログラムの説明＞ 処理内容 二次元配列を用いて「Ｚ」の模様を 「Ｎ」になるように表示する。 入力データ ...
27
オブジェクト指向プログラミングの効果的学習順序の検討ープログラミング講習会での実践をもとにー
... なわち後回しにして、プログラミングに慣れることを先行させ、その後でオブジェクト指向 の考え方を学習するという順序（本稿では ABC と表記）で構成されており、これらのテキ ストを用いた場合、学習順序もこれに準じたものになる。本コースにおける実践から得られ ...
15
経済シミュレーション技法(3) : エージェントベースモデルとオブジェクト指向プログラミング
... ちなみに，筆者は５年以上応用一般均衡モデルのコンピュータシミュレー ションをおこなってきたが，ソースが公開されているモデルは非常に少なか った。つまり，モデルの再現性というものがほとんど保証されていないのに も関わらず，その結果があたかも間違いがない正答だと信じることをわれわ ...
30
オブジェクト指向を用いた組込みシステムタスクモデリングに関する研究
... 各タスクへの入力を分析した結果，通常シナリオにおけ る CC レバーと各周期監視のタスクから CruiseControl タスク への入力で競合可能性が確認された．これらの競合は実 装レベルにおけるセマフォの導入で入力の相互排他性を 保証，もしくはメールボックスによるメッセージのキューイン ...
4
情報メディア基盤ユニット用資料 (2015 年 7 月 14 日分 ) Processing 言語による情報メディア入門 はじめに オブジェクト指向入門 神奈川工科大学情報メディア学科 近のプログラミング言語では オブジェクト指向 (object 最 oriented) と呼ばれる機能を持っているも
... 12-12 の場合には、http://mrfeinberg.com/peasycam/ の download から zip ファイルをダウロード（2015 年 7 月 9 日時点で ...を使っていない環境であれば、Processing の機能を利用して （Sketch > Import ...
22
オブジェクト指向技術を取り入れたモデルベース開発の提案
... 表 1 にケーススタディのブロック線図作成数とシミュレー ション回数，修正箇所数をまとめた．表 1 から，階層の増加 に伴い作成が必要なブロック線図とシミュレーション回数が 増加すると予想できる．しかし修正数に着目すると上位の 層ほど修正が少ないことが分かる．実際に修正を加えた箇 ...
4
JAIST Repository: オブジェクト指向方法論のための検証支援環境に関する研究
... : オブジェクト指向方法論、分析モデル、検証、状態遷移図、計算機支援 . 近年、計算機の急速な発展と計算機利用の増加に伴い、開発するシステムが大規模になっ てきている。そのようなシステム開発に対して、様々なオブジェクト指向方法論が提案さ ...
3
今回の内容 グラフとオブジェクト指向プログラミング Java を使う理由 Java の基本 Javaのライブラリ 開発 実行 クラスの再利用 クラス継承 抽象クラス 開発の要点
... StudentRecord.java package StudentSample; import java.util.. ArrayList ; import java.util.[r] ...
34
オブジェクト指向プログラミング技術に基づいた教育用社会シミュレータの試作
... 購入意思決定プログラム改良版（1） def kaimasuka （shop） ＃最初の購1入確率は5腸 ＃定価のo．8倍よりも売値が安い？ if shohin．hyoゴun ★ 0．8 ＞ shohin．urine p＝p 20 ＃購入確立2腸上昇 end if rand（100）＜ p return貝り else return“買わない”[r] ...
7
JAIST Repository: オブジェクト指向言語における変数とデータの関係を理解するためのワークベンチ
... られた．また変数とオブジェクトの関係理解能力とプログラム作成能力との相関が高いこと が明らかとなり， AG がプログラム作成能力を向上する可能性が示された． システム改良としては，ハッシュや 2 分木などのデータ型や，変数側からのメソッド呼び ...
14
2004/11/23 オブジェクト指向プログラミング - モデル図とシーケンス図の表現方法 - オブジェクト指向プログラミング (OOP:ObjectOrientedPrograming) オブジェクト指向プログラミング言語 (OOPL) Java,C++,Delphi(Pascal),Visual
... オブジェクト指向に基づきプログラムの開発を行う場合では，これまでの手続き型のプログラム作成で持ちられて きた PDL やフローチャートはほとんど利用されない。 プログラムや処理の流れを表現する記述方法（図）として、いくつかの図が提案されている。 ...
9
ゴール インターネットの動作原理を理解する インターネットは様々な技術が連携して動作する 家族に聞かれて説明できるように主要技術を理解する
... 課題(4) 到達性の確認 2台のPCをUTPケーブルを用いて接続し、それぞれの PCのIPアドレスを設定しなさい。また、お互いが通信 できることをpingを利用して確認しなさい。加えて、接 続されたPC以外のIPアドレスでは通信できないことを 確認しなさい。 ...
45
6 情報指向ネットワーク 情報指向ネットワークがもたらす可能性と研究課題 朝枝仁 情報指向( またはコンテンツ指向 ) ネットワーク :Information/Content-Centric Networking (ICN/CCN) は コンテンツ名を通信の識別子として利用することで所望のコンテンツ
... video.mpg/_v<timestamp>/_segnum のように表現さ れ、 “/”で区切られたプレフィックスに対する経路を 各ルーターが持つことで、コンテンツを保持（キャッ シュ）する経路上のルーターなどからコンテンツ取得 が可能となる。このプレフィックスでは、URL に似 た名前構造、つまり現在のインターネットで用いられ ...
5