DEFINING SOFTWARE BY CONTINUOUS, SMOOTH FUNCTIONS

被引：5

作者：

DEMILLO, RA ^{[1
]}

LIPTON, RJ ^{[1
]}

机构：

[1] PRINCETON UNIV,DEPT COMP SCI,PRINCETON,NJ 08544

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1991年 / 17卷 / 04期

关键词：

CONTINUOUS FUNCTION; DISCRETE MATHEMATICS; SOFTWARE SYSTEMS;

D O I：

10.1109/32.90437

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

A simple proof is given that for every operational description of a software system expressed as a discrete state transition function on a virtual machine there is a continuous smooth function on the reals that agrees with the state transition function on all legal states and has exactly the same complexity. An implication of this result is that there is no reason in principle that the methods of classical analysis cannot be used in software engineering.

引用

页码：383 / 384

页数：2