Topics of Interest


The list of topics includes, but is not limited to the following: - Software quality engineering, management and control
- Software quality attributes and quality requirements
- Software reliability, security and safety
- Software quality standards and certification
- Software quality assurance techniques, tools and frameworks
- Software quality of embeded systems
- Software quality of critical systems
- Formal methods in software quality engineering
- Software evolution and prediction
- Software maintenance process models, standards and tools
- Software testing approaches, models, techniques and tools
- Formal methods in software verification and validation
- Software analysis techniques and tools
- Static software analysis techniques and tools
- Static timing analysis
- Software measurement and metrics
- Software timing measurement and monitoring
- Software process evaluation and improvement
- Models of product or process quality
- Empirical studies in software product evaluation
- Case studies, lessons learned and empirical results on software quality