تفاصيل الكتاب

978-3-540-75698-9

International Symposium on Fundamentals of Software Engineering

Publication Date: 2007

ISBN: 978-3-540-75698-9

Internet Resource: Please Login to download book


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. Thissymposium brought together researchers and practitioners working on di?erent aspects of formal methods in software engineering.


Subject: Computer Science, CASE, formal method, model checking, software architecture, software engineering, theorem proving, validation, verification