Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!uakari.primate.wisc.edu!caen!news.cs.indiana.edu!arizona.edu!arizona!rick From: rick@cs.arizona.edu (Rick Schlichting) Newsgroups: comp.research.japan Subject: Kahaner Report: IPSJ Conf. Proceedings (Book 5), Message-ID: <2937@optima.cs.arizona.edu> Date: 8 May 91 15:46:33 GMT Sender: rick@cs.arizona.edu Lines: 807 Approved: rick@cs.arizona.edu [Dr. David Kahaner is a numerical analyst visiting Japan for two-years under the auspices of the Office of Naval Research-Asia (ONR/Asia). The following is the professional opinion of David Kahaner and in no way has the blessing of the US Government or any agency of it. All information is dated and of limited life time. This disclaimer should be noted on ANY attribution.] [Copies of previous reports written by Kahaner can be obtained from host cs.arizona.edu using anonymous FTP.] From: David K. Kahaner ONR Asia [kahaner@xroads.cc.u-tokyo.ac.jp] Re: Info Proc Soc of Japan, Semi-Annual Meeting, March 12-14, 1991 (Tokyo) 8 May 1991 ABSTRACT. Titles of papers presented at the semi-annual Info Proc Soc of Japan meeting, March 12-14 1991. This report contains the titles and authors in Book 5 of the Proceedings. PROCEEDINGS OF 42ND INTERNATIONAL GENERAL MEETING BOOK 5 (TOPICS) Software Programming Environment User Interface Software Basic Object-Orientation Language Processing System Optimization Theoretical Language Parallel Processing Software Engineering LOTOS Communication Soft (TITLES OMITTED) Requirements Analysis/Specification Description Software Development Control Test Debug Program Synthesis/Development Technology Human Interface Components/Reuse Graphical User Interface Development CASE Analysis Development Environment Software Processing BOOK 5 (TITLES/AUTHORS) SOFTWARE Programming Environment Despersion System Development Assisting Roots Based on MVC Model M. Yamamoto, T. Hara (Tokyo Institute of Technology) Programming Environment for Concurrent LISP Tetsuo Sakaguchi, Shigeo Sugimoto, Koichi Tabata (University of Library and Information Science) A Programming Environment for Concurrent Programming Language NCC/i Atsushi Kunimatsu, Tetsuro Kimura, Hideharu Amano (Keio University) GHC Deduction System Jiro Tanaka (Fujitsu Limited) Fumio Matono (Fujitsu Social Science Laboratory Limited) On Graphical User Interface for Cross Debugger Naoki Murayama, Sayuri Sutou, Takeshi Hiramatsu, Maki Takahashi, Takashi Kojo (NEC Corporation) Masayuki Iwamoto (NEC Microcomputer Technology, Ltd.) Trace Techniques for Debugging Parallel Program Kazunori Inoue, Takahiro Yakoh, Hideharu Amano, Yuichiro Anzai (Keio Univ.) Development of Parallel Inference Machine PIM/k (1) - Debugging Technique of KL1 System Kenji Oki, Hisashi Tanno (Toshiba Software Engineering Co., Ltd.) Hiroshi Sakai, Akihiko Nakase, Toshiaki Takewaki (Toshiba Corporation) Development of Parallel Inference Machine PIM/k (2) - Evaluation of its KL1 System Hisashi Tanno, Kenji Oki (Toshiba Software Engineering Co., Ltd.) Hiroshi Sakai, Akihiko Nakase, Toshiaki Takewaki (Toshiba Corporation) Real-time Processing System Analysis/Evaluation Tool Yoshikazu Ohsuga, Makoto Satoh, Shigeru Suzuki (NEC Scientific Information System Development, Ltd.) Takashi Kojo (NEC Corporation) Development of Program Analysis Tools on Common ESP Satoshi Matsuura, Noriaki Sanechika (AI Language Research Institute, Ltd.) Reiko Sasaki (Fuji Software Inc.) User Interface A Design of the Integrated Shel of Visual and Textual Interface Yasushi Miyajima, Tsunehisa Kawamata, Tooru Komatsu, Mitarou Namiki, Nubumasa Takahashi (Tokyo University of Agriculture and Technology) Implementation of Completion Function Based on the Degree of Difference Shigeru Kawabe, Hironori Koyama (Tokyo Denki University) The Top-level Window of HyperDEBU: The Debugger for Fleng Programs Junichi Takemura, Hampei Koike, Hidehiko Tanaka (The University of Tokyo) Integration of Programming Environments with a Window Manager Kinichi Hayashi, Masataka Sassa (University of Tsukuba) A Migration-method of Local-window-system to X-window-system Kazumi Nakayama (NTT Data Communications System Corporation) Support Toolkit of X Window System Implemented by Common Lisp Hiotoshi Nishimura, Kazuto Hirai (Japan Information Processing Service Co., Ltd.) Yoshiro Ueda (ATR Interpreting Telephony Research Laboratories) Window Oriented Shee for Application Integration on X Window Tetsuyuki Takahama, Hisakazu Ogura, Masao Nakamura (Fukui University) Youichi Nakaya (Eiwa System Management Corp.) A Design of Display Interface Development Tool on OS/2 Presentation Manager Shigeru Kanda (Ome Works, Toshiba Corporation) Implementating Drama Performance in IntelligentPad Mina Akaishi, Yuzuru Tanaka (Hokkaido University) On Visual Constraint Programming Kazuhiro Machida (NEC Scientific Information System Development, Ltd.) Kyoji Kawagoe (NEC Corporation) Akira Aiba (ICOT) Multimedia Interface to the Prolog Programming through the HyperCard System Masahiro Shibuya (Hokkaido Institute of Technology) Yuzuru Tanaka (Hokkaido University) A System for Visualizing Parallel Algorithm Behavior Yutaka Kobayashi, Kazuhiro Sado, Nobuyuki Kanaya (Gumma University) Basic Software Derivation of Invariant using Industive Proof Fumihiro Gotoh, Yasuaki Nishitani (Gumma University) Tabulation Recursion and Transformation of Term Rewriting System Yoshinori Tanaka (Nagoya University) Cover Set Induction Principle and a Study about Mechanical Support for Verifying Algebraic Specification Masahiko Sakai, Toshiki Sakabe, Yasuyoshi Inagaki (Nagoya University) How to Transform Algebraic Specification into Logic Program Takeshi Hamaguchi, Masahiko Sakai, Kiyoshi Agusa (Nagoya University) An Algebraic Specification of a Reflective Language (Preliminary Version) Masahito Kurihara, Azuma Ohuchi (Hokkaido University) Specification Synthesis and Implementation Based on E-R Model and Constraint Masakazu Sato, Masaaki Hashimoto, Toyofumi Takenaka (ATR Communication Systems Research Laboratories) Abstract Interpretationb for Flat GHC Programs Kenji Horiuchi (Institute for New Generation Computer Technology) A Type Inference System for a Concurrent Logic Language Dongwook Shin (IIAS-SIS, Fujitsu Limited) Object-Orientation Extended Features of C++ based Discrete Simulation Language CCDS Ichiro Koshida, Tomomi Yokokawa (Tokyo Engineering University) The Compiler of an Object-oriented Knowledge Base Management System Jasmine Masaaki Aoshima (Fujitsu Laboratories, Ltd.) Using COB Classes in Smalltalk Environment Fumihiko Kitayama (IBM Research, Tokyo Research Laboratory) Implementation of Volatile Objects in A"UM-90 Koichi Konishi, Tsutomu Maruyama, Akihiko Konaga (NEC Corporation) Kaoru Yoshida, Takashi Chikayama (ICOT) PaiObject: A Parallel Object Oriented Language for PaiLisp Yasuki Iizuka, Takayasu Ito (Tohoku University) Structuring of Tuple Space in Linda Model Takahito Nozato, Akira Sugimoto, Shigeru Abe (Mitsubishi Electric Corp) Realization of GLOS T. Kageyama, Y. Kawatsu, N. Saji (NEC, Ltd) Y. Takahashi (NEC Microtechnology, Ltd.) Computation Model based on an Autonomous Decentralized Cooperative Concept: Kemari Hiroyuki Yano, Shoichi Noguchi (Research Center for Applied Information Sciences, Tohoku University) Hiroshi Takemiya (Hitachi tohoku Software) Hiroshi Nunokawa (Research Institute of Electrical Communication, Tohoku University) Cooperative Computation Model in an Autonomous Decentralized Environment - Method to Describe Cooperation: Cooperation Scope Hiroshi Takemiya (Hitachi Tohoku Software) Hiroyuki Yano, Syoichi Noguchi (Research Center for Applied Information Sciences, Hoku University) Hiroshi Nunokawa (Research Institute of Electrical Communication, Tohoku University) Norio Shiratori (Faculty of Engineering, Tohoku University) The Multiple Object Concept and its Implementation Seishi Tsukada, Toshiaki Sugimura (NTT Human Interface Laboratories) Media Operation Language "Monyoh" - Language Feature Shinobu Koizumi, Fie Kobayashi, Koichi Yamano (Systems Development Laboratory, Hitachi Ltd.) Media Operation Language "Monyoh" - Implementation Rie Kobayashi, Shinobu Koizumi, Koichi Yamano (Systems Development Laboratory, Hitachi Ltd.) Language Processing System Overloading in Pattern Transformation for Extending C Taizo Kojima, Akira Sugimoto, Shigeru Abe (Mitsubishi Electic Corp.) Design and Implementation of Scanner Generator SGEN Yuko Yamaguchi, Ichiro Kyushima, Toshiaki Kohno (Systems Development Laboratory, Hitachi Ltd.) Generation Method for Delivery Lisp System Hiroyuki Sigiyama (NTT Human Interface Laboratories) Acceleration of Hook-variable Reference for Deep Binding Katsumi Kishida (NTT Human Interface Laboratories) Fixed-blocking Heap Management in PROLOG Implementation Mitsutoshi Nakamura, Shigeru Matsumoto (Hitachi Tohoku Software, Ltd.) Yooichi Takeuchi, Kousuke Sakoda (System Developing Laboratories, Hitachi Ltd.) Garbage-collection-free Coding on ELIS Common Lisp Toshiaki Sugimura, Katsumi Kishida (NTT Human Interface Laboratories) A Garbage Collection without Sweep Phase Masahiro Nakazawa, Yasuyuki Tauchi, Muneaki Saito (Artificial Intelligence department, SECOM Intelligent Systems Laboratory) An Appropriate Syntax Error Analysing based on Bottom-up Chart Parsing Hiroshi Kato, Masayuki Takeda, Kenzo Inoue (Science University of Tokyo) All Resident Library on the FORTRAN System Takanori Terada, Toshiaki Hirota, Yasuhiro Okayama (Fujitsu Ltd.) FORTRAN Language Processor based on Multi-target System Concept Minoru Tanaka, Akira Ohwada, Masayuki Goto (Fujitsu Ltd.) Optimization A Program using VMAP macro and VMAP Function on the Vectorizing Lisp Compiler, and its Evaluation Kazutaka Kobayashi, Kazuhiro Abe, Hiroshi Yasui (Osaka University) An Algorithm for Minimizing the Data Transfer in Evaluating an Expression on a Distributee-memory Multiprocessor Hiroshi Ohta, Kousuke Sakoda (Hitachi Systems Development Lab) Tetsuo Saito, Toshiyuki Yamamoto (Hitachi Microcomputer Engineering Ltd.) Eiichiro Maeda (Hitachi Nuclear Engineering Co., Ltd.) A Vector Processing Method of Multiple Data with Sharing Yasusi Kanada (Hitachi, Ltd.) Loop Optimization for Superscalar Processors and its Instruction Level Parallelism Atsushi Inoue, Kenji Sirakawa (R&D Center, Toshiba Corp.) Register Allocation Technique based on Prior Splitting of Variables' Live Range Hitoshi Abe, Yasumasa Moriya (System Technology Research Labs., Fuji Xerox Co., Ltd.) Loop-unrolling in a Fortran Compiler Kohji Kobayashi (Fujitsu Shizuoka Engineering Ltd.) Hardware Dependence Optimization of FORTRAN Tadashi Nakahira, Kiyoshi Watanabe (Fujitsu Ltd.) APARC: ADETRAN Parallelizing Compiler Shigeru Kuroda (Matsushita Soft Research, Inc.) Koji Zaiki, Akiyoshi wakatani, Tadashi Okamoto, Hiroshi Kadota (Matsushita Electric Industrial Co., Ltd.) Theoretical Language Constraint Evaluator in Quasar Prolog Kenichi Kakizaki (Kyushu Institute of Technology) Implementation of LTB on Common ESP Tetsuro Fujise, Satoshi Nishiyama, Yutaka Utashiro (AI Language Research Institute, Ltd.) Circuit Parts Retrieval Supporting System for Evaluation of CESP Toru Ogino (AI Language Research Institute, Ltd.) Yasuhiko Hirashima, Shozo Kondo (Mitsubishi Electric Co.) Haruhiko Aramaki (System Twenty One Inc.) Building Expert System on Common ESP - Prototyping "Kanpouyaku Shohou" System Yoshimasa Fujii (AI Language Research Institute, Ltd.) Mariko Suzuki (Toyo Information Systems Co., Ltd.) UNIX Consultation System by Object-oriented Programming Language CESP - Basic Architecture Kyouji Kawagoe (AI Language Research Institute, Ltd.) Keiko Miyashita, Jun Watanabe (NEC Microcomputer Technology, Ltd.) UNIX Consultation System by Object-oriented Programming Language CESP - Implementation and Evaluation Kyouji Kawagoe (AI Language Research Institute, Ltd.) Keiko Miyashita, Jun Watanabe (NEC Microcomputer Technology, Ltd.) Multi Process Environment of Common ESP Tsuneko Hagiwara, Youchi Uchida, Osamu Nakazawa (AI Language Research Institute, Ltd. OR-Parallel Execution of Constraint Logic Programming Hiroyuki Kurumatani, Tadashi Hirose (Systems Dev. Lab., Hitachi Ltd.) Message-Oriented Parallel Implementation of GHC Programs: Overview Kazunori Ueda (Institute for New Generation Computer Technology) Masao Morita (Mitsubishi Research Institute) Message Oriented Parallel Implementation of GHC Programs: Preliminary Evaluation Masao Morita (Mitsubishi Research Institure) Kazunori Ueda (Institute for New Generation Computer Technology) Parallel Processing An Implementation of Quicksort on Multi-Processor Yutaka Irie, Kazunori Matsumoto (Toshiba Corp.) Debugging Method for Parallel Programming Using Shared Dataspace Model Tatsuya Kawamoto, Kenzou Inoue (Science University of Tokyo) Evaluation of Goal Communication on Parallel Inference Machine PIM/i Eiji Kuno, Masatoshi Sato (Oki Electric Industry Co., Ltd.) An Implementation of SPLAN on nCUBE 2 Shunsuke Okamoto, Hajime Iizuka (Department of Information Sciences, Seikei University) On the Distributed C Language Based on Remote Procedure Calls Takeo Murakami, Kazuhiko Kato, Takashi Masuda (Dept. of Information Science, University of Tokyo) LU Cecompositon with Arrays in Miranda Martin Santavy (Department of Computer Science and Communication Engineeriang, Kyushu University) Concurrent Programming in Dataflow-based Multi-agent System Takashi Tomokiyo, Shigeru Kusakabe, Rinichiro Taniguchi, Maskoto Amamiya (Graduate School of Engineering Sciences, Kyushu University) Implementation of Message-flow Agent Based on Data-flow Mechanism Shigeru Kusakabe, Takashi Tomokiyo, Rinichiro Taniguchi, Makoto Amamiya (Graduate School of Engineering Sciences, Kyushu University) SOFTWARE ENGINEERING Requirements Analysis/Specification Description Requirements Analysis Method by Reusing Word Specification Knowledge (I) T. Yasuda, A. Yamada, N. Imamura, K. Matsumura (Systems & Software Engineering Laboratory, Toshiba Corporation) Requirements Analysis Method by Reusing Word Specification Knowledge (II) T. Yasuda, A. Yamada, N. Imamura, K. Matsumura (Systems & Software Engineering Laboratory, Toshiba Corporation) An Interactive System of Acquiring Requirements Specification Toyoro Nogiwa, Yoshiyuki Kotani (Tokyo University of Agriculture and Technology) A Strategic Business Model Based on the Control Theory Eitarou Komatsu (Nippon Steel Information & Communication Systems Inc.) Kiyoshi Agusa (Nagoya University) A Prototype System for Supporting Hierarchically Construction of Data Flow Diagram Atsushi Kumamoto, Koji Ohno (Nihon Unisys, Ltd.) Tohru Kikuno, Koji Torii (Faculty of Engineering Science, Osaka) University) Specification Refinement by Cardimalities in Conceptual Model Kazuhisa Yokota, Masaki Hashimoto, Katsumi Okamoto, Kazumasa Sato, Toyofumi Takenaka (ATR Communication Systems Research Laboratories) Formal Specifications Expressed by Tree Structured Dyagrams Katsuhiko Ohba, Takao Kaneto (Shimadzu Corporation) On Flexibility of Some Kinds of Specification Description Methods Satoshi Endoh, Azuma Ohuchi (Hokkaido University) Rapid Prototyping with Executing Specification on Real System Hirofumi Kondoh, Koutaroh Yamashita, Hidenori Takeuchi, Isamu Miyagawa (Hitachi, Ltd.) Proposal of Visual Environment for Assembling Control Software Modules Yooichi Takeuchi, Tadashi Hirose, Akira Maeda, Motohisa Funabashi (Systems Development Laboratory, Hitachi, Ltd.) Designing User Interface for Some Application Shinichiroh katsuragi (NTT Software Engineering Laboratory) Software Development Control A Study of Software Estimate Naohiko Murata, Mayumi Takeuchi (Toshiba Corporation) Software Quality Evaluation System ESQUT - Quality Evaluation of Software Specification Hideo Ogasawara, Masayuki Hirayama, Jiro Okayasu, Nobuhisa Munechika Tetsuji Fukaya, Yukihiro Mihara (Toshiba Corporation) A Method of Dynamic Software Configuration Management Yoshihiko Okada, Hajimu Iida, Katsuro Inoue, Koji Torii (Faculty of Engineering Science, Osaka University) A Management Model of Software with Object-oriented Method Takashi Naito, Kazuhiko Ishii, Yasuo Kato (NTT Software Engineering Laboratory) Realization of Source File Management for Software Conversion Yoshihiro Murayama (Mitsubishi Electric Computer System Co., Kansai) A Note on Portability Issues Tomosada Hayashi, Norikazu Iwata, Yoshiyuki Miyazaki (NTT Communications and Information Processing Laboratories) A Study of Implementation for AP Portability Check Tool Kenichi Hirano (NTT Communications and Information Processing laboratories) Ayako Komiya, Masakazu Ebisawa (NTT Software Corporation) A Pad Comparing Tool Masayo Tanahashi, Noboru Yamashita, Hidekatsu Hattori (Hitachi, Ltd.) Variation handling on Program Recognition Katsumi Hara, Kenji Kaijiri (Faculty of Engineering, Shinshu University) Test Debugg Test Case Generation for Changed Software Nobutoshi Furuya, Akihiro Hanaoka, Yoshiaki Fukazawa, Toshio Kadokura (School of Science and Engineering, Waseda University) A Method of Generating Test Data Based on Specifications Modeled by State-transition Diagrams Jiro Okayasu, Masayuki Hirayama, Kouichi Kaji, Yukihiro Mihara (Systems & Software Engineering Laboratory, Toshiba Corporation) Extensions of the Testing Criterion using Gloval Veriable Data Flow for Concurrent Programs Koji Arimura, Zengo Furukawa, Kazuo Ushijima (Faculty of Engineering, Kyushu University) Extraction of the Sample from Program Takaaki Hiramatsu, Naohiro Ishii (Nagoya Institute of Technology) An Evaluation of Debugging Efficiency using Visual Debugger Kenji Takahashi, Takao Shimomura (NTT Software Laboratories) A Vsiaulizing Tool "Vickey" - (1) Itaru Ichikawa, Yuji Hotta (Fujitsu Laboratories, Ltd.) Tadamichi Suzuki, Takeshi Seike, Tsuneki Haizuka (Fujitsu Ltd.) A Visualization Tool "Vickey" - (2) Yuji Hotta, Itaru Ichikawa (Fujitsu Laboratories, Ltd.) Tadamichi Suzuki, Takeshi Seike, Tsuneki Haizuka (Fujitsu Ltd.) On a Generation of Code for Monitoring the Execution of Program Hideki Itoh, Kiminori Utsunomiya, Yuzuru Fujiwara (University of Tsukuba) Program Development Tools of New ELIS System Hisayasu Takada, Koji Tsurumaki (NTT Human Interface Laboratories) The Usage of Profile in Parallel Machine PIM/i Yuichi Yoshida, Masatosi Sato (Oki Electric Industry Co., Ltd.) Debigging of Distributed Control System: Checking the Event History using Behabior Specification (Kenji Hirai, Akira Sugimoto, Shigeru Abe (Mitsubishi Electric Corp.) Program Synthesis/Development Technology A Method of Program Synthesis for Programs in a Procedual Language Shuichi Yamaguchi, Masaaki Sato (Software Technology Center, Information-technology Promotion Agency, Japan) Automatic Program Generation System by Prolog Fujio Nishida (Fukui Institute of Technology) Shinobu Takamatsu (University of Osaka Prefecture) The Development of Automation Systems of Generating Parameters for Online Control Programs Hiroshi Mizuno, Noriyuki Ohkouchi, Tuyoshi Ochi (Hitachi Chubu Software, Ltd.) A Method of Iterative Plan Recognition from User's Command Sequences Makoto Motoki, Rei Hamakawa (C&C Systems Research Labs., NEC Corporation) Realization of One System Concept for Application Control System of Dispersing System N. Mori (Fujitsu Ltd.) Standardization of COBOL Application Development Method - An Evaluation of the HCP Chart Compiler - CODA K. Kobayashi, S. Nagaoka, T. Ikenomoto (Kansai International Information System Development Center, NTT Corporation) Prolog Programming Based on Extended TS Charts Mendjamin Sinaga, Shigeyuki Ohara, Masamori Iida (Tokai University) Entaku (RoundTable): Objectbase Based on Relational Database Takehiro Yokoyama (Sony Corp.) A Method of OS/2 Device Driver Development with C Language Hiroko Iwamoto (NTT Data Communications Systems Corporation) Human Interface "Trouble Models" for Usability Testing Toshiyuki Asahi (C&C Systems Research Laboratories, NEC Corp.) A Case Study on Manual Structure and Compositon for User Interface Eriko Kouda, Toshio Souya, Masaki Nakagawa (Department of Computer Science, Faculty of Technology, Tokyo University of Agriculture and Technology) A Window System with Leafing Through Function: Book Window Kaoru Kinoshita, Kyoichi Arai, Takashi Satoh, Kenichi Okada, Yutaka Matsushita (Keio University) Intelligent Interface for Home VTR Hidemi Tomitsuka, Yasuhiro Chigusa, George Fukuda, Asako Tamura (Telecommunication & Information Systems Research Laboratories, Sony Corporation) Visual Software Agent by Using Parallel Processing for High Human Interface Technology Osamu Hasegawa, Wiwat Wongwarawipat, Lee Chil-Woo, Hiroshi Dohi, Mitsuru Ishizuka (Institute of Industrial Science, University of Tokyo) Metaphor Network - Network Service on a Heterogeneous Distributed System Based on City Metaphor Hiroshi Nunokawa (Research Institute of Electrical Communication, Tohoku University) Nobuhisa Miyake, Shoichi Noguchi (Research Center for Applied Information Sciences, Tohoku University) Postal Serviceon the Metaphor Network Hiroshi Nunokawa (Research Institute of Electrical Communication, Tohoku University) Makoto Ito, Nobuhisa Miyake, Shoichi Noguchi (Research Center for Applied Information Sciences, Tohoku University) Hot-Card: A Card-style Electronic Library System Kazuhito Kojima, Mika Sato, Mitsumasa Miyazawa, Teruo Yokoyama, Yutaka Matsushita (Keio University) A Study of Shape Processing Environment Using TM-metaware Michio Miwa, Miwa Fukino, Masao Kato (Tokyo Information and Communications Research Laboratory, Matsushita Electric Industrial Co., Ltd.) Components/Reuse Software Modification Support Method with Design Information Yoko Shimizu, Takumi Kusanagi, Toshiyuki Obi, Koichi Kaji (System & Software Engineering laboratory, Toshiba Corporation) Hierachical and Safe Type Management System for Persistent Data Takuzi Suzuki, Mitsuo Kobayashi (University of Electro- communications) Intelligent Programming Support Environments Based on Data-flow Model Kazuhiro Katsuki, Toyohiko Hirota, Torao Yanaru (Kyushu Institute of Technology) Improving Productivity by Reusing Logic Components Ieaki Nabeshima (Fujitsu Ltd.) A Study of Applying the Software Productivity Improvement Tool Daisuke Adachi (Fujitsu Ltd.) A Planning Method of SIS using User's Software Resources Yukimasa Takimoto (Fujitsu Ltd.) Software Development Environments based on Program Synthesis Kazuo Ogimoto, Tetsushi Okuyama, Nobuhiko Nishi, Katsuhiko Ohba, Takao Kaneto (Shimadzu Corporation) Software Understanding Support System for Automatic Programming Environment Ken Mabuchi (Faculty of Engineering, Nagoya University) GUI Development Constraint-oriented Graphics using Constraint Logic Programming Daisuke Asao, Hayato Ohwada, Fumio Mizoguchi (Science University of Tokyo) The Graphical User Interface Development Environment of Hyper Auk Shigeru Fujimura, Shoji Tomita, Shuji Kuwahara (Yokogawa Electric Corporation) The Remote Window System Part I: Purpose and Overview Masanobu Hamano, Hiroshi Saito, Tetsuro Kumamoto (Fujitsu Ltd.) The Remote Window System Part 2: The Method of Server Takashi Ikero, Mitsuru Ohmori, Shigeru Ohmori, Katsuhiko Maehara, Takashi Yamamoto, Toru Ohashi (Fujitsu Shigeoka Engineering Ltd.) The Remote Window System Part 3: Client Controller Fujimasu Sugiyama, Tsneo Sato, Shigeru Chiba, Toshifumi Kogure (Fujitsu Ltd.) The Remote Window System Part 4: Communication Protocol Tasuku Oosone, Junya Murata, Hirotoshi Okushiro (Fujitsu Ltd.) The Remote Window System Part 5: A Method of Input Control in Multiwindow System Takanori Kojima (Fujitsu Shizuoka Engineering Ltd.) The Remote Window System Part 6: Application Interface Shinobu Kutsuki, Ichirou Hotta, Takanobu Fujimoto (Fujitsu Ltd.) UI Design Tool for Generic Terminals: U-face Tomonari Kanba, Osamu Iseki (C&C Systems Research Laboratories, NEC Corp.) UI Design Tool: U-face - UI Evaluation Tomonari Kanba, Toshiyuki Asahi, Osamu Iseki, Mami Itoh (C&C Systems Research laboratories, NEC Corp.) CASE An Approach for Integration of CASE Tools (1) Hiroaki Abe, Yasuhiro Sakamoto, Yukiko Takahashi, Yoshio Nishiyama (Fujitsu Ltd.) Itaru Fukao (Fujitsu Hokkaido Communication Systems Ltd.) An Approach for Integration of CASE Tools (2) Yasuhiro Sakamoto, Yukiko Takahashi, Yoshio Nishiyama (Fujitsu Ltd.) Hiroaki Abe, Itaru Fukao (Fujitsu Hokkaido Communication Systems Ltd.) Speedup of Program-Development by Immediate Execution of High-Level Language programs Takaya Arita, Masahiro Sowa (Nagoya Institute of Technology) Design of a Development System for graph Based Computation Models - Automatic Generation of Model Transformation System Eiji Moriya, Tomohito Eguchi, Tomoyuki Nakashima, Toshimitsu Inomata, Katsuaki Onogi, Yoshiyuki Nishimura (Toyohashi University of Technology) Visual Software Development Environment vie (1): Concept Tomoya Ogawa, Reiko Yamamoto, Yuko Nakayama, Itaru Ichikawa (Fujitsu Laboratories) Visual Software Development Environment vie (2): Conspectus of Animation Manual Reiko Yamamoto, Tomoya Ogawa, Yuko Nakayama, Itaru Ichikawa (Fujitsu Laboratories, Ltd.) Visual Software Development Environment vie (3): Application of Animation Manual Yuko Nakayama, Tomoya Ogawa, Reiko Yamamoto, Itaru Ichikawa (Fujitsu Laboratories, Ltd.) Development Support Tool for Applications which apply Graph Structure Chan Soo Son (Manufacturing Engineering Research laboratory, Fuji Xerox Co. Ltd.) Introduction of the Automatic Translator System for Users Manual "Document System" Hiromi Kobayashi (NEC Corporation) Masato Shima, Yasufumi Hironaka, Kyoto Ueki (NEC Telecom System, Ltd.) Overview of the TENSE Object Management System Kenji Nishioka, Taeko Watanabe (Yokogawa Electric Corporation) Customizing of the TENSE Object Management System Taeko Watanabe, Kenji Nishioka (Yokogawa Electric Corporation) A Development of Sub-Database for Integrated Programming Environment Katsuhisa Hamazaki, Akitomo Yamada, Shigeru Kobayashi (Toshiba Corp.) Analysis Development Environment Collaboration Environment for Software Distributed Concurrent Development Katsuya Takahashi, Yukio Kiyokane (Fujitsu Ltd.) Minoru Takimoto, Masami Nakamura (Fujitsu Hokkaido Communication Systems Ltd.) Distributed Development Supports for Remote Systems Tatsuya Takahashi (Fujitsu Kobe Engineering, Ltd.) A Study of Management of Software Development on Remote and Distributed Environment Kenzo Suzuki, Mutsuo Muramatsu, Yuji Yamamoto, Sadatoshi Koshihara (Fujitsu Facom Information Processing Corporation) A Study of Management of Software Development on Remote and Distributed Environment Noboru Arai, Masayuki Chishima, nobuhiko Kawano, Koji Mochizuki (Fujitsu Facom Information Processing Corporation) The Operation of Virtual Machine on Personal Terminal Okumiya Kazuaki, Tatsuo Obara, Shinji IIo (Fujitsu Aichi Engineering, Ltd.) Distributed 4th Generation language System EAGLE/4gl Matsuki Yoshino, Keiko Taniguchi, Isao Nishiyama (Hitachi, Ltd.) An Approach for Implementing Environment with Laptop EWS Kennichi Mizoguchi, Mayumi Arai, Nobuhiro Kobayashi (Toshiba Corporation) Kaoru Kagaya (Toshiba Factory Automation Systems Engineering Corporation) Problems and Solutions for using Networks in Software Development Environment Hiroshi Naganuma, Nobuhiro Kobayashi (Toshiba Corporation) Kaoru Kagaya (Toshiba Factory automation Systems Engineering Corporation) A Load Balancing program for Software Development Environment Toshitsugu Futagami, Fumiaki Miura (NTT Software Laboratories) Software Process Realization of Software Descriptive process by Using Intentional Template T. Moriya, H. Murao, H. Enomoto (Shibaura Institute of Technology) The Roles of Formal Specification in the System Design Process Tim Gleeson, Toyofumi Takenaka (ATR Communication System Research Laboratories) Realization of Composite-relationship Views for Cooperative Design Database Systems Haiyan Xu (Fukuoka Institute of Technology) Yahiko Kambayashi (Kyoto University) Standardization of Software Development Process using QC-operations Sheet Motonobu Sasaki, Kazumi Iida, Daiki Abe, Hajime Imaisumi (Mitsubishi Electric Mechatronics Software Corporation) Software Design and Maintenance Support using Design History Masaki Hamada, Toyofumi Takenaka (ATR Communication Systems Research Laboratories) Development of the Education Tool using Software Process for the Young Systems Engineers (part 2) Sumio Mochizuki, Akira Yamauchi, Masaichi Suzuki (Mitsubishi Space Software Co.) Takuya Katayama (Tokyo Institute of Technology) Seiichirou Siomi (Nippon Advanced Technology Co.) Analysis and Evaluation of Software Process (part 2) Sumio Mochizuki, Akira Yamauchi, Hideaki Ichimura, Masaichi Suzuki (Mitsubishi Space Software Co.) Takahiro Yoshino, Seiichirou Siomi (Nippon Advanced Technology Co) Takuya Katayama, Masato Suzuki (Tokyo Institute of Technology) --------------END OF REPORT (BOOK 5)----------------------------------------