Models, Algebras and Logic of Engineering Software

Computer software is a pervasive factor in advancing the progress and increasing the efficiency of industry, science, commerce and communication. Moreover, it is a significant contributor to the general quality of life of the individual citizen. Future potential contributions are likely to be even greater. Realization of the potential and avoidance of the global risks inherent to the introduction of any new technology, will depend on the imagination, invention, skill and professional discip...