Application of structural modeling and automated reasoning to concurrent program design

S. Honiden, N. Uchihira, K. Matsumoto, K. Matsumura, M. Arai

研究成果: Conference contribution

2 引用 (Scopus)

抜粋

An application of structual modeling and automated reasoning as an intelligent software development environment for concurrent programs is presented. This application, using an integration of software reuse and theorem-proving methods, synthesizes an absolutely correct program and increases software productivity. The concurrent programs are described by a Prolog-based concurrent object-oriented language called MENDEL/87. The functional part of the reusable component is generated by structural modeling, and the synchronization part is synthesized from temporal-logic specifications by the use of an automated-reasoning mechanism. A description is also given of the MENDELS ZONE, implemented on a Prolog machine, which is the working base of the method.

元の言語English
ホスト出版物のタイトルProceedings of the Hawaii International Conference on System Science
編集者Bruce D. Shriver
出版者Publ by Western Periodicals Co
ページ134-141
ページ数8
ISBN(印刷物)0818619120
出版物ステータスPublished - 1989 12 1
外部発表Yes
イベントProceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences: Software Track - Kailua-Kona, Hawaii, USA
継続期間: 1989 1 31989 1 6

出版物シリーズ

名前Proceedings of the Hawaii International Conference on System Science
2
ISSN(印刷物)0073-1129

Other

OtherProceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences: Software Track
Kailua-Kona, Hawaii, USA
期間89/1/389/1/6

ASJC Scopus subject areas

  • Computer Science(all)

フィンガープリント Application of structural modeling and automated reasoning to concurrent program design' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

    Honiden, S., Uchihira, N., Matsumoto, K., Matsumura, K., & Arai, M. (1989). Application of structural modeling and automated reasoning to concurrent program design. : B. D. Shriver (版), Proceedings of the Hawaii International Conference on System Science (pp. 134-141). (Proceedings of the Hawaii International Conference on System Science; 巻数 2). Publ by Western Periodicals Co.