Results 271 to 280 of about 3,097,676 (317)
Some of the next articles are maybe not open access.
SIMPLE: A program development system
Computer Languages, 1980A program development system (PDS) should support a smooth transition between design, development, debugging, testing and final production of a software system. Man-machine interaction, though necessary, should not allow the user to modify the program or its execution state in an unstructured way; rather, disciplined interaction should be enforced by ...
A. Celentano +3 more
openaire +4 more sources
Journal of Orthopaedic Trauma, 2014
The development of a strong trauma program is clearly one of the most important facets of successful business development. Several recent publications have demonstrated that well run trauma services can generate significant profits for both the hospital and the surgeons involved.
openaire +2 more sources
The development of a strong trauma program is clearly one of the most important facets of successful business development. Several recent publications have demonstrated that well run trauma services can generate significant profits for both the hospital and the surgeons involved.
openaire +2 more sources
On the Development of Correct Specified Programs
IEEE Transactions on Software Engineering, 1981The paper describes a method of program development which guarantees correctness. Our programs consist of an operational part, called instruction, and a specification. Both these parts are subject to the development and the refinement process. The specification consists of a pre-and postcondition called global specification and a set of assertions ...
openaire +2 more sources
On the Programs with finite development
1987The study of programs with finite development, i.e. programs that have every oriented path issuing from the initial node of finite length is of certain interest. Many naturally arising problems, e.g. problems of discrete optimization of limited dimension can be solved with the help of such programs /3/.
openaire +1 more source
Communications of the ACM, 1983
Abstract : Automated program transformation systems are emerging as the basis for a new programming methodology in which high-level, understandable specifications are transformed into efficient programs. Subsequent modification of the original specification will be dealt with by reimplementation of the specification.
openaire +1 more source
Abstract : Automated program transformation systems are emerging as the basis for a new programming methodology in which high-level, understandable specifications are transformed into efficient programs. Subsequent modification of the original specification will be dealt with by reimplementation of the specification.
openaire +1 more source
Recent Developments in Linear Programming
1961Publisher Summary The chapter highlights some recent developments in linear programming. The chapter reviews the development of procedures for the solution of large-scale systems and describes the decomposition algorithm. The chapter introduces integer linear programming to find the optimum integer solution to a linear program. The need for this type
openaire +1 more source
Recent Developments in Nonlinear Programming
1962Publisher Summary This chapter focuses on the recent developments in nonlinear programming. Nonlinear programming has been a topic of discussion among people concerned with allocation problems about as long as linear programming has. The recent past has shown a great increase in the attention devoted to this area and some of the reasons for this new ...
openaire +1 more source
2000
Abstract Program development is not the sort of activity that can be captured in definite procedural steps. Even with the best planning, it is a free-flowing process that varies greatly with circumstances and among institutions. The ethical dimensions change accordingly: different situations raise different questions and require ...
openaire +2 more sources
Abstract Program development is not the sort of activity that can be captured in definite procedural steps. Even with the best planning, it is a free-flowing process that varies greatly with circumstances and among institutions. The ethical dimensions change accordingly: different situations raise different questions and require ...
openaire +2 more sources