Results 261 to 270 of about 3,097,676 (317)
Some of the next articles are maybe not open access.
IBM Journal of Research and Development, 1981
In this paper we describe how we have combined a number of tools (most of which understand a particular programming language) into a single system to aid in the reading, writing, and running of programs. We discuss the efficacy and the structure of our system. For the last two years the system has been used to build itself; it currently consists of 500
Cyril N. Alberga +4 more
openaire +1 more source
In this paper we describe how we have combined a number of tools (most of which understand a particular programming language) into a single system to aid in the reading, writing, and running of programs. We discuss the efficacy and the structure of our system. For the last two years the system has been used to build itself; it currently consists of 500
Cyril N. Alberga +4 more
openaire +1 more source
Program transformation for development, verification, and synthesis of programs [PDF]
Intelligenza Artificiale: The international journal of the AIxIA, 2011 This paper briefly describes the use of the program transformation methodology for the development of correct and efficient programs. In particular, we will refer to the case of constraint logic programs and, through some examples, we will show how by program transformation, one can improve, synthesize, and verify programs.
Fioravanti F +3 more
openaire +5 more sources
Formalization in program development
BIT, 1982The concepts of specification and formalization, as relevant to the development of programs, are introduced and discussed. It is found that certain arguments given for using particular formal modes of expression in developing and proving programs correct are invalid. As illustration a formalized description of Algol 60 is discussed and found deficient.
openaire +1 more source
Systematic program development
IEEE Transactions on Software Engineering, 1988A constructive method of program development is presented. It is based on a simple strategy for problem decomposition that is claimed to be more supportive of goal-oriented programming than the Wirth-Dijkstra top-down refinement method. With the proposed method, a program is developed by making a sequence of refinements, each of which can establish the
openaire +1 more source
DEVELOPMENT OF THE DEVELOPMENT PROGRAM OF THE FACULTY OF AGRICULTURE
Pedagogical Education:Theory and Practice, 2023The article considers the relevance of the strategic development of educational institutions. The essence of the concept of «agrarian faculty development program» as a means of directing and integrating the team's efforts to increase the efficiency of the work of the structural division and the university as a whole, which is developed on the basis of ...
openaire +1 more source
Developing a Stretching Program
The Physician and Sportsmedicine, 1981In brief: Although stretching exercises can prevent muscle injuries and enhance athletic performance, they can also cause injury. The author explains the four most common types of stretching exercises and explains why he considers static stretching the safest. He also sets up a stretching routine for runners.
openaire +2 more sources
Program Development as a Formal Activity
IEEE Transactions on Software Engineering, 1981A methodology of program development by transformations is outlined. In particular, ways of representing the transformation rules are discussed, and the relationship between notions of their correctness and the semantic definition of programming languages is studied.
Manfred Broy, Peter Pepper
openaire +1 more source
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity, 2012
A major issue facing software development and maintenance is the sheer complexity of programs. Even software designs that start off simple often evolve into programs that are both brittle and hard to understand. In this talk, I advocate programming in stages, where the programming language allows the program design to be described at varying levels of ...
openaire +1 more source
A major issue facing software development and maintenance is the sheer complexity of programs. Even software designs that start off simple often evolve into programs that are both brittle and hard to understand. In this talk, I advocate programming in stages, where the programming language allows the program design to be described at varying levels of ...
openaire +1 more source
Developments in programming research
Papers and discussions presented at the the November 7-9, 1955, eastern joint AIEE-IRE computer conference: Computers in business and industrial systems on - AIEE-IRE '55 (Eastern), 1955The men and women who design the kitchens of tomorrow, the new automobiles, or the new office machines aim at functional as well as esthetic appeal. They strive to improve functionally in two ways---by mechanization and by systematization. These are the two basic approaches to the simplification of the tasks of life. These, then, are also the two paths
openaire +1 more source