# Definition and basic properties of the deva meta-calculus

@article{Weber1993DefinitionAB, title={Definition and basic properties of the deva meta-calculus}, author={Matthias Weber}, journal={Formal Aspects of Computing}, year={1993}, volume={5}, pages={391-431} }

This article presents the definition and some basic properties of the Deva meta-calculus, a generic logical framework whose design was driven by the needs arising from the instantiation to software development methods. As a result, Deva contains structures that do not occur in comparable logical frameworks. There now exist a number of case studies about the formalization of software development methods in Deva. In this article, a structured definition of Deva is presented and basic parts of its… CONTINUE READING

#### Citations

##### Publications citing this paper.

SHOWING 1-5 OF 5 CITATIONS

## Refinement of Rational End-Points Real Numbers by Means of Floating-Point Numbers

VIEW 1 EXCERPT

CITES METHODS

## Algebraic Composition and Refinement of Proofs

VIEW 1 EXCERPT

CITES BACKGROUND

#### References

##### Publications referenced by this paper.

SHOWING 1-10 OF 10 REFERENCES