プロセス・モデリングと高信頼性システム

スポンサーリンク

概要

• 論文の詳細を見る

• ソフトウェア工学において、形式的な方法の応用は高信頼性システムの開発に非常に有用である。しかし今日まで、形式的な方法に基ずいたプロセスが完成された例はまだ報告されていない。本論文では、プロセス・モデリングの一般的な技法を調べた上で、高信頼性システムを開発するための形式的な方法に基ずいた機能的安全性を保証するインタラクティブ開発プロセスを提案する。

• 一般社団法人情報処理学会の論文
• 1995-09-08

著者

• Sun Yong

  Department Of Burns & Plastic Surgery Beijing Ji-shui-tan Hospital

• 大場 充

  広島市立大学情報科学研究科

• 大場 充

  広島市大

• 劉 少英

  広島市立大学情報科学部

• 大場 充

  広島市立大学

• Sun Yong

  Department Of Computer Science The Queen's University Of Belfast

• 劉 少英

  広島市立大学 情報科学部 情報数理学科

• Sun Y

  Toshiba Res. Europe Ltd. Bristol Gbr

• Sun Yong

  Department of Applied Science for Integrated System Engineering, Graduate School of Engineering, Kyushu Institute of Technology

関連論文

• 第2回アジア太平洋ソフトウエア工学国際会議(APSEC'95)報告
• The Extensive Burns Treatment in China
• N-025 3×3分割表を用いたテスト項目関連構造の分析(教育・人文科学,一般論文)
• 時相論理式を満足する実時間プロトコル仕様のパラメータ条件導出
• 時相論理式を満足する実時間プロトコル仕様のパラメータ条件導出
• パネル討論会 : ソフトウェアメトリクスの現状と課題 : 昭和58年前期第26回全国大会報告
• 一定次数のオーバレイネットワークにおける最適経路長の経路決定方法の考察(分散処理,シームレスコンピューティングとその応用技術)
• M_032 ミラー・レービン素数判定アルゴリズムの高速化(M分野:アーキテクチャ・ユビキタス・セキュリティ)
• 電子自治体の構築・運用に関する実態調査と地域別特徴分析
• 分散環境における協調的問題解決支援に関する実験
• 自治体行政情報システム導入へ向けての検討事例
• 自治体行政情報システム導入へ向けての検討事例(「マルチメディアサービスのニーズの研究-個人・家庭ニーズ研究の最前線」)
• 地域情報化のニーズ(「マルチメディアサービスのニーズの研究-個人・家庭ニーズ研究の最前線」)
• 学習する組織 : ソフトウェア・プロセス改善に基づく組織の継続学習
• ソフトウェアCALS : なぜインターネットのソフトウェア調達への利用か?
• プロセス・モデリングと高信頼性システム
• プロセス・モデリングと高信頼性システム
• L-024 認証手続きを効率化する3つ組暗号の改善(L分野:ネットワーク・セキュリティ,一般論文)
• 「情報処理最前線」ソフトウェアCALS実証実験の概要と1年目の成果
• 1.ソフトウェアCALS実証実験の成果と今後の展望(ソフトウェアCALS実証実験報告, いよいよ実用化へ)
• 大特集「新しプログラミング環境」の編集にあたって (<大特集>新しいプログラミング環境)
• Void free at Interface of the SiC Film and Si Substrate
• Conversion of Si(100) to Si_Ge_xC_y Alloy by Hydrogen Plasma Containing Ge and C Species
• Growth of 3C-SiC on Si Substrate with Ge_C_ Buffer Layer : Semiconductors
• Influence of Oxygen on Formation of Hollow Voids at SiC/Si Interface : Semiconductors
• Fabrication of Nanoscale Cubic SiC Particle Film
• Compositional Changes of SiC/Si Structure during Vacuum Annealing
• Activation Energy of Nanoscale 3C-SiC Island Growth on Si Substrate
• Influence of SiC Cover Layer of Si Substrate on Properties of Cubic SiC Films Prepared by Hydrogen Plasma Sputtering
• Infrared Absorption Properties of Nanocrystalline Cubic SiC Films
• Behaviors of Carbon at Initial Stages of SiC Film Grown on Thermally Oxidized Si Substrate
• Observation of the Formation Processes of Hollow Voids at the Interface between SiC Film and Si Substrate
• Low-Temperature Growth of Oriented Silicon Carbide on Silicon by Reactive Hydrogen Plasma Sputtering Technique
• Study of Hydrogen Ion Bombardment Effect on the Growth of Si:H Films Prepared by Hydrogen Plasma Sputtering of Silicon
• Study of the Growth Mechanism of Nanocrystalline Si:H Films Prepared by Reactive Hydrogen Plasma Sputtering of Silicon
• Temperature-Dependent Reaction of rf Hydrogen Plasma with Silicon
• Study of Sputtering Mechanism of Silicon with Hydrogen Plasma Controlled by Magnetic Field
• 2.広域分散環境におけるソフトウェア契約フェーズの実証実験(ソフトウェアCALS実証実験報告, いよいよ実用化へ)
• Thickness and Stress Polarity Effects on the Reliability of the Low Thermal Budget Polyoixdes : Semiconductors
• Induction of Differentiation by Panaxydol in Human Hepatocarcinoma SMMC-7721 Cells via cAMP and MAP Kinase Dependent Mechanism
• 実時間システムのパラメータ制約自動導出およびITSへの応用
• Room-Temperature Synthesis of ZnS:Mn Films by H_2 Plasma Chemical Sputtering
• Growth Temperature Dependence of μc-Si:H Films Sputtered with Hydrogen Gas
• Comparison of the Characteristics of Polyoxides Grown by Thermal, Rapid Thermal Oxidation, and Tetraethylorthosilicate Deposition Methods
• Properties of Charge Carrier Transport in Au/Phenyl C61 Butyric Acid Methyl Ester/Au Structure
• Efficient Wavelet-Based Image Retrieval Using Coarse Segmentation and Fine Region Feature Extraction(Image Processing and Video Processing)
• 電子政府推進員の役割と期待 (特集 電子政府の推進--現場・草の根からのアプローチ)
• Improvement of Annealing Properties of SiC/Si Structure
• Characterization of Stress in Porous Silicon Films Prepared by Reactive Hydrogen Plasma Sputtering Technique
• Stress Release Behaviors of Amorphous SiC/Si Structure during Annealing : Semiconductors
• Loss Behaviors of Si Substrate during Growth of the SiC Films Prepared by Hydrogen Plasma Sputtering
• Plasma Etch Void Formed at the SiC Film/Si Substrate Interface
• The Effect of the Growth Temperature on Polyoxide by Rapid Thermal Processing
• An Abnormal Temperature Dependence of Conductivity in Fullerene Solids
• Epitaxial Growth of Cubic SiC Film on Si Crystal with Curved Surface
• 2-B-11 利用率を考慮した分散環境におけるサービス最適配置法の研究(離散最適化(7))
• 車車間通信における自律分散型認証手法の提案

もっと見る 閉じる

スポンサーリンク