文献

J-GLOBAL ID：200902023434999636   整理番号：92A0201733

代数的仕様と時制論理によるリアルタイムSAとオブジェクト指向設計の融合手法

An Integration Method of Real Time SA and Object Oriented Design Using Algebraic and Temporal Logic Specifications.

著者 (3件)： 本位田真一 (東芝 システム・ソフトウエア技研) ,  大須賀昭彦 (東芝 システム・ソフトウエア技研) ,  内平直志 (東芝 システム・ソフトウエア技研)
資料名： 情報処理学会論文誌  (IPSJ Journal)
巻： 33  号： 2  ページ： 173-182  発行年： 1992年02月 
JST資料番号： Z0778A  ISSN： 0387-5806  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 形式的仕様記述手法が実用に供せられるための課題に対する解決案...

シソーラス用語： 実時間処理 ,...
準シソーラス用語： 代数的仕様

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=92A0201733&from=J-GLOBAL&jstjournalNo=Z0778A") }}

分類 (1件)： 計算機システム開発  (JD02010R)

引用文献 (23件)：

• BOOCH, G. Object-Oriented Development. IEEE Trans. Softw. Eng. 1986, SE-12, 12
• CAMERON, J. JSP & JSD: The Jackson Approach to Software Development. 1989
• DEMARCO, T. Structured Analysis and Systern Specification. 1978
• FOLKJAR, P. A Formal Model of a Generalized CSP-like Language. IFIP'80. 1980
• 古川. 代数的仕様記述と図式仕様記述の相補的役割について-複眼的システムモデル-. 情報処理学会論文誌. 1990, 31, 2, 182-193

タイトルに関連する用語 (7件)： 代数的仕様 ,  論理 ,  リアルタイム ,  SA ,  オブジェクト指向設計 ,  融合 ,  手法