Keyword : Prolog


Design Pattern Detection by Using Meta Patterns
Shinpei HAYASHI Junya KATADA Ryota SAKAMOTO Takashi KOBAYASHI Motoshi SAEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/04/01
Vol. E91-D  No. 4 ; pp. 933-944
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: Software Engineering
Keyword: 
design patternsprogram understandingmeta patternsdynamic analysisProlog
 Summary | Full Text:PDF(819.3KB)

Generating Prolog Program and Skeleton Code from Data Flow Diagrams
Young-Kwang NAM 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1996/11/25
Vol. E79-D  No. 11 ; pp. 1588-1592
Type of Manuscript:  LETTER
Category: Automata,Languages and Theory of Computing
Keyword: 
code generationdata flow diagramsPrologskeleton coderequirements specification
 Summary | Full Text:PDF(313.2KB)

Protocol Verification Tool with Extended Petri Net and Horn Clause
Takashi WATANABE Tsuyoshi OHTA Fumiaki SATO Tadanori MIZUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/11/25
Vol. E78-A  No. 11 ; pp. 1458-1467
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design)
Category: 
Keyword: 
communication networks and servicesprotocol verificationPetri netPrologHorn clause
 Summary | Full Text:PDF(765.1KB)