Reducing Software Cost
{"Image DocumentName": "Reducing Software Cost", "Image ImageDescription": "Intervening early through a systematic process. Formal methods for specification. Auto-coding. Formal methods for verification. Using automation. Need it to be fast. Need it to be interpretable.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}