Program Development and Specification Refinement in the Schema Calculus

机译：在架构微积分中的计划开发和规范细化

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

We introduce a framework for program development and specification refinement in the schema calculus of Z. We provide illustrative examples outlining the major design decisions based on an interpretation of operation schemas as sets of programs.

机译：我们在Z的模式微积分中介绍了一个程序开发和规范精制的框架。我们提供了基于操作模式作为计划集的主要设计决策的说明性示例。

著录项

来源
《International Conference of B and Z Users》|2000年||共19页
会议地点
作者
Martin C. Henson; Steve Reeves;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TP312-532;
关键词

相似文献

外文文献
中文文献
专利

1. A refinement calculus for logic programs [J] . IAN HAYES, ROBERT COLVIN, DAVID HEMER, Theory and Practice of Logic Programming . 2002,第4a5期

机译：逻辑程序的细化演算
2. A Refinement Calculus for Shared-Variable Parallel and Distributed Programming [J] . J. Dingel Formal Aspects of Computing . 2002,第2期

机译：共享变量并行和分布式编程的细化演算
3. The Open Calculus of Constructions (Part Ⅱ): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving [J] . Mark-Oliver Stehr Fundamenta Informaticae . 2005,第3期

机译：构造的开放演算（第二部分）：依赖类型的方程式类型理论，用于编程，规范和交互式定理证明
4. Program Development and Specification Refinement in the Schema Calculus [C] . Martin C. Henson, Steve Reeves International Conference of B and Z Users . 2000

机译：在架构微积分中的计划开发和规范细化
5. The development and refinement of models of less established and more established high school environmental service-learning programs in Florida. [D] . Malikova, Yuliya. 2005

机译：在佛罗里达州建立和完善的大学环境服务项目学习计划的模型的开发和完善。
6. The Regenerating Adult Zebrafish Retina Recapitulates Developmental Fate Specification Programs [O] . Manuela Lahne, Margaret Brecker, Stuart E. Jones, 2020

机译：再生成年斑马鱼视网膜重新承认发展命运规范计划
7. Stepwise refinement of formal specifications based on logical formulae: from CO-OPN/2 specifications to Java programs [O] . Di Marzo Serugendo Giovanna 1999

机译：基于逻辑公式逐步完善形式规范：从CO-OPN / 2规范到Java程序
8. Logic Programming and the Refinement Calculus: Semantics Based ProgramTransformations [R] . Kok, J. N. 1990

机译：逻辑编程和细化微积分：基于语义的程序转换

Program Development and Specification Refinement in the Schema Calculus

摘要

著录项

相似文献

相关主题

期刊订阅