Art

J-GLOBAL ID：200902023434999636   Reference number：92A0201733

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

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

Author (3)： HON'IDEN SHIN'ICHI (東芝 システム・ソフトウエア技研) ,  OSUGA AKIHIKO (東芝 システム・ソフトウエア技研) ,  UCHIHIRA NAOSHI (東芝 システム・ソフトウエア技研)
Material： 情報処理学会論文誌  (IPSJ Journal)
Volume： 33  Issue： 2  Page： 173-182  Publication year： Feb. 1992 
JST Material Number： Z0778A  ISSN： 0387-5806  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： real time processing ,...
Semi thesaurus term： 代数的仕様

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=92A0201733&from=J-GLOBAL&jstjournalNo=Z0778A") }}

JST classification (1)： Computer system development  (JD02010R)

Reference (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

Terms in the title (7)： 代数的仕様 ,  論理 ,  リアルタイム ,  SA ,  オブジェクト指向設計 ,  融合 ,  手法