This paper relates an industrial experience in the field of formal verification of avionics software products. Ten years ago we presented our very first technological research results in [18]. What was just an idea plus some experimental results at that time is now an industrial reality. Indeed, since 2001, Airbus has been integrating several tool supported formal verification techniques into t...

Acrylamide or 2-propenamide an industrial chemical formed in some foods particularly starchy foods during heating process such as baking, frying and roasting. Acrylamide is proven to be carcinogenic in animals and a probable human carcinogen mainly formed in foods by the reaction of asparagine (free amino acid) with reducing sugars (glucose and fructose) as part of the Maillard reaction during ...

Industrial design training is embracing the need for designers to elicit user needs in order to support the development of successful new products. This paper highlights the collaboration of an ergonomist and two industrial designers in the development of a range of mainstream domestic consumer products. It documents the experiences gained in applying and adapting focus group techniques to info...

Spending decisions for industrial trade shows are studied here. A discriminant analysis procedure identiJies those factors that separate products that use trade shows from those that do not. The product category, fraction of sales made to order, industry sales level, importance of the product to the customer, and purchase frequency were found to be most instrumental. Another model evaluates the...

Clone-and-Own is a common practice in families of software products, where parts from legacy products are reused in new developments. In industrial scenarios, CAO consumes high amounts of time and effort, not guaranteeing good results. We propose a novel approach, Computer Assisted CAO for Models (CACAO4M), that uses a MultiObjective Evolutionary Algorithm (MOEA) with two objectives (Model Frag...

Many software products contain unnecessary functionality. Industrial reports show 45% of the features in analyzed software products are never used. Software-centric organizations have been trying to sustain their competitive advantage by re-defining their product development strategy. Recent attempts to re-strategize the product development process tend towards customer-centric approaches. We p...

background: aflatoxin m1 (afm1) is a major carcinogenic compound that may be existed in milk and dairy products. this study was aimed to determine the presence of afm1 in industrial and traditional yogurt samples produced in iran. methods: a total of 80 yogurt samples (40 industrial, 40 traditional) was collected from supermarkets in yazd city, iran. afm1 content of the selected samples was det...

Microbial biotechnology is defined as any technological application that uses microbiological systems, microbial organisms, or derivatives thereof, to make or modify products or processes for specific use (Okafor 2007). Current agricultural and industrial practices have led to the generation of large amounts of various low-value or negative cost crude wastes, which are difficult to treat and va...

The biotechnology industry is not defined by its products, but by the technologies employed in making them. Those technologies involve the use of biological processes to solve problems or to make useful products. Biotechnologies are primarily employed in the medical and pharmaceutical industries, but they are also used to increase crop yields, clean up hazardous waste, and increase the efficien...