In most cases, it is simple inconvenience of use that keeps formal methods from being put to industrial use. This paper argues that functionalities, even though of simple formal principles, can be decisive for the applicability of such a formal development tool. Several of those functionalities, as found in the AUTOFOCUS tool prototype, like integrated graphical and hierarchical description tec...

Quitandinha, 25651-075 Petrópolis, RJ, Brazil. [email protected] 6 2 Department of Mathematics, University of Brescia, via Valotti, 9. 25133 Brescia, Italy. 7 [email protected] 8 3 MOX, Department of Mathematics “F. Brioschi”, Politecnico di Milano, via Bonardi, 9. 9 20133 Milano, Italy and SB-MATHICSE-CMCS École Polytechnique Fédérale de 10 Lausanne CH-1015 Lausanne, Switzerland. alfio.quar...

Amorphous metals which are synonymously called metallic glasses form a rather young group of engineering materials. Compared to crystalline metals they offer unique combinations of properties: tensile strength, hardness, elastic strain, resistance against corrosion and abrasive wear are rather high. In order to minimize crystal growth, rapid solidification from the liquid phase is required. Hig...

background: unintentional drug intoxication is still a major cause of mortality and morbidity in young children. method & materials: in order to study changes of epidemiological indices of children intoxication during a 10-year period in hamadan province, all cases admitted to ghaem hospital from 1995-1999 were recruited, and compared with all cases admitted to the same hospital from 1990-1994....