MyPage is a personalized page based on your interests.The page is customized to help you to find content that matters you the most.


I'm not curious

Provable Code

Course Summary

Bertrand Meyer defined Design by Contract as a system of documenting and proving the responsibilities of a software system. Today, we have tools built into our compilers and type systems that help us to prove those assertions. This course will introduce y


  • +

    Course Syllabus

    ● Predicate Calculus
        ◦ Introduction
        ◦ Predicates and First Order Logic
        ◦ Inference
        ◦ Induction
        ◦ Axioms
    ● Design by Contract
        ◦ Introduction
        ◦ Cache and Query
        ◦ Preconditions
        ◦ Eliminating Preconditions
        ◦ Postconditions and Invariants
        ◦ Strict Preconditions
        ◦ Strength
        ◦ Inheritance
        ◦ Correctness
        ◦ Inference
        ◦ Summary
    ● Code Contracts
        ◦ Introduction
        ◦ Satisfying Preconditions
        ◦ Invariants
        ◦ Help When Code Contracts Fails
        ◦ Inheritance
        ◦ Conclusion
    ● Patterns
        ◦ Introduction
        ◦ Parameter Pattern
        ◦ Callback Pattern
        ◦ Factory Methods
        ◦ Constructor Pattern
        ◦ Socket API Improvement
        ◦ Conclusion
    ● Degrees of Freedom
        ◦ Introduction
        ◦ Etch
        ◦ Definitions
        ◦ Proving Degrees of Freedom
        ◦ Message Bus
        ◦ Dependency Tracking
        ◦ Summary
    ● Immutability
        ◦ Introduction
        ◦ Assignment Statements
        ◦ Constructors (revisited)
        ◦ Class Responsibilities
        ◦ Categories of State and Classes
        ◦ Dependency Chains
        ◦ Conclusion
     


Course Fee:
USD 29

Course Type:

Self-Study

Course Status:

Active

Workload:

1 - 4 hours / week

This course is listed under Development & Implementations Community

Attended this course?

Back to Top

Awards & Accolades for MyTechLogy
Winner of
REDHERRING
Top 100 Asia
Finalist at SiTF Awards 2014 under the category Best Social & Community Product
Finalist at HR Vendor of the Year 2015 Awards under the category Best Learning Management System
Finalist at HR Vendor of the Year 2015 Awards under the category Best Talent Management Software
Hidden Image Url

Back to Top