Better Ways of Thinking About Software

Series of talks at OSOCO about other (better?) ways of thinking about software.

This is a work in progress. It would be updated as new talks and workshops were celebrated at OSOCO.

Contents of this repo

• Introduction to the series

• Part 1: Introduction to Model Checking with TLA+:

  • Slides
  • TLA+ sources for exercises

• Part 2: Beyond Lines of Code (TBD).

• Part 3: Understanding Software by Crafting Your Own Tools:

  • Install Glamorous Toolkit and load the presentation and demos of Part 3 evaluating the following expressions in a Playground:

  Metacello new
    repository: 'github://osoco/better-ways-of-thinking-about-software/src';
    baseline: 'CraftingToolsForUnderstandingSoftware';
    load.

    BaselineOfCraftingToolsForUnderstandingSoftware loadLepiter