'Formal development process' presentation slideshows

Real-Time Systems Development by the Formal Approach - course notes -

495 views • 38 slides

Automating Government With Quickbase

Automating Government With Quickbase. Chris Willey Interim CTO District of Columbia Government. Quickbase. The Need. Lots of small to mid-size business problems Time to market Little or no budget Normal solution: unmet needs. The Solution. Manageable by business user Cloud-based

311 views • 20 slides

Topics

Correctness by Construction: Developing a Commercial Secure System by Anthony Hall Roderick Chapman . Topics. Introduction Background Development Approach Formal Methods Programming Languages and Static Analysis The Use of SPARK in the CA Results Summary. Introduction.

289 views • 17 slides