The GLIDE system is an effectively language‐independent aid of modest proportions for developing programs by stepwise refinement. The basis of the system is a suitable program file environment The system has been imp...
详细信息
By introducing the idea of axes Dimensional Flowcharting clarifies the representation of sequential and parallel operations. Step‐Wise Refinement is added to give an improved method of representing and understanding ...
详细信息
The proliferation of papers on programming methodology focus on the program development process but only hint at the form of the final program. This paper distinguishes between the development process and the program ...
详细信息
Two definitions of algorithm, their uses, and their implied models of computing in society, are reviewed. The first, termed the structural programming definition, aligns more with usage in computer science, and as the...
详细信息
Two definitions of algorithm, their uses, and their implied models of computing in society, are reviewed. The first, termed the structural programming definition, aligns more with usage in computer science, and as the name suggests, the intellectual project of structured programming. The second, termed the systemic definition, is more informal and emerges from ethnographic observations of discussions of software in both professional and everyday settings. Specific examples of locating algorithms within modern codebases are shared, as well as code directly impacting social and ethical concerns. The structural distinction between algorithms and social concerns is explained as mirroring the engineering construct of algorithms and data structures. It is proposed that, rather than this separation being an attempt to enforce a professional boundary and evade social responsibility, it is a crucial technical distinction within code which makes it clearer and more transparent. The power structures reinforced by the broader, cultural interpretations of algorithm are reconsidered, along with what it would mean for software to have an inclusive design culture.
The aim of this paper is to dig out properties in program structures via natural numbers. With both concepts of homogeneous program and Godel number of program being established, the countable of homogeneous program w...
详细信息
The aim of this paper is to dig out properties in program structures via natural numbers. With both concepts of homogeneous program and Godel number of program being established, the countable of homogeneous program was proved and the relations between static homogeneous program and dynamic homogeneous program were discussed. Using the concepts program product presented in this paper, some general program structures based on structured programming are defined;their features were discussed in detailed and thus that loop and subroutine are all special types of branch structure was indicated. In addition, employing the relations between two Godel numbers of static structure and dynamic structure in the same program and two program products of them, the conditions of possessing structures of loop and subroutine in programs were found. The results discussed in the paper demonstrate researching programming methodology with Godel numbering is effective. Finally, the further research direction was also pointed out.
暂无评论