Referenced Items are not available for this document.
An application of structural 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
Published in:
System Sciences, 1989. Vol.II: Software Track, Proceedings of the Twenty-Second Annual Hawaii International Conference on
(Volume:2
)
Date of Conference: 3-6 Jan 1989
- Page(s):
- 134 - 141 vol.2
- Meeting Date :
- 03 Jan 1989-06 Jan 1989
- Print ISBN:
- 0-8186-1912-0
- INSPEC Accession Number:
- 3428800
- Conference Location :
- Kailua-Kona, HI
- Digital Object Identifier :
- 10.1109/HICSS.1989.47986
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
