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

by Farhad Arbab (Editor), Marjan Sirjani (Editor)

• New

  Paperback
  2007

  $94.53

  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.