The article discusses the environmental safety of construction production from eco-concrete. purpose work is to assess hazard building materials (for example, eco-concrete), in which and consumption wastes are used. In process research, following tasks were solved: chemical composition eco-concrete samples was analyzed; a qualitative quantitative assessment exhalation potential contaminants con...

Construction dust is one of the most concerned pollutants presenting risks to human health. Dust from construction activities, particularly true for silica dust, have an adverse effect on the local environment and on the health of local residents, as well as on those working on the site. There is a long-term concern about the over exposure of construction workers to respirable crystalline silic...

This paper intends to evaluate the feasibility of reintroducing recycled concrete aggregates in the precast industry. The mechanical properties of self-compacting concrete (SCC) with incorporation of recycled aggregates (RA) (coarse recycled aggregates (CRA) and fine recycled aggregates (FRA)) from crushed precast elements were evaluated. The goal was to evaluate the ability of producing SCC wi...

The main idea of the presented work is to examine the effect of adding industrial waste in the form of Gray Cast iron (GCI) and Ductile Cast Iron (DCI) from the casting industry in the concrete mix. GCI and DCI turnings were used as a partial replacement material for the usual fine aggregates to study the effect on compressive strength and flexural strength of the mix. Partial replacement of fi...

Component-based software development has increasingly gained popularity in industry. Although correct component-interface usage is critical for successful understanding, testing, and reuse of components, interface usage is rarely specified formally in practice. To tackle this problem, we automatically extract sliced object state machines (OSM) for component interfaces from the execution of gene...

An object based formal method for the development of real-time systems, called ATOM, is presented. The method is an integration of the real-time formal technique TAM (Temporal Agent Model) with an industry-strength structured methodology known as HRT-HOOD. ATOM is a systematic formal approach based on the refinement calculus. Within ATOM, a formal specification (or abstract description statemen...

There has been a steep rise in the production of Ready Mix Concrete (RMC) in India due to ever increasing demand of concrete from the infrastructure as well as the real estate sector. It has become a great challenge for the RMC manufacturers to supply consistent level of quality of concrete to the customers. In this study, the quality performance of an RMC plant at Mumbai, India, using the Six ...