Composites are widely used material types today, and it is known that matrices additives in composites improve the mechanical properties of material. In this study, Al6061 matrix Ni-Al2O3 reinforced composite was produced by stir casting method effect Ni- Al2O3 mixture reinforcement on hardness tensile investigated. The determination samples obtained after process determined results microhardne...

This research work presents the study on fracture behavior of Al6061 with graphite particulate composite produced by the stir casting technique. The materials selected for the proposed work is Al6061 and graphite particles. Compact tension (CT) specimens were utilized to determine fracture toughness for different thickness of composite. In the present work, optimizing the parameters of the comp...

We present a case study where we use automated formal analysis to reason about problem-frame concerns. The descriptions of the problem domains, machine and requirements are written in the Alloy language. We show that an evaluation of results and counterexamples provided by a model finder can reveal useful information that can help remove inconsistencies as well as composition errors.

Motivation „ Formal techniques not yet widely adopted by programmers. „ Commercial pressure to produce higher quality software is increasing. Motivation „ Formal techniques not yet widely adopted by programmers. „ Commercial pressure to produce higher quality software is increasing. „ Software developers favour so-called lightweight techniques that provide immediate returns and sit comfortably ...