JavaScriptを有効にして再度、お越しください。新規登録ログインお知らせ※ユーザ登録は無料です.情報学広場に掲載されているコンテンツには有料のものも含まれています.有料コンテンツをご購入いただいた場合でも、領収書の発行はいたしておりません。クレジットカード会社様からの領収書/請求書をもってかえさせていただいております。複写複製および転載複製に係る著作権を学術著作権協会に委託しています。当該利用をご希望の方は、学術著作権協会が提供している複製利用許諾システムもしくは転載許諾システムを通じて申請ください。本会会員(賛助会員含む)および著者が転載利用の申請をされる場合については、学術目的利用に限り、無償で転載利用いただくことが可能です。刊行物に掲載されている製品名等は、各社の商標または登録商標です。Saeki論文抄録ソフトウェアプロセスを仕様記述言語LOTOSで形式的に記述する方法を提案した。本研究では任意のプロセスを形式的に記述するための一方法として、プロセス中で行なわれるタスク(ncti)と、プロセスに携わる人間(rticipan)の二点からなるモデルを提案した。functionをリアルタイム構造化分析法に基づいて詳細化し、participantsをオブジェクト指向分析法に基づいて詳細化を行なった。このモデルを形式的に記述する方法も定型化し、実際の例題記述も行なった。記述言語としては通信機構を記述できる能力を備えている言語LOTOSを採用した。この例題記述により明瞭になったLOTOSの不備な点を補うために、言語の拡張すべき要素を検討した。etc.コンテンツに関連する検索キーワード東京工業大学。