论文信息 - A three-valued logic for software specification and validation

A three-valued logic for software specification and validation

Different calculi of partial or three-valued predicates have been used and studied by several authors in the context of software specification, development and validation. This paper offers a critical survey on the development of three-valued logics based on such calculi.

[1] Stephen Cole Kleene,et al. On notation for ordinal numbers , 1938, Journal of Symbolic Logic.

[2] Albert Hoogewijs,et al. A Partial Predicate Calculus in a Two-Valued Logic , 1983, Math. Log. Q..

[3] Andrzej Blike,et al. Three-valued predicates for software specification and validation , 1988 .

[4] E. Beth,et al. The Foundations of Mathematics , 1961 .

[5] Joseph A. Goguen,et al. Abstract Errors for Abstract Data Types , 1977, Formal Description of Programming Concepts.

[6] Max A. Sobel,et al. Introduction to mathematics , 1984 .

[7] Cliff B. Jones,et al. VDM Proof Obligations and their Justification , 1987, VDM Europe.

[8] John McCarthy,et al. A BASIS FOR A MATHEMATICAL THEORY OF COMPUTATION 1) , 2018 .

[9] Cliff B. Jones,et al. Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[10] J. McCarthy. A basis for a mathematical theory of computation, preliminary report , 1961, IRE-AIEE-ACM '61 (Western).

[11] Andrzej Blikle. Metasoft Primer: Towards a Metalanguage for Applied Denotational Semantics , 1987 .

[12] Albert Hoogewijs,et al. On a Formalization of the Non-Definedness Notion , 1979, Math. Log. Q..

[13] Andrzej Blikle,et al. On the Development of Correct Specified Programs , 1981, IEEE Transactions on Software Engineering.