精密ソフトウェア工学のすすめ
スポンサーリンク
概要
- 論文の詳細を見る
ソフトウェアクリーンルーム手法を始めとする形式的アプローチ, 計算の論理, 正しい仕様・プログラム等を話題としてとりあげ, ソフトウェア工学の罪・罠・心・夢などについて語り合う.「精密ソフトウェア工学(Precision Software Engineering」という新しいパラダイムは, このパネルの一つのメッセージとして位置付けられている.
- 一般社団法人情報処理学会の論文
- 1998-03-10
著者
-
大蒔 和仁
電子技術総合研究所
-
大槻 繁
日立製作所技術研修所
-
玉井 哲雄
東京大学大学院総合文化研究科広域システム専攻
-
玉井 哲雄
東大
-
大蒔 和仁
電総研情報ベース研究室
-
大槻 繁
(株)エクイティ・リサーチ
-
金藤 栄孝
日立
-
大槻 繁
日立
-
大槻 繁
株式会社一(いち)
-
大蒔 和仁
電総研
-
大蒔 和仁
産業技術総合研究所
-
大蒔 和仁
電子技術総合研究所情報アーキテクチャ部
-
金藤 栄孝
株式会社日立製作所システム開発研究所
関連論文
- 第1回アジア太平洋ソフトウェア工学国際会議(APSEC'94)報告
- 第1回アジア太平洋ソフトウェア工学国際会議(APSEC'94)報告
- 第1回アジア太平洋ソフトウェア工学国際会議(APSEC'94)報告
- LIpS : 際標準に基づく形式的仕様記述LOTOSの支援環境(3) : 抽象データ記述の処理[INTAP研究開発委員会プロトコル形式記述WG]
- LIpS : 際標準に基づく形式的仕様記述LOTOSの支援環境(2) : 中間言語 Arbalotos[INTAP研究開発委員会プロトコル形式記述WG]
- LIpS : 国際標準に基づく形式的仕様記述LOTOSの支援環境(1) : 設計概要[INTAP研究開発委員会プロトコル形式記述WG]
- 仕様記述過程モデル化のための実験と分析
- Stepwise Synthesis of Partial Specifications preserving Strong $(\Omega_1,\Omega_2)$-Equivalence(Concurrency Theory and Applications '96)
- 特集「ソフトウェア開発における仕様記述法とその適用」の編集にあたって
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- 情報社会におけるJTC1の役割とこれからの日本--日本がトップに立つために (これからの高度情報化社会を支える情報技術標準)
- オペレーティング・システム、データベース・システム、プログラミング言語の役割と接点
- 高階論理を使ったオブジェクト指向データベースのモデル化
- 標準構造に基づく系統的ソフトウェア設計法 (プログラム設計技法)
- 企業における上級ソフトウェア技術者養成のための実践訓練コースSEP開発と評価
- ソフトウェア開発プロセスを支援するデータベースの一方式
- システム理解のための分散システムアーキテクチャの抽出
- 再構築のためのソフトウェア解析アプローチ
- 江戸町人地に関する研究
- 複数画面をもつプログラミング環境MDPS
- アクティブデータベースの動作解析のためのプロセス代数の開発
- プロセス代数によるプロセス生成機能をもつ並行システムの解析
- プロセス代数によるアクティブデータベースの扱いについて
- 離接演算子をもつLOTOS仕様における偶発性
- 離接演算子をもつLOTOS仕様における偶発性
- 準弱双模倣性をもとにした仕様の段階的合成方法
- 準弱双模倣性をもとにした仕様の段階的合成方法
- 準弱双模倣性をもとにした仕様の段階的合成方法(並列・分散)
- グレイド付き空間プロセス代数による近似解析 ( ソフトウェア工学の基礎)
- 受信者数を考慮したブロードキャストシステムのためのプロセス代数 (ソフトウェア工学の基礎)
- 現実の並行システムへのプロセス代数の応用 : 経験と課題
- 分散オブジェクト指向UIMSの実行時アーキテクチャの設計と実現
- 分散オブジェクト指向UIMSの実行時ア-キテクチャの設計と実現 (柔構造情報処理方式に関する研究)
- 言語システムのためのユ-ザインタ-フェ-ス生成システム (電子計算機相互運用デ-タベ-スシステム)
- 高階論理を使ったオブジェクト指向データベースのモデル化
- 論理型オブジェクト指向データベースF-logicの実装と基本概念への考察
- 精密ソフトウェア工学のすすめ
- Many-sorted Propositional Dynamic Logic for Parallel Processing Environment
- 大規模LANの稼働実態とその解析
- ソフトウェアにおける信頼性 (高信頼化技術)
- 並列処理コンパイラの設計と評価
- ソフトウェア経済学 : マネジメントのためのコスト・価値・価格の考え方(キーノート1)
- 知識主導社会へ向けての上級ソフトウェア技術教育
- (114) 知識主導社会へ向けての上級ソフトウェア技術教育 : 日立のソフトウェアエンジニアリングプロジェクト教育の試み(第29セッション 企業内における技術者教育・管理者教育(3))
- 上級ソフトウェア技術者の教育手法 : ソフトウェア・ハット
- 情報蓄積型ソフトウェア・システムにおいて安定した仕様を構築する一方法
- ソフトウェア設計支援システムMDL/MDAにおける設計仕様構造とプログラミング言語との対応関係についての一考察
- ソフトウェア設計支援システムMDL/MDAにおける複数仕様間操作の一方式
- LOTOSに基づくプロトコルの形式記述 (電子計算機相互運用デ-タベ-スシステム)
- 形式仕様記述言語LOTOSの試用経験
- 「事業に活きる我が国発の標準化」特集号について (事業に活きる我が国発の標準化)
- 中尾氏インタビュー 標準によって半年かかっていたことが1ヶ月でできるようになるんです
- 「事業に活きる標準化の力」特集号について (特集 事業に活きる標準化の力)
- もっと戦略的になろう (インタラクティブ・エッセイ)
- いまどきのプロジェクト (インタラクティブ・エッセイ)
- 特集「ネット指向パラダイムを求めて」の編集にあたって
- プルーバブル情報ベース技術の確立を目指して
- 有限状態機械に基づくプログラミングでのgoto文使用の是非 : Hoare論理の観点から(プログラミングの理論)
- 多重ループからの脱出でのgoto文の是非 : Hoare理論の観点から(プログラミング方法論とパラダイム)
- 不等式を持つデータ型の性質
- 86-38 型理論に関する3つのアプローチ
- エージェントの合成を検証するための非インターリービング時間付プロセス代数とプロセス論理
- 真の並行プロセス代数のための決定可能な局所プロセス論理
- 真の並行プロセス代数のためのプロセス論理における充足可能性の決定不能性
- 分散システムのためのプロセス論理の充足可能性判定ツール
- 論理的な仕様から分散システムを合成する方法の検討
- A-12-1 分散システムを段階的に合成するための形式的仕様記述言語
- プロセス論理演算子をもつプロセス代数
- 特集「ソフトウェア工学の基礎」の編集にあたって ( ソフトウェア工学の基礎)
- プロジェクトプログラミングについて
- アプリケーション・ソフトウェア・システムの要求仕様決定方法
- 実行可能知識のデザインプロセス : 創造的ソフトウェア開発プロセスΛVモデル(デザイン思考)
- 7-333 産学連携による学生の実践力向上に向けた教育プログラムの開発((17)産学連携教育-II,口頭発表)
- ソフトウェア作成技術
- 80-08 述語変換子のいくつかの性質
- 「事業に活きる我が国発の標準化」特集号について
- 「事業に活きる標準化の力」特集号について