位置：立项数据库 > 立项详情页
软件开发的形式方法与POLYA语言
  • 项目名称：软件开发的形式方法与POLYA语言
  • 项目类别：专项基金项目
  • 批准号：69283005
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：张乃孝
  • 依托单位：北京大学
  • 批准年度：1992
张乃孝的项目
余代数及其在软件方法学中的应用
期刊论文 8 会议论文 7 著作 1
软件开发的形式方法与变换型语言族
面向语言的领域语言开发方法
会议论文 7
具体领域软件的自动生成