A Development Calculus for Specifications release_p7rmhwalpvgvfohf5rhdighjpe

by Wei Li

Released as a article .

2003  

Abstract

A first order inference system, called R-calculus, is defined to develop the specifications. It is used to eliminate the laws which is not consistent with the user's requirements. The R-calculus consists of the structural rules, an axiom, a cut rule, and the rules for logical connectives. Some examples are given to demonstrate the usage of the R-calculus. The properties about reachability and completeness of the R-calculus are formally defined and are proved.
In text/plain format

Archived Files and Locations

application/pdf  110.2 kB
file_g43cussezvg2binpz52invgw3i
arxiv.org (repository)
web.archive.org (webarchive)
application/pdf  123.7 kB
file_csrppdrf7jdsbgpqrzxkokthue
core.ac.uk (web)
web.archive.org (webarchive)
archive.org (archive)
arxiv.org (repository)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2003-04-02
Version   v2
Language   en ?
arXiv  cs/0303021v2
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 98b493ac-95e8-4014-8caa-e24488204b18
API URL: JSON