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.
  • Copy (or create symbolic link) the models directory into your installed Glamorous Toolkit directory.
  • Launch your GToolkit image and Load the presentation and demos for Part 3 evaluating the following expressions in a Playground:

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

After the loading has completed, you can proceed to load the Lepiter contents evaluating this statement:

    BaselineOfCraftingToolsForUnderstandingSoftware loadLepiter