...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>電子情報通信学会論文誌, D. 情報·システム >フォーマルアプローチ論文特集の発行にあたって
【24h】

フォーマルアプローチ論文特集の発行にあたって

机译：在正式方法论文上发表特别文章

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

2006年は，2005年9月30日に発表されたTim O'ReillyのWeb2.0が契機となって，「集合知」とか「集団の叡智」といった言葉が世間を賑わした．ユビキタス社会の進展に伴い，Webの世界でも新たな胎動が見られ，それを支えるコンピューティングシステムや情報システムの信頼性の確保がますます重要な課題になってきている．フォーマルアプローチ（形式的技法）は，信頼性の高いハードウェアやソフトウェアを開発するための有力な基盤技術の一つであり，設計対象のモデル化，要求分析と仕様記述，コード自動生成，テストと検証，保守と再利用などに関する重要な基本技術を提供すると同時に，多くの理論的知見を産み出してきている．
机译：2006年，Tim O'Reilly的Web 2.0于2005年9月30日发布，引发了诸如“集体智慧”和“集体智慧”之类的词的流行。随着无处不在的社会的发展，在网络世界中已经出现了新的胎儿运动，确保支持它们的计算系统和信息系统的可靠性已变得越来越重要。形式化方法是开发高度可靠的硬件和软件的领先基础技术之一，包括设计对象的建模，需求分析和规范描述，自动代码生成和测试。它提供了验证，维护和重用的重要基础技术，同时产生了许多理论知识。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号