Program Construction by Parts
نویسندگان
چکیده
Given a specication that includes a number of user requirements , we wish to focus on the requirements in turn, and derive a partly dened program for each; then combine all the partly dened programs into a single program that satises all the requirements simultaneously. In this paper we introduces a mathematical basis for solving this problem ; and we illustrate it by means of a simple example.
منابع مشابه
A FLEXIBLE METHOD OF BUILDING CONSTRUCTION SAFETY RISK ASSESSMENT AND INVESTIGATING FINANCIAL ASPECTS OF SAFETY PROGRAM
Construction industry has the highest ratio of fatality of workers in comparison with other industries. Construction safety has been always a matter of focus to control safety risks. This article presents a new flexible method of safety risk assessment by adding Hybrid Value Number (HVN) to the assessment equation. As a result of using this method, the results of assessment process will be more...
متن کاملPlanning and Analysis of Mechanical Assembly Sequences in Design Engineering – Part Ii: Application
Original scientific paper In the first part of the article, a method of assembly sequence planning and analysis of construction of the designed product parts allowing for principles of "designing for assembly" has been presented. This article presents a computer programme which constitutes the implementation of this method and its application is presented on a real-life, industrial example. The...
متن کاملDesign and Construction of an Aerosol Particle Classification System Based on Electrical Mobility
Introduction: The application of particles’ electrical mobility in the electric field has always been an important concern, as the functional basis of a number of particle measuring and classification instrumentations. The objective of this study was to design and construct an aerosol particles classification system using electrical mobility feature in laboratory scale. Methodology: This labo...
متن کاملAssessment of Effect of Road or Road Construction on Soil Physical and Chemical Properties in Northern Forests of Iran
Forests are an important economic source for human and have key role in nutrient cycle, hydrology and ecosystem performance, any interference in this vital ecosystem causes to damage to forests. Mechanical logging and road construction in forest areas have led to much soil compaction. Soil physical and chemical properties were studied in parts of road and non-road in the Darabkola forest of Ira...
متن کاملAssessment of Effect of Road or Road Construction on Soil Physical and Chemical Properties in Northern Forests of Iran
Forests are an important economic source for human and have key role in nutrient cycle, hydrology and ecosystem performance, any interference in this vital ecosystem causes to damage to forests. Mechanical logging and road construction in forest areas have led to much soil compaction. Soil physical and chemical properties were studied in parts of road and non-road in the Darabkola forest of Ira...
متن کاملEfficient algorithms for constructing broadcast disks programs in asymmetric communication environments
A well-known technique for broadcast program construction is the Broadcast Disks technique. However, in the Broadcast Disks approach there are some important disadvantages. For example some parts of the broadcast program remain empty during the construction procedure and the disk relative frequencies have to be selected very carefully. This paper gives a new approach of the broadcast program co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995