Channels ▼

Blogs

November 24, 2014

Abstractions For Binary Search, Part 6: How On Earth Do You Test It?

We will reduce a substantial part of our problem to calling these two functions repeatedly with suitably chosen test cases and verifying that they return the same results.

November 18, 2014

In Command

Simple tools can be combined in many ways to do things

November 14, 2014

Bluetooth Phone Home

Using mbed on the embedded side to quickly create a BLE device and with the Android API doing most of the heavy lifting on the phone side, it can be pretty painless to create a complete BLE application.

November 13, 2014

Abstractions For Binary Search, Part 5: Getting Down to Details

It's hard to imagine how this code could be much simpler. However, we don't actually know whether it works.

November 10, 2014

Invariants for Binary Search, Part 4: Using The Improved Abstractions

We continue our discussion of how to implement our binary search in an n-element sequence.




More architecture and design/oberon system 3/architecture and design webcasts

>>Next page  



Video