Wikipedia preview
出典(authority):フリー百科事典『ウィキペディア（Wikipedia）』「2015/09/05 20:29:11」(JST)
wiki ja
UpToDate Contents
全文を閲覧するには購読必要です。 To read the full text you will need to subscribe.
- 1. 骨髄炎の疑いがある状況での画像検査法 approach to imaging modalities in the setting of suspected osteomyelitis
- 2. 非ST上昇型急性冠症候群における抗血小板薬 antiplatelet agents in acute non st elevation acute coronary syndromes
- 3. 急性冠症候群が疑われる患者における非侵襲的イメージングおよび負荷試験 noninvasive imaging and stress testing in patients with suspected acute coronary syndrome
- 4. 冠動脈疾患の核イメージングによる心筋生存能の評価 assessment of myocardial viability by nuclear imaging in coronary heart disease
- 5. 黒色腫（メラノーマ）の画像検査 imaging studies in melanoma
Japanese Journal
- アダプタを用いたnon-EPC システムとEPCIS の連携
- 横石 雄大,佐藤 友紀,三次 仁
- 情報処理学会研究報告. UBI, [ユビキタスコンピューティングシステム] 2013-UBI-38(42), 1-3, 2013-05-09
- EPCglobal アーキテクチャは汎用的な ID 情報プラットフォームの国際標準である。しかし、この標準は個品や梱包等を個体識別する識別子 (EPC) を前提に考案されているため、在庫管理単位 (SKU) が EPC とは異なるコマースシステムや在庫管理システムなどの non-EPC システムと連携させるためには商品カテゴリコードと EPC の連携機能が必須である。そこで本稿では、商品カテゴリコ …
- NAID 110009579758
- 組込みソフトウェアのモデル検証
- 本間洋光 ,齋藤理 ,新村祐太 ,力武克彰
- 全国大会講演論文集 2013(1), 497-499, 2013-03-06
- 近年,組込みソフトウェアの開発にUMLが広く用いられるようになってきている.UMLはソフトウェアの全体像の把握を容易にする一方で,書いたモデルの厳密な検証を前提にしておらず,モデルの正しさを示すことが困難である.さらに頻繁に更新され続ける各図間のトレーサビリティーを保ち続けることは大きな負担になる.そこで,離散数学を基盤にした検証でソフトウェアの信頼性を向上させる形式手法とUMLモデルを組み合わせ …
- NAID 110009580449
- 要求仕様と設計の機能要件のトレーサビリティを保持する為のWebアプリケーション設計手法の評価
- 奥田博隆 ,小形真平 ,松浦佐江子
- 全国大会講演論文集 2013(1), 441-443, 2013-03-06
- モデル駆動開発は高品質なソフトウェア開発の為に欠かせない。我々は、UMLによるモデル駆動要求分析手法の提案をしてきた。その手法では、インタラクティブなシステムを対象として、UMLからWebUIプロトタイプの自動生成を通し、入出力データとページ遷移の妥当性を確認した。しかし、妥当性の確認されたモデルから系統的に実装技術にマッピングする手法は明確となっていなかった。そこで、Webのフレームワークのメタ …
- NAID 110009580422
Related Pictures
★リンクテーブル★
| リンク元 | 「トレーサー」 |
| 拡張検索 | 「トレーサビリティ」「二重トレーサ法」 |
| 関連記事 | 「トレー」 |