The importance of applying formal methods in the design and development process of Interactive Systems is increasingly recognised. However it is still an open issue the identification of systematic methods able to support designers and developers in specifying and demonstrating properties of user interfaces. TLIM and ICO are two formal methods which have been used for this purpose with interest...

A speciication describes the functions which a system provides to its users without explanation of how those functions are implemented. A speciication of an interactive system's user-interface is an abstract description of the interactive system itself. Such a speciica-tion indicates which functional aspects of the system are perceivable by the user and the logical organisation of information p...

copper–silver bimetallic strips were produced by cold roll welding process and were treated by diffusion annealing in the temperature range 250–800 ?c. the interface bonding strength was determined by bending and peeling tests, resistance, conductivity and micro hardness profiles were determined and microstructure in the interface region was observed by optical microscope. electrical resistance...