5. SoMeT 2006: Quebec, Canada

Chapter 1. Software Specification and Comprehension Models

Chapter 2. Software Development and Related Methodologies

Chapter 3. Network Security and Applications

Chapter 4. Software Security and Program Bugs

Chapter 5. Validation and Diagnosis and Practical Artefacts on Software Security

Chapter 6. Program Conversion and Related Software Validation

Chapter 7. Intelligent Software Design and Maintenance

Chapter 8. End User Requirement Engineering and Testing