The Logic of the RAISE Specification Language

In: Computing and Informatics, vol. 22, no. 3-4

Chris George - Anne E. Haxthausen

Detaily:

Rok, strany: 2003, 323 - 350

Kľúčové slová:

Formal methods, logics, RAISE

O článku:

This paper describes the logic of the RAISE Specification Language, RSL. It explains the particular logic chosen for RAISE, and motivates this choice as suitable for a wide spectrum language to be used for designs as well as initial specifications, and supporting imperative and concurrent specifications as well as applicative sequential ones. It also describes the logical definition of RSL, its axiomatic semantics, as well as the proof system for carrying out proofs.

Ako citovať:

ISO 690:

George, C., E. Haxthausen, A. 2003. The Logic of the RAISE Specification Language. In Computing and Informatics, vol. 22, no.3-4, pp. 323-350. 1335-9150.

APA:

George, C., E. Haxthausen, A. (2003). The Logic of the RAISE Specification Language. Computing and Informatics, 22(3-4), 323-350. 1335-9150.