Carlo Ghezzi is a professor of computer science at the Politecnico di Milano where he holds the chair of software engineering. He was named a Fellow of the Association for Computing Machinery in 2000 for his contributions to software engineering research. Mehdi Jazayeri is a professor of computer science at the Technische Universität Wien where he holds the chair of distributed systems. He spent many years in software development at several Silicon Valley companies including 10 years at Hewlett-Packard Laboratories Palo Alto CA. Dino Mandrioli is a professor of computer science at the Politecnico di Milano where he holds the chair of theoretical computer science. His research interests are centered on the application of formal methods in the practice of software engineering. . Language: English