Checking the consistency of Object-Z formal specification based on theorem proof

2020 ◽  
Vol 20 (1) ◽  
pp. 217-226
Author(s):  
Weiqing Wan ◽  
Yongqing Yu ◽  
Qingyan Zeng ◽  
Zhicheng Wen
Keyword(s):  
Formal Specification ◽  
Theorem Proof

Formal Specification and Design

1992 ◽  
Author(s):  
L. M. G. Feijs ◽  
H. B. M. Jonkers
Keyword(s):  
Formal Specification

Mathematical Economics by Kelvin Lancaster. Macmillan, New York, 1968.

1969 ◽  
Vol 9 (3) ◽  
pp. 343-346 ◽  
Author(s):  
Robert E. Kuenne
Keyword(s):  
New York ◽  
Economic Analysis ◽  
Mathematical Economics ◽  
Theorem Proof

The burgeoning of abstract economic analysis since about 1950 makes the need for well-conceived consolidations and codifications at the textbook level peculiarly important. The task is a challenging one, demanding the attainment of a compromise between the "mathematics for economists" catalogues of techniques and the highly specialized and formalized "theorem-proof" sequences of the high-theory journals. It requires that skilful blend of the rigorous and the heuristic, the multidimensional and the diagrammatic, the logical and the intuitive, found in the teacher-born. Lancaster has succeeded admirably in finding the optimal mixture.

An environment for Ada software development based on formal specification

1987 ◽  
Vol VII (3) ◽  
pp. 94-106 ◽  
Author(s):  
D C Luckham ◽  
R Neff ◽  
D S Rosenblum
Keyword(s):  
Software Development ◽  
Formal Specification
Sign in / Sign up

Export Citation Format

Share Document