ヘルプ
ヘルプ

検索結果 638 件

A survey on formal specifications in industry (ソフトウェア工学)

A survey on formal specifications in industry (ソフトウェア工学)
紙記事
向 剣文, 野田 夏子<Z14-1121>情報処理学会研究報告 = IPSJ SIG technical reports2008(112) 2008.11.19p.1～8
国立国会図書館全国の図書館

Research on construction and applications of formal specification component attributes to support specification-based software development

書影書影書影
Research on construction and applications of formal specification component attributes to support specification-based software development
デジタル博士論文障害者向け資料あり
Li JiandongLi Jiandong2023
国立国会図書館

System Requirements and Formal Specifications of Hierarchical Reactive Systems (特集 マルチメディアコミュニケーションシステム)

System Requirements and Formal Specifications of Hierarchical Reactive Systems (特集 マルチメディアコミュニケーションシステム)
紙記事
Fumiaki Kanezashi, Atsushi Togashi<Z14-741>情報処理学会論文誌 = IPSJ journal43(2) 2002.2p.361～371
国立国会図書館全国の図書館
  • 要約等...equirementsand formal specifications of reactive s......e synthesis of formalspecifications is presented.......ms are used as formal specifications.Sound and complete formal specifications are synthesiz......equirement and specification modules and a ......ecause desired specificationsof reactive systems can be de...

A Formal Specification of Fault Trees for SAM

A Formal Specification of Fault Trees for SAM
紙記事
Shaoying Liu, John A. McDermid<Z14-741>情報処理学会論文誌 = IPSJ journal38(10) 1997.10p.2014～2030
国立国会図書館全国の図書館
  • 要約等...of research on formal methods formal specifications can now be em...... (1) writing a formal specification is very effect......he users;(2) a formal specification may be precise......erstanding;(3) formal specifications are defficult...... the role of a formal specification for deriving a......of research on formal methods,formal specifications can now be em...... (1) writing a formal specification is very effect......he users;(2) a formal specification may be precise......erstanding;(3) formal specifications are defficult...... the role of a formal specification for deriving an implementatio...

OTS/CafeOBJ法によるLim-Jeong-Park-Lee交差点制御プロトコルのモデル化

書影書影書影
OTS/CafeOBJ法によるLim-Jeong-Park-Lee交差点制御プロトコルのモデル化
デジタル記事障害者向け資料あり
五十嵐竜也, 中村正樹, 榊原一紀電気学会電子・情報・システム部門2021電気学会電子・情報・システム部門大会論文集令和3年
国立国会図書館
  • 並列タイトル等（連結）Formal specification of Lim-Jeong-Park-Lee autonom...
  • 並列タイトル等Formal specification of Lim-Jeong-Park-Lee autonom...

Verifying Correctness of Formal Specifications with an SMT Solver (Model theoretic aspects of the notion of independence and dimension)

Verifying Correctness of Formal Specifications with an SMT Solver (Model theoretic aspects of the notion of independence and dimension)
紙デジタル記事
Keishi Okamoto<Z43-1336>数理解析研究所講究録(1938):2015.4p.46-53
インターネットで読める国立国会図書館全国の図書館

Research on Rigorous Verification Techniques for Formal Specification and Design : ソフトウエアの形式的仕様と設計の厳密な検証技術の研究

Research on Rigorous Verification Techniques for Formal Specification and Design : ソフトウエアの形式的仕様と設計の厳密な検証技術の研究
紙図書
劉, 少英 (Liu, Shaoying) , 法政大学1999-2001<Y151-H11680368>
国立国会図書館

MVCアーキテクチャのメタレベル適用による形式仕様モデルに関する考察 (コンピュータシステム ; 組込み技術とネットワークに関するワークショップETNET2017)

MVCアーキテクチャのメタレベル適用による形式仕様モデルに関する考察 (コンピュータシステム ; 組込み技術とネットワークに関するワークショップETNET2017)
紙記事
張 漢明, 野呂 昌満, 沢田 篤史<Z16-940>電子情報通信学会技術研究報告 = IEICE technical report : 信学技報116(510):2017.3.9・10p.257-262
国立国会図書館全国の図書館
  • 件名...ャ 詳細化関係 VDM-SL Formal methods Formal specification model MVC architecture Refine...
  • 並列タイトル等（連結）Consideration on formal specification model by appling MVC architec...
  • 並列タイトル等Consideration on formal specification model by appling MVC architec...

MVCアーキテクチャのメタレベル適用による形式仕様モデルに関する考察 (ディペンダブルコンピューティング ; 組込み技術とネットワークに関するワークショップETNET2017)

MVCアーキテクチャのメタレベル適用による形式仕様モデルに関する考察 (ディペンダブルコンピューティング ; 組込み技術とネットワークに関するワークショップETNET2017)
紙記事
張 漢明, 野呂 昌満, 沢田 篤史<Z16-940>電子情報通信学会技術研究報告 = IEICE technical report : 信学技報116(511):2017.3.9・10p.257-262
国立国会図書館
  • 件名...ャ 詳細化関係 VDM-SL Formal methods Formal specification model MVC architecture Refine...
  • 並列タイトル等（連結）Consideration on formal specification model by appling MVC architec...
  • 並列タイトル等Consideration on formal specification model by appling MVC architec...

Formal Specification and Verification of Anonymity and Privacy

書影書影書影
Formal Specification and Verification of Anonymity and Privacy
デジタル博士論文障害者向け資料あり
Mano, Ken, 真野, 健2013-10-31
国立国会図書館

A Systematic Inspection Approach to Verifying and Validating Formal Specifications based on Specification Animation and Traceability

書影書影書影
A Systematic Inspection Approach to Verifying and Validating Formal Specifications based on Specification Animation and Traceability
デジタル博士論文障害者向け資料あり
LI, Mo2015-09-15
インターネットで読める国立国会図書館全国の図書館
  • 件名formal specification animation traceability verifi...

Using Real Data to Animate SOFL Formal Specifications Automatically

Using Real Data to Animate SOFL Formal Specifications Automatically
記事
2014-01-16ウィンターワークショップ2014・イン・大洗 論文集2014p.39-40
全国の図書館
  • 要約等...d validate the formal specifications before their ......mplementation. Specification animation is r......m described in specification. In this paper......to animate the specifications written in St......bject-oriented Formal Language (SOFL). The animatio...
  • 並列タイトル等（連結）Using Real Data to Animate SOFL Formal Specifications Automatically
  • 並列タイトル等Using Real Data to Animate SOFL Formal Specifications Automatically

Computer-aided Generation of Formal Expressions for Formal Specifications

Computer-aided Generation of Formal Expressions for Formal Specifications
紙記事
王 セキ, 劉 少英<Z14-1245>日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編29:2012.8.22-24p.19-26
国立国会図書館全国の図書館

形式仕様に基づくソフトウェア開発手法の紹介 : Bメソッドを中心に

形式仕様に基づくソフトウェア開発手法の紹介 : Bメソッドを中心に
紙デジタル記事
來間 啓伸, 石川 冬樹<Z14-1033>コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会 編29(4):2012.11p.50-58
国立国会図書館全国の図書館
  • 並列タイトル等（連結）Introduction to Software Development Methods based on Formal Specifications
  • 並列タイトル等Introduction to Software Development Methods based on Formal Specifications

2nd IEEE workshop on industrial strength formal specification techniques : Oct 1998, Boca Raton, FL.

2nd IEEE workshop on industrial strength formal specification techniques : Oct 1998, Boca Raton, FL.
紙図書
IEEE Computer Society1999.<M17-00-1210>
国立国会図書館
  • 一般注記...trial strength formal specification techniques ; formal specification techniques ; IEEE ; WIFT. BL ...
  • 並列タイトル等（連結）...trial strength formal specification techniques ; formal specification techniques ; IEEE ; WIFT
  • 並列タイトル等...trial strength formal specification techniques ; formal specification techniques ; IEEE ; WIFT

Natural language understanding and cognitive robotics

Natural language understanding and cognitive robotics
紙図書
Masao Yokota.CRC Press, Taylor & Francis Group[2020]<M121-D9>
国立国会図書館
  • 内容細目...f mental image Formal system Fundame......and solving in formal system Human language underst...

Formal Specification of Agent-oriented Multiple Sensors System Organization Based on Object-Z

Formal Specification of Agent-oriented Multiple Sensors System Organization Based on Object-Z
紙記事
Xiong Li, Zongchang Xu, Zhiming Dong, Yiwei Zhang<Z71-B804>Information : an international Interdisciplinary journal15(8):2012.8p.3585-3593
国立国会図書館全国の図書館

CSP理論における遷移と拒否集合の削除による形式仕様の導出

CSP理論における遷移と拒否集合の削除による形式仕様の導出
紙記事
喜家村 奨<Z71-D324>人間科学部研究年報(15):2013p.1-13
国立国会図書館全国の図書館
  • 並列タイトル等（連結）Deriving a Formal Specification by Elimination of Transitions...
  • 並列タイトル等Deriving a Formal Specification by Elimination of Transitions...

SOAにおけるサービス記述の形式化 (ソフトウェアインタプライズモデリング・ワークショップ--Web2.0時代のビジネスモデル)

SOAにおけるサービス記述の形式化 (ソフトウェアインタプライズモデリング・ワークショップ--Web2.0時代のビジネスモデル)
紙記事
岡田 祥, 新川 芳行<Z16-940>電子情報通信学会技術研究報告 = IEICE technical report : 信学技報108(316) 2008.11.21p.35～40
国立国会図書館全国の図書館
  • 件名SOA Webサービス WSDL 形式仕様記述 VDM-SL Web Services Formal Specification Language
  • 並列タイトル等（連結）Formal specifications for services in SOA
  • 並列タイトル等Formal specifications for services in SOA

物理的相互作用に着目したスマート空間の形式仕様記述と検証 (特集 魅力ある情報通信社会のためのモバイル通信と高度交通システム)

物理的相互作用に着目したスマート空間の形式仕様記述と検証 (特集 魅力ある情報通信社会のためのモバイル通信と高度交通システム)
記録メディア記事
石川 冬樹, 山本 佳代子, 本位田 真一<YH247-743>情報処理学会論文誌 IPSJ journal : 論文誌ジャーナル52(1) 2011.1p.220-232
国立国会図書館全国の図書館
  • 並列タイトル等（連結）Formal Specification and Verification of Smart Spa...
  • 並列タイトル等Formal Specification and Verification of Smart Spa...