Keyword : program synthesis

C Description Reconstruction Method from a Revised Netlist for ECO Support
Yusuke KIMURA Amir Masoud GHAREHBAGHI Masahiro FUJITA 
Publication Date: 2018/04/01
Vol. E101-A  No. 4 ; pp. 685-696
Type of Manuscript:  PAPER
Category: VLSI Design Technology and CAD
C reconstructionECOCEGISprogram synthesis
 Summary | Full Text:PDF(728.5KB)

An Automatic Selection Method of Key Search Algorithms
Masami SHISHIBORI Junichi AOE Ki-Hong PARK Hisatoshi MOCHIZUKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/04/25
Vol. E78-D  No. 4 ; pp. 383-393
Type of Manuscript:  PAPER
Category: Software Systems
automatic selection of algorithmspriority costconstraint relationexpert systemkey search algorithmprogram synthesis
 Summary | Full Text:PDF(895.7KB)

A Petri-Net-Based Programming Environment and Its Design Methodology for Cooperating Discrete Event Systems
Naoshi UCHIHIRA Mikako ARAMI Shinichi HONIDEN 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/10/25
Vol. E75-A  No. 10 ; pp. 1335-1347
Type of Manuscript:  Special Section PAPER (Special Section on Application of Petri Nets to Concurrent System Design)
high level petri netcooperating discrete event systemconcurrent programdesign methodologyprogram synthesisprogram verificationtemporal logicprogramming environment
 Summary | Full Text:PDF(972.7KB)

Automatic Software Reuse Process in Integrated CASE Environment
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1992/09/25
Vol. E75-D  No. 5 ; pp. 657-673
Type of Manuscript:  Special Section PAPER (Special Issue on Software)
software reusable objectreusability processdifferential specificationspecification transformationprogram synthesisquantitative evaluation
 Summary | Full Text:PDF(1.2MB)