ログイン 新規登録
言語:

WEKO3

  • トップ
  • ランキング


インデックスリンク

インデックスツリー

  • RootNode

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 研究報告
  2. ソフトウェア工学(SE)
  3. 1992
  4. 38(1992-SE-085)

状態遷移モデルに基づくソフトウェア合成方式の評価

https://ipsj.ixsq.nii.ac.jp/records/22182
https://ipsj.ixsq.nii.ac.jp/records/22182
4de4cc17-42de-43d7-a5be-b3bddb219073
名前 / ファイル ライセンス アクション
IPSJ-SE92085005.pdf IPSJ-SE92085005.pdf (870.9 kB)
Copyright (c) 1992 by the Information Processing Society of Japan
オープンアクセス
Item type SIG Technical Reports(1)
公開日 1992-05-21
タイトル
タイトル 状態遷移モデルに基づくソフトウェア合成方式の評価
タイトル
言語 en
タイトル A Study of Software Composing Techinique using State Transition Model
言語
言語 jpn
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_18gh
資源タイプ technical report
著者所属
(株)東芝システム・ソフトウェア技術研究所
著者所属
(株)東芝システム・ソフトウェア技術研究所
著者所属
(株)東芝システム・ソフトウェア技術研究所
著者所属
(株)東芝 システム・ソフトウェア技術研究所
著者所属(英)
en
Systems and Software Engineering Laboratory, TOSHIBA Corp.
著者所属(英)
en
Systems and Software Engineering Laboratory, TOSHIBA Corp.
著者所属(英)
en
Systems and Software Engineering Laboratory, TOSHIBA Corp.
著者所属(英)
en
Systems and Software Engineering Laboratory, TOSHIBA Corp.
著者名 平山, 雅之 岡安, 二郎 深谷, 哲司 三原, 幸博

× 平山, 雅之 岡安, 二郎 深谷, 哲司 三原, 幸博

平山, 雅之
岡安, 二郎
深谷, 哲司
三原, 幸博

Search repository
著者名(英) Masayuki, Hirayama Jiro, Okayasu Tetsuji, Fukaya Yukihiro, Mihara

× Masayuki, Hirayama Jiro, Okayasu Tetsuji, Fukaya Yukihiro, Mihara

en Masayuki, Hirayama
Jiro, Okayasu
Tetsuji, Fukaya
Yukihiro, Mihara

Search repository
論文抄録
内容記述タイプ Other
内容記述 ソフトウェアの仕様記述技法、部品化・再利用技術については、様々な技法が提案されている。本報告では、対象を製品組み込み型マイコン・ソフトウェアに特化して、これらの技術を統合化し、ソフトウェア開発作業を一貫して支援する分野指向 CASE IDSS?μ システムの要素技術について報告する。このIDSS?μシステムは、形式的仕様記述、オブジェクト指向部品等を核として、製品の動作仕様定義から部品合成、および仕様検証、システム試験までを支援し、従来の汎用CASEに比べ、より高度な支援を実現している。また、本報告では、このIDSS?μ システムを実際の製品開発に適用した際の効果等についても考察を加えた。
論文抄録(英)
内容記述タイプ Other
内容記述 About software specification description method or composing technique, many proposals are discussed in recent years. In this paper, we focus on small scale control software embedded in micro-computer and propose software composing technique. We have developed IDSS system which supports software integration from specification to composing, or testing. This IDSS system applies formal specification technique and object oriented software components. And this system enables higher support for software developments than ever been. Moreover, we shows evaluation results of our adaptation experiments.
書誌レコードID
収録物識別子タイプ NCID
収録物識別子 AN10112981
書誌情報 情報処理学会研究報告ソフトウェア工学(SE)

巻 1992, 号 38(1992-SE-085), p. 31-38, 発行日 1992-05-21
Notice
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
出版者
言語 ja
出版者 情報処理学会
戻る
0
views
See details
Views

Versions

Ver.1 2025-01-22 20:59:18.242183
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3