Apparatus for synthesizing an object described in an object-orie

Boots – shoes – and leggings

Patent

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

395 278, 395 10, 395 54, 395 62, 364DIG1, 364274, 3642743, 3642745, 364275, G06F 1518

Patent

active

054617146

ABSTRACT:
A program synthesis system comprises a function decomposition unit for decomposing a function according to a predetermined specification so as to obtain detailed functions of the specification, a similarity decision unit for retrieving intermediates similar to the detailed specification detailed by the function decomposition unit, a design process fusion unit for fusing a plurality of design processes, the design process fusion unit including a matching decision unit for deciding matching between design processes having high similarities with respect to the intermediate decided by the similarity decision unit, an object synthesis unit for synthesizing an object on the basis of a new design process synthesized by the design process fusion unit, a design process intermediate knowledge base for storing intermediates from which intermediates similar to the specification detailed by the function decomposition unit are retrieved, and a design process conversion knowledge base for storing a conversion knowledge for detailing the specification, a conversion knowledge for the intermediate, and a knowledge in a minimum unit for performing processing.

REFERENCES:
patent: 5038296 (1991-08-01), Sano
patent: 5084813 (1992-01-01), Ono
patent: 5151867 (1992-09-01), Hooper et al.
patent: 5253332 (1993-10-01), Kumamoto
patent: 5276855 (1994-01-01), Kitahara
patent: 5353371 (1994-10-01), Honiden et al.
Uchihira et al.; "Concurrent Program Synthesis with Resuable Component Using Temporal Logic"; IEEE 1987, pp. 455-464.
Honiden et al. "Prolog Based Concurrent Object Oriented Language"; IEEE 86; pp. 230-234.
Honiden et al.; "An Application of Structure Modeling and Automated Reasoning to Concurrent Program Design"; IEEE 1989; pp. 134-141.
Wolper; "Synthesis of Communicating Process from Temporal Logic Specification"; pp. 1-2, 54-104 UMI Dissertion Services 1982.
Yonezawa, Akinori & Tokoro, Mario; "Object-oriented Concurrent Programming"; QA76.6 Q25 1987 ISBN 0-262-24026-2.
Seichi Komiya; "Automatic Programming by Composing Program Components and Its Realization Method"; Future Generations Computer System, vol. 5, No. 1, Aug. 1989, pp. 151-161.
Manna et al; "the Logical Basis for Computer Programming"; Addison-Wesley Publishing Company, 1990 vol. II; pp. 1-5.
Honiden et al. "An Application of Structural Modeling and Automated Reasoning to Real-time Systems Design," The Journal of Real-time Systems, vol. 1, No. 4, Apr. 1990, pp. 313-331.
Zohar Manna et al., "The Logical Basis for Computer Programming," Addison-Wesley Publishing Company, vol. I, 1990.

LandOfFree

Say what you really think

Search LandOfFree.com for the USA inventors and patents. Rate them and share your experience with other people.

Rating

Apparatus for synthesizing an object described in an object-orie does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Apparatus for synthesizing an object described in an object-orie, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Apparatus for synthesizing an object described in an object-orie will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFUS-PAI-O-1892978

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.