| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 22 |       | Naoshi Uchihira, Shinichi Honiden, Toshibumi Seki: Hypersequential programming - a novel paradigm for concurrent programming. Software Engineering for Parallel and Distributed Systems 1996: 62-73 |
| 21 |  | Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira: MENDELS ZONE: A parallel program development system based on formal specifications. Information & Software Technology 38(3): 181-189 (1996) |
| 20 | | Naoshi Uchihira, Shinichi Honiden: Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. Journal of Systems and Software 33(3): 207-221 (1996) |
| 17 | | Naoshi Uchihira, Shinichi Honiden: Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. HICSS (2) 1995: 359-368 |
| 12 | | Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh: An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems. IEEE Trans. Software Eng. 20(11): 849-867 (1994) |
| 7 | | Shinichi Honiden, Naoshi Uchihira, Kiyoshi Itoh: An Application of Artifical Intelligence to Prototyping Process in Performance Design for Real-time Systems. ESEC 1991: 189-209 |
| 4 | | Shinichi Honiden, Naoshi Uchihira, Kazunori Matsumoto, Kazuo Matsumura, Masahiko Arai: An Application of Structural Modeling and Automated Reasoning to Real-Time Systems Design. Real-Time Systems 1(4): 313-331 (1989) |
| 3 | | Naoshi Uchihira, Kazunori Matsumoto, Shinichi Honiden, Hideo Nakamura: MENDELS: Concurrent Program Synthesis System Using Temporal Logic. LP 1987: 50-68 |
| 2 | | Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya: MENDEL: Prolog Based Concurrent Object Oriented Language. COMPCON 1986: 230-234 |
| 1 | | Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya: Software Prototyping with MENDEL. LP 1985: 108-116 |
Selection of 10 from 178 records - Shinichi Honiden has 137 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page