This workshop is concerned with how formal (i.e., mathematical) techniques can be or should be used to establish a suitable foundation for the specification and verification of component–based systems. Component–based systems are a growing concern for the software engineering community. Specification and reasoning techniques are urgently needed to permit composition of systems from components. Component–based specification and verification is also vital for scaling advanced verification techniques such as extended static analysis and model checking to the size of real systems. The workshop will consider formalization of both functional and non–functional behavior, such as performance or reliability. <b>Keywords:</b> * Techniques for component–based verification or reasoning * Component–based specification languages * Static analysis of components and component compositions * Verification–oriented design methodologies for components * Dynamic checking techniques, including run–time assertion or property checking * Specification and verification of non–functional component behavior (performance, memory, concurrency, etc.) * Unifying formal descriptions of concurrency properties with model–based behavioral descriptions of components * Balancing tradeoffs (automatic/manual verification, soundness/completeness, static/dynamic verification, testing/formal verification, scalability/coverage, etc.) * Theories of component composition * Industrial experience, such as adoption issues, with formal techniques for component–based systems * Case studies of applying formal techniques to component based systems * Educational experience or tactics for formal approaches to component–based systems
Abbrevation
SAVCBS
City
Dubrovnik
Country
Croatia
Deadline Paper
Start Date
End Date
Abstract