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
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمیباشید. جهت مشاهده پیوندها ثبت نام کنید.
