Design by Contract
1 Simulated Annealing (Reading – Section 10.9 of NRC) Genetic Algorithms Optimisation Methods.
Design by Contract Advanced Software Tools Seminar Alexander Freidin 2006 Defining Contracts on Method Call Sequences.
Software Testing Verification and validation planning Software inspections Software Inspection vs. Testing Automated static analysis Cleanroom software.
J2ME: Design, Performance and Efficiency With WSDD