Results 231 to 240 of about 3,246,445 (295)

Modular refinement and model building

1997
In this paper we show that formal program development can be viewed as a process of model building. Refinement diagrams are introduced and formally defined in terms of refinement developments. Hierarchical models are shown to be equivalent to modular refinement developments.
Martin de Groot, Ken Robinson
openaire   +1 more source

Modular Buildings in Modern Construction

Procedia Engineering, 2016
AbstractThe article considers temporary methods of using modular units in construction. The advanced world experience in the construction of modular buildings is analyzed. It is emphasized that modular construction has the potential to shorten project design and engineering time, reduce costs and improve construction productivity.
Viktor P Generalov, Elena M Generalova
exaly   +2 more sources