Chris Johnson, Index

---

Conclusion

• Why is software different?
  
  
  
• Software requirements:
  - Leveson's completeness criteria.
  
  
  
• Software design (summary):
  MIL-338B preliminary design;
  MIL-338B detailed design.

---