Results 201 to 210 of about 42,868,075 (257)
Some of the next articles are maybe not open access.
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
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 +2 more sources
Key competencies in sustainability: a reference framework for academic program development
, 2011Arnim Wiek, Lauren Withycombe, C. Redman
semanticscholar +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
Handbook of Research on Program Development and Assessment Methodologies in K-20 Education
, 2017Victor C. X. Wang
semanticscholar +1 more source
Design and Code Inspections to Reduce Errors in Program Development
IBM Systems Journal, 1976Michael E. Fagan
semanticscholar +1 more source
Understanding the Organizational Context of Academic Program Development.
, 2016Jay R. Dee, W. A. Heineman
semanticscholar +1 more source
A Preceptor Development Program
Critical Care NurseAnsu T, Sebastian +3 more
openaire +2 more sources