発表論文

文献形式

1 …23 24 …25 26 27

番号

著者

題名

日付

種別

ファイル

番号87

著者西村好洋

題名開発過程記述用図式エディタの作成

日付1989年10月16-18日

種別国内会議

ファイル

番号86

著者馮安

題名複数の部分木の置換を許した属性木に対する属性評価アルゴリズムの提案

日付1989年10月1日

種別国内会議

ファイル

番号85

著者木村泉

題名プログラミング方法論と言語機能

日付1986年

種別書籍収録

ファイル

番号84

著者松本健一

題名高品質ソフトウェア作成支援システムの開発

日付1989年10月21-22日

種別国内会議

ファイル

番号83

著者井上克郎

題名関数型プログラムにおける不要セル検出の最適化表現方法

日付1989年9月20日

種別国内会議

ファイル

番号82

著者松本健一

題名ＧＩＮＧＥＲシステム：ソフトウェア開発における計測環境

日付1989年9月1日

種別国内会議

ファイル

番号81

著者飯田元

題名関数型言語に基づくプロセスプログラミングシステム

日付1988年9月1日

種別国内会議

ファイル

番号80

著者高田義広

題名ソフトウェア品質定量化のための枠組みと品質表管理システムＳＱＵＡＲＥの開発

日付1989年9月1日

種別国内会議

ファイル

番号79

著者楠本真二

題名機能設計の誤りとモジュール変更回数についての実験的評価

日付1989年9月1日

種別国内会議

ファイル

番号78

著者Inoue Katsuro

題名A Formal Adaptation Method for Process Descriptions

日付1989年5月1日

種別国際会議

ファイル

番号77

著者Ohmaki Kazuhito

題名TERM: A parallel executable graph reduction machine for equational language

日付1989年1月1日

種別論文

ファイル

番号76

著者河野俊二

題名テキスト処理問題のプログラム仕様からＣプログラムへの変換の試み

日付1989年7月13日

種別国内会議

ファイル

番号75

著者大野浩史

題名プログラム設計のための構造表現モデルの提案と複合設計への適用

日付1989年5月30日

種別国内会議

ファイル

番号74

著者馮安

題名ソフトウェア開発法の形式的記述のためのモデルの提案

日付1989年3月28-31日

種別国内会議

ファイル

番号73

著者御井敬

題名テキスト処理問題の形式的仕様からプログラムへの変換

日付1989年3月28-31日

種別国内会議

ファイル

番号72

著者楠本真二

題名チームによるプログラム開発におけるデバッグ能力の実験的評価

日付1989年3月1日

種別国内会議

ファイル

番号71

著者飯田元

題名ソフトウェアプロセス記述言語ＳＰＤＬとその処理系の設計

日付1989年3月1日

種別国内会議

ファイル

番号70

著者Kudo Hideo

題名Quantifying a Design Process Based on Experiments

日付1988年1月1日

種別論文

ファイル

番号69

著者Seki Hiroyuki

題名A Processing System for Program Specifications in a Natural Language

日付1988年1月5-8日

種別国際会議

ファイル

番号68

著者Kishida Kouichi

題名Quality-Assurance Technology in Japan

日付1988年9月1日

種別論文

ファイル

番号67

著者Torii Koji

題名Activities for reliable softwares in Japan

日付1987年1月12-14日

種別国内会議

ファイル

番号66

著者飯田元

題名ジャクソンシステム開発法の代数的言語による記述の試み

日付1988年9月1日

種別国内会議

ファイル

番号65

著者河野俊二

題名プログラム仕様に用いる自然語処理のための語句の意味定義

日付1988年9月1日

種別国内会議

ファイル

番号64

著者荻原剛志

題名ソフトウェア開発環境定義用スクリプトの生成法について

日付1989年3月2-3日

種別国内会議

ファイル

番号63

著者井上克郎

題名囲碁ルールの形式化とその実行プログラムへの変換

日付1988年1月1日

種別論文

ファイル

番号62

著者Inoue Katsuro

題名Analysis of Functional Programs to Detect Run-Time Garbage Cells

日付1988年10月1日

種別論文

ファイル

番号61

著者荻原剛志

題名ソフトウェア開発環境記述用関数型言語の設計と処理系の試作

日付1988年12月9日

種別国内会議

ファイル

番号60

著者河合秀夫

題名万歩計と方位磁石による人間用ナビゲーションシステム

日付1988年11月1日

種別論文

ファイル

番号59

著者稲田良造

題名ジャクソン開発法の形式的記述の詳細化とその実行

日付1988年12月9日

種別国内会議

ファイル

番号58

著者御井敬

題名プログラム仕様に用いる自然語の語句に対する意味定義について

日付1988年11月25日

種別国内会議

ファイル

番号57

著者松本健一

題名エラー寿命に基づくプログラマ性能の実験的評価−大学環境におけるプログラム開発−

日付1988年10月1日

種別論文

ファイル

番号56

著者鳥居宏次

題名ソフトウェア品質定量化のための枠組の検討報告

日付1988年11月9日

種別国内会議

ファイル

番号55

著者大野浩史

題名抽象化に基づく文章理解モデルのソフトウェア設計法への適用

日付1988年9月28日

種別国内会議

ファイル

番号54

著者大野浩史

題名自然語によるプログラム仕様に対する理解モデルの提案

日付1988年9月21日

種別国内会議

ファイル

番号53

著者松本健一

題名ソフトウェアの残存エラー数推定モデルの定量的比較

日付1988年6月1日

種別国内会議

ファイル

番号52

著者井上克郎

題名階層的プロセスモデルの提案とそのＪＳＤへの適用

日付1988年6月1日

種別国内会議

ファイル

番号51

著者鳥居宏次

題名ソフトウェア・メトリクスの意義と方法論

日付1988年10月1日

種別国内会議

ファイル

番号50

著者Kishida Kouichi

題名SDA:A Novel Approach To Software Environment Design and Construction

日付1988年4月11-15日

種別国際会議

ファイル

番号49

著者Matsumoto Kenichi

題名Experimental Evaluation of Software Reliability Growth Models

日付1988年6月1日

種別国際会議

ファイル

番号48

著者荻原剛志

題名オブジェクト間の相互作用に基づくソフトウェア開発法の提案

日付1988年9月7-9日

種別国内会議

ファイル

番号47

著者鳥居宏次

題名論理型プログラミングと属性文法

日付1988年

種別論文

ファイル

番号46

著者松本健一

題名プログラムテキストの変更情報に基づくプログラマ仕事量の分析

日付1988年9月1日

種別国内会議

ファイル

番号45

著者Sugiyama Yuji

題名Functional Programming for the Telegram Analysis Problem

日付1988年5月1日

種別論文

ファイル

番号44

著者馮安

題名属性文法による構造化分析法の形式的記述

日付1988年5月6日

種別国内会議

ファイル

番号43

著者松本健一

題名プログラムにおけるバグ除去時間の分析

日付1988年5月18日

種別国内会議

ファイル

番号42

著者鳥居宏次

題名ソフトウェア信頼性技術の現状

日付1987年2月23日

種別国内会議

ファイル

番号41

著者御井敬

題名プログラム仕様に用いる自然語のための辞書の設計

日付1988年3月1日

種別国内会議

ファイル

番号40

著者Kudo Hideo

題名Quantifying a Design Process Based on Experiments

日付1988年1月5-8日

種別国際会議

ファイル

番号39

著者工藤英男

題名実験に基づくプログラム設計過程の定量化の試み

日付1988年2月4-5日

種別国内会議

ファイル

番号38

著者野村研仁

題名システム開発法ＪＳＤの定義付けの試み

日付1988年2月4-5日

種別国内会議

ファイル

1 …23 24 …25 26 27

研究業績のページに戻る