Resumen
There is a large pool of highly educated and motivated computer scientists and engineers conducting a broad set of research activities throughout Europe. This is especially true in software engineering where there has been heavy concentration on the use of formal methods. In software design and analysis in European universities, these efforts are beginning to pay off as more European industries are beginning to form partnerships with universities and research centers to experiment and explore application of formal methods to industrial problems. Europeans are especially active in the use of special cameras, mirrors and other forms of alternative camera technology. Software engineering and its related topics, such as programming languages, is very active in Europe. There is a solid set of senior researchers in the universities and laboratories backed up by a large group of well-trained junior scholars. Formal methods in software is a particular strength of the European software engineering community, with embedded computers playing an ever increasing role in modern computer application, such as air and rail transportation, energy and chemical and manufacturing plant control. European education in computer science and engineering is very diverse, with each country having its own unique characteristics. There are, however, some common characteristics