Das Buch "Formal Methods and Software Engineering" bietet eine umfassende Untersuchung der formalen Methoden zur Entwicklung von Computersystemen. Es beleuchtet die Fortschritte in der Anwendung von semantischen Theorien, Spezifikationssprachen, Entwurfstechniken sowie Verifikationsmethoden und -werkzeugen, die für kritische Anwendungen von Bedeutung sind. Die Herausforderung besteht darin, diese formalen Methoden zu skalieren und in die Entwicklungsprozesse der Ingenieurwissenschaften zu integrieren, um die korrekte und effiziente Konstruktion sowie Wartung von Computersystemen zu gewährleisten. Der Band enthält die Beiträge der 11. Internationalen Konferenz über formale Ingenieurmethoden (ICFEM 2009), die vom 9. bis 11. Dezember 2009 in Rio de Janeiro stattfand. Forscher und Praktiker aus Industrie, Wissenschaft und Regierung sind eingeladen, sich mit den neuesten Entwicklungen und Herausforderungen in diesem Bereich auseinanderzusetzen.