THE MATHEMATICAL CONSTRUCTION OF A PROGRAM

被引：2
|
作者：
ABRIAL, JR
机构：
来源：
SCIENCE OF COMPUTER PROGRAMMING | 1984年 / 4卷 / 01期
关键词：
D O I：
10.1016/0167-6423(84)90011-X
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：45 / 86
页数：42
相关论文
共 50 条
  • [1] THE CONSTRUCTION OF NUMERICAL MATHEMATICAL SOFTWARE FOR THE AMT DAP BY PROGRAM TRANSFORMATION
    BOYLE, JM
    CLINT, M
    FITZPATRICK, S
    HARMER, TJ
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 634 : 761 - 767
  • [2] Language in Mathematical Construction
    Felicetti, Vera Lucia
    REVISTA EDUCACAO POR ESCRITO, 2010, 1 (01): : 31 - 43
  • [3] CONSTRUCTION OF A MATHEMATICAL MODEL BASED ON A GENETIC ALGORITHM FOR AN APTITUDE PROGRAM IN HIGH SCHOOL STUDENT OPTIMIZATION
    Xiao, Yu
    REVISTA BRASILEIRA DE MEDICINA DO ESPORTE, 2022, 28 (05) : 446 - 450
  • [4] Mathematical Models in Tasks of Construction
    Koshev, Alexander N.
    Kuzina, Valentina V.
    WORLD MULTIDISCIPLINARY CIVIL ENGINEERING-ARCHITECTURE-URBAN PLANNING SYMPOSIUM 2016, WMCAUS 2016, 2016, 161 : 1874 - 1878
  • [5] Test construction for mathematical functions
    Kuliamin, Victor
    TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS, 2008, 5047 : 23 - 37
  • [6] Plato's mathematical construction
    Netz, R
    CLASSICAL QUARTERLY, 2003, 53 (02): : 500 - 509
  • [7] A PIAGETIAN PERSPECTIVE ON MATHEMATICAL CONSTRUCTION
    ARBIB, MA
    SYNTHESE, 1990, 84 (01) : 43 - 58
  • [8] MATHEMATICAL CONSTRUCTION OF CHIRAL ANOMALY
    WATANABE, H
    JOURNAL OF FUNCTIONAL ANALYSIS, 1991, 97 (02) : 327 - 350
  • [9] Mathematical consensus: a research program
    Roy Wagner
    Axiomathes, 2022, 32 : 1185 - 1204
  • [10] A MATHEMATICAL PROGRAM GENERATOR MPGENR
    MICHAELS, WM
    ONEILL, RP
    ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 1980, 6 (01): : 31 - 44
12345