Search the dblp DataBase

Publications of Author

1. Naoshi Uchihira
   How to Make Concurrent Programs Highly Reliable- More than State Space Analysis. [Citation Graph (0, 0)][DBLP]
   ACSD, 1998, pp:16-23 [Conf]
   
2. Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya
   MENDEL: Prolog Based Concurrent Object Oriented Language. [Citation Graph (0, 0)][DBLP]
   COMPCON, 1986, pp:230-234 [Conf]
   
3. Shinichi Honiden, Naoshi Uchihira, Kiyoshi Itoh
   An Application of Artifical Intelligence to Prototyping Process in Performance Design for Real-time Systems. [Citation Graph (0, 0)][DBLP]
   ESEC, 1991, pp:189-209 [Conf]
   
4. Peter R. Croll, Chris Rudram, Colin Chambers, Naoshi Uchihira
   Engineering Safe, Real-Time Distributed Control Systems. [Citation Graph (0, 0)][DBLP]
   EUROMICRO, 1998, pp:10445-10452 [Conf]
   
5. Naoshi Uchihira, Shinichi Honiden
   Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. [Citation Graph (0, 0)][DBLP]
   HICSS (2), 1995, pp:359-368 [Conf]
   
6. Naoshi Uchihira, Hideji Kawata, Fumitaka Tamura
   Scenario-Based Hypersequential Programming: Formulation of Parallelization. [Citation Graph (0, 0)][DBLP]
   ISHPC, 1997, pp:267-280 [Conf]
   
7. Naoshi Uchihira, Kazunori Matsumoto, Shinichi Honiden, Hideo Nakamura
   MENDELS: Concurrent Program Synthesis System Using Temporal Logic. [Citation Graph (0, 0)][DBLP]
   LP, 1987, pp:50-68 [Conf]
   
8. Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya
   Software Prototyping with MENDEL. [Citation Graph (0, 0)][DBLP]
   LP, 1985, pp:108-116 [Conf]
   
9. Naoshi Uchihira, Shinichi Honiden, Toshibumi Seki
   Hypersequential programming - a novel paradigm for concurrent programming. [Citation Graph (0, 0)][DBLP]
   Software Engineering for Parallel and Distributed Systems, 1996, pp:62-73 [Conf]
   
10. Chris Rudram, Peter R. Croll, Naoshi Uchihira
    Building Test Cases for Use in Hypersequential Programming. [Citation Graph (0, 0)][DBLP]
    PDSE, 1999, pp:205-209 [Conf]
    
11. Naoshi Uchihira, Hideji Kawata, Fumitaka Tamura
    Scenario-Based Hypersequential Programming. [Citation Graph (0, 0)][DBLP]
    International Journal of Parallel Programming, 2000, v:28, n:2, pp:155-157 [Journal]
    
12. Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira
    MENDELS ZONE: A parallel program development system based on formal specifications. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1996, v:38, n:3, pp:181-189 [Journal]
    
13. Naoshi Uchihira, Shinichi Honiden
    Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1996, v:33, n:3, pp:207-221 [Journal]
    
14. Shinichi Honiden, Naoshi Uchihira, Kazunori Matsumoto, Kazuo Matsumura, Masahiko Arai
    An Application of Structural Modeling and Automated Reasoning to Real-Time Systems Design. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1989, v:1, n:4, pp:313-331 [Journal]
    
15. Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh
    An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:11, pp:849-867 [Journal]
    
16. 
    Analysis and Design Methodology for Product-Based Services. [Citation Graph (, )][DBLP]