LOTASの抽出データタイプ実装のための支援法に関する一考察

スポンサーリンク

概要

• 論文の詳細を見る

• LOTOS is an FDT developed within ISO for formal specification or communication software. ADT(Abstarct Data Type) is a part or LOTOS that deals with the normal description or data. So far, due to the high abstractness or ADT, problem in implementation is that there are too many possible concrete datas for one ADT and no gurantee whether all of them are appropriate for practical application. Decision for appropriate chioces depends on many factors for instance, application field, type or system etc. and a lot of intellectual works from implementer are necessary to solve this problem. The main purpose of this paper is to present an implementation support method to reduce these intellectual works.

• 一般社団法人情報処理学会の論文
• 1993-03-01

著者

• Cheng Zixue

  Faculty Of Engineering Tohoku University

• Cheng Zixue

  Faculty Of Computer Science And Engineering The University Of Aizu

• Shiratori Norio

  Faculty Of Engineering Tohoku University

• Termsinsuwan Pairoj

  Faculty Of Engineering Tohoku University

関連論文

• A web Education System with Personalized Navigation Based on SQ3R (特集:ブロードバンドネットワークサービス)
• A Distance Learning Support System Based on Effective Study Method SQ3R(Special Issue on High Speed Networks and Multimedia Applications)
• Implementation of an Agent Based Mobile Education System (特集 マルチメディアコミュニケーションシステム)
• A Distance Learning Support System Based on Effective Study Method SQ3R (特集:高速ネットワークとマルチメディアアプリケーション)
• Development and Evaluation of a Real-time Interactive Tele-Classroom for Computer Exercises Over the Gigabit Network
• Operator Based Protocol Synthesis for LOTOS Specification
• LOTASの抽出データタイプ実装のための支援法に関する一考察
• Classification of the NOAA Satellite Image Data by Unsupervised Neural Network
• A Real-Time Scheduler Using Neural Networks for Scheduling Independent and Nonpreemptable Tasks with Deadlines and Resource Requirements

スポンサーリンク