著者

今城 哲二 鈴木 弘 大野 治 植村 俊亮

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告ソフトウェア工学(SE) (ISSN:09196072)

巻号頁・発行日

vol.2001, no.31, pp.143-152, 2001-03-22

被引用文献数

1

---

約20年前からコンピュータでの漢字利用が普及し,標準ログラム言語で日本語データ処理が可能となった.日本語処理は国際規格化され,いくつかの言語では識別名にも漢字などマルチオクテット文字が使用できる.予約語まで日本語にした本格的な日本語プログム言語も,分かち書きのレベルで,実用化されている.本論文では,分かち書きをしない,より日本語に近い日本語プログラム言語"まほろば"の言語仕様について述べる.20 years ago, programming languages have acquired an ability to handle Japanese. Generalizing it to internationalization (i18n), many of i18n facilities of each programming language were accepted as ISO standards. Some programming languages allow users to use user-defined words in such multi-octet characters as kanji. Some new Japanese-based programming languages have also been developed and used. In all those languages, keywords and grammar are based on Japanese, but words have to be separated by spaces. This paper discusses a non-separated (No wakachigaki) version of Japanese-based programming language "Mahoroba". "Mahoroba" is a word of ancient Japan, and means a nice country. The paper desscribes it's design philosophy and syntax by experimental implementation.

著者

吉田 実 遠藤 義雄

雑誌

情報処理学会研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.2005, no.29(2004-SE-147), pp.113-120, 2005-03-18

---

列車統合管理システム(Train Integrated Management Systems TIMS) は冗長構成の分散監視制御システムで,営業運転中でもシステムの構成が変更される.本論文では,以下の特徴を持つTIMS のソフトウェアプロダクトライン化手法を提案する.(1) 冗長構成、かつ、動的再構成に容易に対応可能な列車および機器の構成方式を持つ.(2) 冗長系システムの無矛盾性を実現するためのソフトウェアアーキテクチャを持つ.(3) 制御ソフトウェアモジュールの入出力から通信と機器の配置などを隠蔽したデータアクセス機構により,制御ソフトウェアモジュールが機器の配置と個数の影響を受けない.(4) 設計支援ツールにより,通信パケットのデータフォーマット,制御ソフトウェアモジュールの配置とデータ参照に関するプログラムの生成が可能である.以上により,制御ソフトウェアモジュールの再利用性を高めるとともに,動的なシステム再構成に容易に対応できる.

著者

伊土誠一 村田紀男 中川勉

雑誌

情報処理学会研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.1981, no.15(1981-SE-019), pp.1-10, 1981-07-17

著者

新原敦介 河野 仁一 海谷 治彦 佐伯 元司

雑誌

情報処理学会研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.2004, no.30(2003-SE-144), pp.99-106, 2004-03-18

---

本稿では,要求獲得の段階でステークホルダのギャップを識別する手法を提案し,実験を通してその手法の有効性について確認した.本手法では要求分析手法として,我々が提案した属性付きゴール指向要求分析法AGORA(Attributed Goal Oriented Analysis)を用い,その支援ツールを用いる.そして我々は,ステークホルダのギャップとして,解釈の違いによって起こるものと評価の違いによって起こるものの二つに着目し,これらをAGORAの満足度行列から識別する.これは,満足度行列に,ゴールの誤解や利益供与の違いが特徴的に表れるからである.実験結果の分析を通して,我々は他の種類のギャップを検出した.そしてどのようにこれらのギャップを検出して,解決するべきか論じた.

著者

大塚 壮一 神田 正巳 中本 幸一

雑誌

情報処理学会研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.1992, no.16, pp.1-6, 1992-03-03

---

従来,通信処理システムなど組込みシステム向けの大規模ソフトウェアは,その構造が複雑であり,修正時にプログラムの再リンク・再配置が必要となるためその変更が容易でなく,デバッグ時の作業効率も妨げていた.筆者らは,この問題を解決し,組込みシステムの一つである通信処理システム向けOS CTRONの拡張OS,アプリケーションプログラムの開発を支援するために,ターゲットソフトウェアをモジュールという構成単位でモデル化し,このモデルによりソフトウェアの構成を記述する言語を導入した.更にモジュール単位でのプログラムのリンクを可能とし,デバッグ時にもこの単位でプログラムの一部の追加・修正を可能にするサポートシステムを開発した.The complicated structure of large software in an embedded system like a communication system leads to being difficult to modify it in order to need to relink and relocate programs and the difficulty prevents efficient debugging. The authors solve these problems and model target programs as a module and define a language to specify configuration of the programs in terms of a module in order to support development of extended OS and application programs of OS, CTRON, for communication systems, one of the embedded system. Moreover they develop a support system which allows a user to link the program by a module and replace parts of the program and append the parts into the programs.

著者

蓬莱尚幸 佐伯 元司 榎本 肇

雑誌

情報処理学会研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.1988, no.7, pp.65-72, 1988-02-12

---

本稿では,仕様記述システムが自己記述性を持つことは広範囲なソフトウェアを対象とする仕様記述システムを構築する上で重要であることを明らかにし,仕様記述システムに自己記述性を持たせる手法について考察する.本稿で考える手法は,自己拡張された記述をシステムが基本的に持つ記述に変換することで自己記述性を実現している.仕様記述をテンプレートと呼ばれる雛形に対象ソフトウェア特有の語句を穴埋めしたものと考え,仕様記述自身とそれに対する変換規則を記述するための枠組みとして,テンプレート記述言語とテンプレート変換言語を提案する.我々が目指すシステムでは,それらの言語を用いて仕様記述者が記述した仕様記述形態の定義と変換規則を用いて拡張された記述形式を含む仕様記述をシステムで用意された基本的な部分で用意された記述形式(核部分)のみからなる仕様記述に変換する機能をシステムに備えることで自己記述性を実現している.さらに,仕様テンプレート記述言語およびテンプレート変換言語に対して仕様記述システムの核部分の仕様記述言語に変換することで意味付けし,自己記述を仕様記述システムの仕様として扱い,仕様記述とそれを作成するための仕様記述システムを統一的に扱うことを考察した.本稿では,核部分としてPure TELLでの仕様記述システムを例にとり論を進める.The method to add the self-description mechanism to a specification system is presented. For the description of the self-description, we need the mechanism for manipulating specifications. we developed two languages. One is "Template Description Language". It is possible to define the syntactic and/or semantic structure of the specification by this language. The other is "Template Transformation Language". It is possible to define the transformation of templates by this language. The specification system with self-description mechanism must have these language and the mechanism for executing the transformation according to user's description of self-descriptions. We also presented the method for the semantics of these language with the specification language of the system. It become possible to manipulate both specification and self-description in the same manner.

著者

青山 幹雄 山下 利夫 小堀 慎介

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告ソフトウェア工学(SE) (ISSN:09196072)

巻号頁・発行日

vol.1997, no.74, pp.33-40, 1997-07-31

参考文献数

16

被引用文献数

4

---

ソフトウェアパッケージやコンポーネント(部品)をネットワーク上で電子取引するソフトウェアコマースのために仕様とカタログ情報を記述するSCL(Software specification and Commerce Language)を提案する.ソフトウェアは電子的に流通が可能であるので,仕様と取引の情報が一体として表現できることが望ましいと考え,SCLはHTMLの拡張として定義した.1つの部品のカタログがWebの1ホームページとして段階的に表現できる.さらに,部品選択を支援するために,コンテキスト表現として部品を取り巻く構造をデザインパターンで記述し,動的挙動をユースケースのシナリオで記述できる表現をとった.さらに,部品をWeb上で試行できるプレイアブルの概念を提案する.This article proposes SCL(Software specification and Commerce Language) which is intended to present the specification and commerce information of software components and packages. Since software can be distributed through the Internet, it is desirable to represent the specification and commerce information in a single language. Thus, SCL is designed as an extension of HTML so that SCL works for a Web-based on-line catalogue of software components. To provide a better understanding on software components, SCL can specify the context and dynamic behavior of software components with design pattern and Use-Case scenario. Furthermore, we proposes playable concept so that users can play with software components on the Web.

著者

岡崎 毅久

雑誌

情報処理学会研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.1996, no.71(1996-SE-110), pp.25-30, 1996-07-25

---

システム・テストとは、システム自身が製品目標との間に不一致があるかどうかを発見するプロセスである。したがって、システムとしての機能、性能、操作性などについて、特にユーザー視点を意識しながら、その妥当性確認(alidatio)の立場からテストを行い、評価を行うことが基本となる。しかし、システム・テストが最も困難なテスト過程である理由は、その主要目的に対して、テスト設計手法が知られていないことである。今回、システム・テストを計画するに当たって、その主要目的をできるかぎり達成させるために、ソフトウェアを評価するための品質モデルの応用を検討し、その外部的な品質特性に基づいてシステム・テストを設計し、実施した。本稿では、その品質特性を利用した設計方法を紹介するとともに、その効用および課題についての考察を述べるものである。

著者

佐藤 誠 岡安 二郎 水野 浩之 馬場 茂雄 平山 雅之

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告ソフトウェア工学(SE) (ISSN:09196072)

巻号頁・発行日

vol.2001, no.114, pp.67-74, 2001-11-21

参考文献数

4

被引用文献数

1

---

近年、コンポーネントを利用したソフトウェア開発が増加している。コンポーネントを利用したソフト開発では、ソフト開発者にとって、システムの開発がしやすい(利用性が高い)コンポーネントを選択することがポイントとなる。本稿では、ソフト開発を行うコンポーネント利用者の視点から、コンポーネント利用性を評価することを目的とするコンポーネント利用性評価手法を提案する。提案する手法は、?プログラマのコンポーネント利用方法の分析をもとに「コンポーネント選定時の機能把握容易性」「コンポーネント利用時の実装作業容易性」などの副特性から構成される評価モデルを定義し、?ソースコードを持たないブラックボックス・コンポーネントに対して、ソースコード以外から取得できる限られた情報を用いてこれらの副特性を計測するメトリクスを設定するといった特徴を持つ。また、この手法の有効性確認を目的とした適用評価実験を行った結果、コンポーネントの利用性について、提案する手法(定量評価手法)と実際の作業者のコンポーネント利用時の印象(定性評価)はよく一致することが確認できた。これより本稿で提案するコンポーネント利用性評価手法が有効であることが確認できた。Recently, software components have been used widely used in software development. In the component based software engineering, it is especially important to evaluate usability of software components. In this paper, we discuss the usability evaluation method for software components, which is composed of usability evaluation viewpoints and their evaluation metrics. The proposed method has following features; 1) Software component usability evaluation model based on the way of using software components by programmers. 2) The technique that make it possible to evaluate black-box software component by using information except for its source code. From our application experiment, we confirmed the effectiveness of proposed method. That is, with using proposed method, we can evaluate the usability of software components effectively.

著者

吉沢亮吉 渡辺慎哉 宮本衛市

雑誌

情報処理学会研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.1983, no.55, pp.31-36, 1984-02-09

著者

松尾谷徹

雑誌

情報処理学会研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.1991, no.13(1990-SE-077), pp.45-50, 1991-02-07

---

ソフトウェアのテストはライフサイクルを通して考えると、信頼性と生産性を支配する重要な技術である。本稿は現在のテスト技法でテスト可能な範囲内でプログラムを設計するための制約条件を持ったプログラム設計技法:VOP (rification Oriented Programmi)について紹介する.VOPはプログラム設計とテストデータ設計を一体化して行う技法であり、従来のテスト技法では難しい状態遷移や複雑な条件の組み合わせに対して、効率的で完全なテストを可能にするものである。

著者

古宮 誠一 加藤潤三 永田 守男 大西 淳 佐伯 元司 山本 修一郎 蓬莱尚幸

雑誌

情報処理学会研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.1998, no.100(1998-SE-121), pp.99-106, 1998-11-05

---

ソフトウェアに対する顧容の要求を抽出する技術をインタビュー技術であると捉え、インタビューによる要求抽出作業を誘導するシステムをWWW上に開発中である。この論文では、インタビューによる要求抽出作業を誘導するシステムの実現方式を明らかにしている。

著者

柏原 大輝 金田 重郎

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告ソフトウェア工学(SE) (ISSN:09196072)

巻号頁・発行日

vol.2001, no.31, pp.31-38, 2001-03-22

被引用文献数

1

---

いわゆる「ビジネス方式特許(Bisiness Method Patents)」については1?2年前に大きな話題となったものの、最近では世間の興味は沈静化した感がある。しかし、インターネットの世界で、新事業を展開する際、特許は、事業を守る唯一と言ってよい法的手段であり、その重要性が変化したわけではない。本稿では、コミュニティ型ポータルサイトの特許を例にとり、ビジネス方式特許の強さについて分析する。分析の結果、ビジネス方式特許には、防衛的な意義は認められるとしても、「特許ひとつでボロ儲け」的イメージからは遠い事を明らかにする。大きな理由は、インターネットにおけるサービスの代替手段の実現容易性にある。この事は、既存の業務のなかから「何かビジネスモデル特許になりそうなものは出しておけ」と言った企業政策が不十分である事を示す。営業とSE・技術者とを組ませて、商売の方法を特許化する事には防衛的意味しかない。SE・技術者が追究しなければならないのは、営業等の情報を駆使しつつ、将来の本質的なビジネスの変革を予知し、事業に価値を与える、パイオニア的な特許を出してゆく事である。この結論自体については、「新味」はないかもしれない。しかし、少なくとも、ポータルサイト特許の分析は、特許法の側から、これを傍証する。Business method patent was once the big talk in the Internet business. But now, the interest in it settles down. However, patent is the only way to protect our business legally (especially at the early stage of the business incubation), o it is still important. In this study, we take portal servers for example, analyze the competence of business method patent and make it clear that business method patent has only defensive meanings. Even if get one business method patented, the patent itself doesn't make competence. The reason why the patent doesn't make competence is that on the Internet almost all of business methods can substitute another way easily. Therefore, it is inadequate that the corporate patent policy without strategic purpose. There is only defensive meaning to get business method patented simply. Therefore, system engineer has to predict future innovation of business styles and pursue pioneer invention that make competence to our business with full use of the information from another department just like sales and planning. After that get the business style patented. This may not be new conclusion. However, the analysis of business method patent and portal servers provide some supports for the conclusion from the viewpoint of patent law.

著者

張学健 菅野文友

雑誌

情報処理学会研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.1987, no.38(1987-SE-054), pp.1-8, 1987-06-24

---

本報告では、ソフトウェア製品のライフサイクルにおける劣化特性について検討した。信頼性工学の基本的な考え方の一つとしてのバスタブ曲線が、ソフトウェア製品の場合にも適用できるという観点から、ソフトウェア製品の故障時間分布に対応して、ワイブル分布を導入した。ソフトウェア製品は、間欠的に使用される複数のコンポーネント(機能モジュール)から構成されているシステムとする。各コンポーネントの使用確率を検討し、その使用確率がソフトウェア製品の信頼度に対する影響を調べた。ソフトウェア製品の運用段階における事後保全(リビジョンアップ)および予防保全(バージョンアップ)は、ソフトウェア製品の稼動信頼性に対して、無視できない影響を与える。本報告では、こういった影響を吟味し、バージョンアップの効果を表わすバージョンアップ効果関数も導入して、若干の定式化を試みた。

著者

青山 幹雄 村瀬 香 中野 有美

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告ソフトウェア工学(SE) (ISSN:09196072)

巻号頁・発行日

vol.2004, no.30, pp.163-170, 2004-03-19

被引用文献数

1

---

花子さんは女性の代名詞である.本論文は,ユーザの代表である花子さんを発見し,花子さんの視点から要求分析を行う方法を提案する.特に,組込みソフトウェアなどの多様な大衆ユーザの要求獲得を主題とする.このため,要求の価値を基準とする主要ユーザの発見方法,主用ユーザと要求との相互作用に基づく要求発見法論を提案する.さらに,本方法を携帯電話の要求分析に適用し,システム全体の要求の価値構造や複数の主要ユーザ間の要求の構造的多様性を明らかにし,既存の要求の問題点や新たな要求の体系的な獲得の知見を得た.This paper proposes a user-centered requirements analysis methodology, named Hanako method. Hanako is a typical first name of Japanese women. So, the name indicates to find a Hanako is the key to successful requirements acquisition, especially for ubiquitous and embedded software system, which a wide variety of users use in different context. The proposed methodology provides a set of techniques including finding a primarily users from a set of user categories and analyzing a requirements in the interaction with the primarily user. Applying the methodology to the mobile phone requirements reveals the effectiveness.

著者

児玉 公信 水野 忠則

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告ソフトウェア工学(SE) (ISSN:09196072)

巻号頁・発行日

vol.2007, no.52, pp.49-56, 2007-05-28

被引用文献数

2

---

ソフトウエア工学では,建築学のパタン・ランゲージをノウハウの記述形式という側面のみに注目して,デザイン・パターンやソフトウエア・アーキテクチャ・パターンといった大きな成果を産んだ.しかし,パタン・ランゲージのもう一つの側面である「たゆまざる道」という継続的な活動に着目すると,これは,情報システムの要求記述や設計制約を,組織学習として組み込んだ理想的な仕組みであることがわかる.本稿では,こうした観点から,企業情報システム構築のプロセスを,「情報システムサイクル」として規定し,これにパタン・ランゲージを組み込むことの意義と課題について議論する.Software engineering yielded the big fruits of the Design Patterns and POSA, etc using the Pattern Language of architectonics, but they only focused on the side of the format of the pattern as know-how description. Focusing on another side of the Pattern Language, "timeless way" as continuous activities, we can find that the Pattern Language is an ideal mechanism to incorporate the requirements and the design constraint of information sys-tems into itself as organization learning. In this paper, "The Information Systems Cycle" is provided for the building process of the enterprise information systems from such a viewpoint, and the meaning and the problem to incorporate the Pattern Language into the cycle are discussed.

著者

井部 己文 山本 修一郎 佐藤友合子

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告ソフトウェア工学(SE) (ISSN:09196072)

巻号頁・発行日

vol.2007, no.107, pp.1-6, 2007-11-02

被引用文献数

9

---

i* フレームワークは,アクタ間の依存関係を表現する有効な手法として期待されている [1][2]。しかし,その有効性や限界については,まだ十分解明されていない。実際のビジネス構造を i* フレームワークを用いてモデル化し,適用評価を行ったところ,(1) 各アクタ間の関係としてのソフトゴールの網羅性を確認することができないこと (2) アクタがおかれている利用シーンが表現できないといった課題があることがわかった [3]。本稿では,これらの課題を解決するため,アクタ関係行列を用いたゴール指向要求分析方法を提案する。i* framework is expected as an effective technique for analyzing the dependence between actor [1][2]. However, neither the effectiveness nor the limits have been clarified enough. When an actual business structure is modeled by using i* framework, and the application evaluation was done, we found (1) Covering a soft goal as the relations between each Actor should be not able to be confirmed. (2)The following problems, the use scenes of Actors are not expressible [3]. To solve these problems in this text, we propose the method of the goal oriented requirements analysis using the Actor relationship matrix.

著者

田村 文隆 岡本 渉 植木 克彦 平山 雅之

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告ソフトウェア工学(SE) (ISSN:09196072)

巻号頁・発行日

vol.2002, no.23, pp.163-170, 2002-03-07

---

探索型デバッグ手法は ユーザが効率良くバグの原因箇所を特定する手助けを行う手法である.これを実現する為に 我々は 特徴値 類似度という二つの量を定義し利用している.本稿では 特徴値を中心に、その意味、利用方法、定め方を述べる。特徴値は、ログ内に含まれる各事象に対し、その発生確率が低いほど大きい値を取るように定められる。多数の事象が同じ特徴値を持つという縮退の問題を持つ。我々は、この縮退を説く方法を考察した。最後に、現在我々が進めている実験の一例を紹介することにより、特徴値の定め方の有効性を示す。We proposed 'Exploratory Debugging Method' which supports users to locate the failures in software. For the quantitative analysis, we defined two values: 'peculiarity' and 'similarity'. In this paper, we focus the former and eexplain its details. Peculiarities are defined for each event in a given program's trace, such that rare events have high values. However, there are high degeneracies in the peculiarities defined above. We studied a method to resolve this degeneracy. To illustrate the adequacy of our method, we show one practical example chosen from our experiments.

著者

河野善弥 馬場 健 山崎安挙 大森 麻理

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.1993, no.59, pp.17-24, 1993-07-08

被引用文献数

5

---

人の設計から設計技術を抽出し,エキスパートシステムで再利用するソフトウエア自動設計方式の報告である.ソフトウエアの増殖性の為に所謂保守コストは開発コストより大きくなる.そこで,初期の人による開発から技術を抽出して再利用し自動化する.まず,人の開発工程をモデル化すると,ハンモック状の網に単位設計ノードを配置した分散形式と見做せる.次に,開発工程を階層的に展開して単位設計ノードの特性を系統的に抽出する.このようにして出来る網状の分散システムを漸進的に研究し,エキスパートシステムで実現する.第1次として,電話交換ソフトウエアについて,概要設計フロー図からの自動生成の例を述べている.This paper reports an automatic software design by simulating human design. Accumulated cost of software maintenance is larger than the initial development cost. It is intended to extract design knowledge from the initial human design and reuse it to automate following design. Human development process is modeled to be a hammock-like network with unit design processing nodes. By hierarchically decomposing a development process, it becomes possible to extract design knowledge. Thus gained distributed system is realized by cooperative expert systems in an evolutional way. The first stage results on telephone switching software are reported.

著者

三瀬 敏朗 新屋敷泰史 橋本 正明 鵜林尚靖 片峯 恵一 中谷 多哉子

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告ソフトウェア工学(SE) (ISSN:09196072)

巻号頁・発行日

vol.2004, no.87, pp.113-120, 2004-08-20

被引用文献数

5

---

組込みソフト分野では、専任オペレータや安定した環境とは限らない状況での運用を要求される。組込みシステムの信頼性や安全性を確保するために、通常運用で想定から抜け落ちしやすい状況である非正常系に焦点を絞り、仕様分析段階で非正常系要件の抽出を行い、システムの設計要件を明確にする方法について検討を行った。このため、非正常系の分析や要因等の体系化を行い、システムにおける非正常系の連鎖から障害に至る挙動の抽出を行うために、状態とイベントのマトリクスを用いて分析を行う方法を検討し試行した。その結果、基本的な有効性を確認し、今後の課題を検討した。Embedded systems are in need of the consideration about exceptions because of the environment and requirements for running. However, in practice, the consideration about exceptions often slipped out of specifications. Thus, it is an important problem about the cost and quality of embedded systems. Therefore, we have been studying about the methodology to analyze exceptions with exception knowledge systematization and exception state/event analysis matrix. In this paper, we describe the analysis matrix, its application example, and future studies.