Call for Papers – model-based testing

From Call For Papers

Model Based Development (MBD) comprises approaches to software development, which rely on modelling and the systematic transition from models to executable code. This workshop focuses on the theoretical and practical aspects related with the adoption of MBD methodologies (notation, process, methods, and tools) for supporting the construction of software for pervasive and embedded systems.

Suggested areas of interest in the workshop include, but are not
restricted to:

• Meta-modelling and Tools
• Modelling of Non-Functional Requirements
• Model-based Architectures
• Model Transformation and Code Generation
• Software Process, Product Lines and Frameworks
• Model-based Analysis, Testing and Verification
• Models for Adaptable and Predictable System Quality
• Models for Adaptive System Infrastructure
• Models for Ultra-Large Scale Systems
• Case Studies and Demonstration Cases

IMPORTANT DATES

• Submission of full papers: 15.Jan.2009
• Notification of acceptance: 09.Feb.2009
• Camera-ready paper version: 19.Jan.2009
• Workshop at ICSE 2009: 16.May.2009

Software scalability testing