Items related to International Symposium on Fundamentals of Software...

International Symposium on Fundamentals of Software Engineering: International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings: 4767 (Lecture Notes in Computer Science, 4767) - Softcover

 
9783540756972: International Symposium on Fundamentals of Software Engineering: International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings: 4767 (Lecture Notes in Computer Science, 4767)

Synopsis

This book constitutes the refereed proceedings of the International Symposium on Fundamentals of Software Engineering, FSEN 2007. The topics include models of programs and systems, software architectures and their description languages, object and multi-agent systems, coordination and feature interaction, component-based development, service-oriented development, model checking and theorem proving, software and hardware verification and CASE tools and tool integration.

"synopsis" may belong to another edition of this title.