Topics of Interest


Models of programs and systems

Software specification, validation and verification

Software architectures and their description languages

Object and multi-agent systems

Coordination and feature interaction

Integration of formal and informal methods

Integration of different formal methods

Component-based development

Service-oriented development

Model checking and theorem proving

Software and hardware verification

CASE tools and tool integration

Application to industrial cases

Important Dates

Abstract Submission: October 19, 2012
Paper Submission: October 26, 2012
Notification: December 14, 2012
Camera Ready: January 11, 2013
Conference:April 24-26, 2013


مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.