Jun GINBAYASHI


Process Composition and Interleave Reduction in Parallel Process Specification
Makoto TSUJIGADO Teruo HIKITA Jun GINBAYASHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/01/25
Vol. E78-D  No. 1  pp. 27-36
Type of Manuscript:  PAPER
Category: Software Systems
Keyword: 
formal specificationinterleave reductionparallel processprocess composition
 Summary | Full Text:PDF

Software Specification in Business Terminology
Jun GINBAYASHI Keiji HASHIMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1992/09/25
Vol. E75-D  No. 5  pp. 648-656
Type of Manuscript:  Special Section PAPER (Special Issue on Software)
Category: 
Keyword: 
software engineeringoperational specificationbusiness applicationformal method
 Summary | Full Text:PDF