From: japancs@cs.arizona.edu (Japan CS Project)
Newsgroups: comp.research.japan
Subject: Journal of Information Processing, Vol. 14, No. 3 (1991)
Date: 6 Nov 92 17:21:04 GMT


----------------------------------------------------------------------------
     JOURNAL OF INFORMATION PROCESSING, VOL. 14, NO. 3 (1991)

          published by

     INFORMATION PROCESSING SOCIETY OF JAPAN
          (in English)
----------------------------------------------------------------------------

[Collection and dissemination of this information supported in part by
 ONR Grant N0001492J1737.]


Special Section on Software Engineering in Japan
Editor's Message

231	Editor's Introduction to the Special Section on Software Engineering
        in Japan
       	   by H.G. Okuno
            Nippon Telegraph and Telephone Corporation, Basic Research
             Laboratories.

Invited Papers
232	Current Status of Software Engineering in Japan
	   by Y. Ohno
            Professor Emeritus, Kyoto University, Professor, Ritsumeikan
             University, President, Advanced Software Technology &
             Mechatronics of Kyoto.

237	Improving Software Productivity with Upper CASE Tools
	   by K. Agusa
            Nagoya University.

246	Software Testing
	   by H. Kawata, H. Yoshida, M. Nagai and H. Saijo
            Fujitsu Limited, 140 Miyamoto, Numazu-shi, Shizuoka 410-3, Japan

254	Software Quality/Reliability Measurement and Assessment: 
        Software Reliability Growth Models and Data Analysis
	   by S. Yamada
            Department of Industrial and Systems Engineering, Faculty
             of Engineering, Hiroshima University, Higashi-Hiroshima-shi,
             724, Japan.

267	SIGMA (Software Industrialized Generator and maintenance Aids) Project
	   by N. Akima
            Manager, Technology Business Division, Information-technology
             Promotion Agency, Japan.

Regular Papers
272	Software Design Process as Category Morphism
	   by Y. Matsumoto
            Department of Information Science, Kyoto University, Sakyo,
             Kyoto 606-01, Japan.

Regular Section
Regular Papers
284	P-file:  Grid File for Correlated Data Set
	   by K. Kawagoe
            Software Engineering Development Laboratory, NEC Corporation,
             2-11-5, Shibaura, Mita, Tokyo 108, Japan.

292	Approximate Greatest Common Divisor of Multivariate Polynomials and
 	Its Application to III-Conditioned Systems of Algebraic Equations
	   by M. Ochi(1), M. Noda(2) and T. Sasaki(3)
            (1) Computer Division, Information Equipment Secto, 
             Matsushita Electric Industrial Co., Ltd., Kadoma-shi,
             Osaka 571, Japan.
            (2) Department of Computer Science, Ehime University,
             Matsuyama-shi, Ehime 790, Japan.
            (3) The Institute of Physical and Chemical Research,
             Wako-shi,  Saitama 351-01, Japan.

301	The Applicability of Formal Specification to Maintenance of
        Large-Scale Software
	   by S. Kawano(1), K. Ono(2), Y. Kukazawa(2) and T. Kadokura(2)
            (1) Yamato Laboratory, IBM Japan, Ltd.
            (2) Department of Electrical Engineering, School of Science
             and Engineering, Waseda University.

310	Network-Transparent Object Naming and Locating in the GALAXY
 	Distributed Operating System
	   by Pradeep K. Sinha, K. Shimizu, N. Utsunomiya, H. Nakano
              and M. Maekawa
            Department of Information Science, Faculty of Science, 
             University of Tokyo.

325	Generation of Path Directed LALR(k) Parsers for Regular Right Part
 	Grammars
	   by Youpu Zhang(1) and I. Nakata(2)
            (1) School of Computer Science, McGill University, 
             McConnell Engineering Building, 3480 University Street
             Montreal, Quebec, Canada, H3A 2A7.
            (2) Institute of Information Science and Electronics,
             University of Tsukuba, Tsukuba, Ibaraki 305, Japan.

335	Brightness Information Processing Based on a Human Visual Model
	   by A. Yamamoto(1) and M. Takagi(2)
            (1) Institute of Industrial Science, University of Tokyo,
             7-22-1, Roppongi, Minato-ku, Tokyo 106, Japan.
            (2) Hewlett-Packard Laboratories Japan, 100-3 Sakado,
             Takatsu-ku, Kawasaki, Kanagawa 213, Japan.

344	How Neural Networks for Pattern Recognition Can Be Synthesized
	   by S. Abe, M. Kayama, H. Takenaga
            Hitachi Research Laboratory, Hitachi, Ltd., 4026 Kuji,
             Hitachi, 319-12, Japan.

Short Notes
351	Reliability of a Network with Capacity Constraints
	   by S. Yanagi(1), T. Asakami(2) and M. Sasaki(1)
            (1) The National Defense Academy.
            (2) NEC Aerospace Systems, Ltd.

354	A Fast O(n^2) Division Algorithm for Multiple-Precision
        Floating-Point Numbers
	   by K. Ozawa
            Department of Computer Science, College of General Education,
             Tohoku University, Kawauchi, Aoba-ku, Sendai, Miyagi 980, Japan

357	Modular Term Rewriting Systems with Shared Constructors
	   by M. Kurihara and A. Ohuchi
            Faculty of Engineering, Hokkaido University, Sapporo, 060, Japan

359	Abstracts from Transactions of Information Processing Society of Japan

374 	Contents of JOHO SHORI	

376	Profiles of Authors

380	Information for Authors

381	Questionnaire