International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Arbab, Farhad (Editor), Sirjani, Marjan (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Series: Lecture Notes in Computer Science, 4767
• Subjects: Computer science.; Software engineering.; Computer programming.; Computer logic.; Computers.; Computer Science.; Software Engineering/Programming and Operating Systems.; Logics and Meanings of Programs.; Programming Techniques.; Models and Principles.

The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering (FSEN), Tehran, Iran, April 17–19, 2007. This event, FSEN 2007, was organized by the School of Computer Science at the Institute for Studies in Fundamental Sciences (IPM...