形式仕様記述言語LOTOSの試用経験

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人情報処理学会の論文
• 1990-10-15

著者

• 大蒔 和仁

  電子技術総合研究所

• 二木 厚吉

  電子技術総合研究所 ソフトウェア部言語処理研究室

• 大蒔 和仁

  電総研

• 二木 厚吉

  電子技術総合研究所

関連論文

• 第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の役割とこれからの日本--日本がトップに立つために (これからの高度情報化社会を支える情報技術標準)
• オペレーティング・システム、データベース・システム、プログラミング言語の役割と接点
• 高階論理を使ったオブジェクト指向データベースのモデル化
• 実行可能仕様に基づく変換プログラミング (<特集>ソフトウェア工学の現状と動向)
• 項書き換え型計算モデルとその応用 (非手続き型プログラミングのための計算モデル)
• プログラミング方法論の展望
• 再帰サブルティンにおけるパラメタの数について (計算機科学の数学的基礎)
• A.V.Aho, J.E. Hopcroft, J.D.Ullman 著, "The Design and Analysis of Computer Algorithms", Addison-Wesley 社, Reading, Mass., B5 変形判, 470p, \6,310, 1974
• 複数画面をもつプログラミング環境MDPS
• アクティブデータベースの動作解析のためのプロセス代数の開発
• プロセス代数によるプロセス生成機能をもつ並行システムの解析
• 離接演算子をもつLOTOS仕様における偶発性
• 離接演算子をもつLOTOS仕様における偶発性
• 準弱双模倣性をもとにした仕様の段階的合成方法
• 準弱双模倣性をもとにした仕様の段階的合成方法
• 準弱双模倣性をもとにした仕様の段階的合成方法(並列・分散)
• グレイド付き空間プロセス代数による近似解析 ( ソフトウェア工学の基礎)
• 受信者数を考慮したブロードキャストシステムのためのプロセス代数 (ソフトウェア工学の基礎)
• 現実の並行システムへのプロセス代数の応用 : 経験と課題
• 分散オブジェクト指向UIMSの実行時アーキテクチャの設計と実現
• 言語システムのためのユ-ザインタ-フェ-ス生成システム (電子計算機相互運用デ-タベ-スシステム)
• プロセス代数モデルに基づく並行オブジェクト指向言語の意味定義
• プログラム図式を用いたプログラム開発教育環境
• 高階論理を使ったオブジェクト指向データベースのモデル化
• 論理型オブジェクト指向データベースF-logicの実装と基本概念への考察
• 精密ソフトウェア工学のすすめ
• ソフトウェアにおける信頼性 (高信頼化技術)
• LOTOSに基づくプロトコルの形式記述 (電子計算機相互運用デ-タベ-スシステム)
• 形式仕様記述言語LOTOSの試用経験
• 「事業に活きる我が国発の標準化」特集号について (事業に活きる我が国発の標準化)
• 中尾氏インタビュー 標準によって半年かかっていたことが1ヶ月でできるようになるんです
• 「事業に活きる標準化の力」特集号について (特集 事業に活きる標準化の力)
• もっと戦略的になろう (インタラクティブ・エッセイ)
• いまどきのプロジェクト (インタラクティブ・エッセイ)
• 特集「ネット指向パラダイムを求めて」の編集にあたって
• プルーバブル情報ベース技術の確立を目指して
• プログラム合成/変換特集の編集にあたって (プログラム合成/変換)
• 特集「非手続き型プログラミングのための計算モデル」の編集にあたって
• シリコンバレー流基礎研究所の作り方 : Stanford大学のCSLI
• An Extended Iteration Statement and Its Computability (Studies on Computational Complexities and Related Topics)
• エージェントの合成を検証するための非インターリービング時間付プロセス代数とプロセス論理
• 真の並行プロセス代数のための決定可能な局所プロセス論理
• 真の並行プロセス代数のためのプロセス論理における充足可能性の決定不能性
• 分散システムのためのプロセス論理の充足可能性判定ツール
• 論理的な仕様から分散システムを合成する方法の検討
• A-12-1 分散システムを段階的に合成するための形式的仕様記述言語
• プロセス論理演算子をもつプロセス代数
• 7-333 産学連携による学生の実践力向上に向けた教育プログラムの開発((17)産学連携教育-II,口頭発表)
• ソフトウェア作成技術
• 「事業に活きる我が国発の標準化」特集号について
• 「事業に活きる標準化の力」特集号について

もっと見る 閉じる

スポンサーリンク