仕様記述言語PAISLeyの適用検討

スポンサーリンク

概要

• 論文の詳細を見る

• 宇宙機塔載用ソフトウェアに対して、ATT社の実行可能仕様記述言語PAISLey(Process orisntsd Applicative and InterpretabIe Specification Language)を適用することを検討した。PAISLeyの記述実験を通して有効性を確かめた後、長時間実行を想定し、出力データの圧縮と伸長の方法の検討とその実現を行なったので報告する。以下、2章では、PAISLeyの簡単な説明を行なう。3章では、有効性の検証と運用上の問題点について述べる。4章では、バッチ運用形態への配慮について述べる。

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

著者

• 堀川 博史

  三菱電機(株) 情報システム製作所

• 上原 憲二

  三菱電機(株)情報電子研究所

• 田島 由樹

  三菱電機(株) 情報電子研究所

• 上原 憲二

  三菱電機(株)情報技術総合研究所

• 上杉 利明

  三菱電機(株)

• 堀川 博史

  三菱電機(株)情報電子研究所

• 田島 由樹

  三菱電機(株)情報電子研究所

関連論文

• LANアナライザを用いたデータベースの挙動推測における一方式
• ペトリネットを用いたグラフィカルユーザインタフェースのふるまいの記述
• 「使い易さ」に注目した評価項目の導出
• レビュー支援ツールを利用したテストケース作成支援
• ソフトウェア文書のためのエディタ-Spec
• 仕様書エディタ(spec)の改良
• 地球資源衛星1号搭載ソフトウェア検証システムの開発
• 論理構造を備えた文書処理システム
• ビジネス系システム開発におけるオブジェクト指向開発技法 (3) : 再利用性向上のための実装設計
• ビジネス系システム開発におけるオブジェクト指向開発技法 (2) : 3階層設計におけるDB処理パターンの利用
• ビジネス系システム開発におけるオブジェクト指向開発技法 (1) : 分析から論理3階層設計への流れ
• 処理パターンに基づいた仕様書理解の評価
• プロトタイピング支援CASE
• CASE環境構築用ツールキットの開発
• 仕様記述言語PAISLeyの適用検討
• 設計プロセスに対する支援機能についての一考察
• UNIX上でのコマンドインターフェースの入力効率化
• 日本語による仕様書からのプログラム自動生成
• FORTRAN プログラマからみた Ada (Adaの応用と評価)
• コンパイラのテストデータ網羅性判定ツールC-GRAM
• クライアント・サ-バシステムによる自治体財務会計への"OPENBUILDER"の適用 (クライアント・サ-バシステム)
• プログラムにおける制御、データ、機能の分離
• SA手法へのユーザインタフェース情報の追加
• 90-17 オブジェクト指向要求記述法
• 89-33 エンティティライフモデリングの並列ソフトウェアの設計への適用
• 虫取り支援を目的としたPASCALプログラム実行制御システム

もっと見る 閉じる

スポンサーリンク