Day one of @Hillelogram TLA+ workshop done. To say that it’s been eye-opening would be a massive understatement.— David Beazley (@dabeaz) August 14, 2018
I’m an expert in software blueprints, or specifications. I specialize in rigorous, testable software designs that can cut software delivery time by 25% and eliminate business-losing bugs. One client estimated these techniques conservatively saved them $300k annually with only 9 engineering-days of design. Teams can be productive with blueprinting within a week of learning it. I offer the following services:
3 Day Workshops: How to write specifications and apply them to real-world projects. Available in TLA+ and Alloy; Alloy version is also available remotely.
2 Day Workshops: How to specify architectures and business domains. Available in Alloy; workshop can be done remotely.
Mentorship: Working with company engineers to write business specifications and help them in continuing to develop their specification skills. Available in TLA+ and Alloy, both remotely. Purchased hours do not have to be consecutive and can be scheduled to company needs.
Workshops are for max three people to maximize attendee depth of learning, and can be supplemented with followup sessions, pairing, and mentoring. Workshops can also be adapted to a company’s schedule, such as by six half days instead of three full days. Email me here if you want to learn more.
TLA+ allowed us to deploy especially complex code critical to building new partnerships ahead of time with no substantive issues in production. - Blake Thomas, Director of Engineering, eSpark Learning