software design
Showing 5 out of 5 results
Expert Talk: Software Security
Security is a key topic in software. Lately, it has shifted from a security team responsibility to a task every single developer has to think about. Jim Manico, Founder and Secure Coding Educator at Manicode Security, and John Steven, the Founding Principal at Aedify Security, assess the evolution of the security role in order for developers to make the right decisions.

The 7 Quests of Resilient Software Design
Resilient software design is around for some years meanwhile. Still, there seems to be a mismatch between popularity and progress - while patterns and libraries are quite well known for a while, only little progress in terms of creating better robust applications seems to be made. In this session we will examine the probably biggest obstacles and pitfalls on our way towards creating resilient systems. You will learn what they are, how you identify them and what you can do about it. After all, it is still a long way to become a resilient software designer ...

Debuggable Designing with TLA+
You already know how to find bugs in your code, but what about bugs in your design? With a bad design your system is broken from the start, leading to lots of wasted time and costly rework. It's better to find design bugs early, and that's where TLA+ comes in. TLA+ is a language for writing tests directly against a system model, finding bugs before you even start writing the code. It's especially good for finding race conditions in concurrent and distributed systems, and has been enthusiastically recommended by places like Amazon, Microsoft, and CrowdStrike. This workshop will teach the basics on TLA+. No prior experience with software design required!

Debuggable Designing with TLA+
You already know how to find bugs in your code, but what about bugs in your design? With a bad design your system is broken from the start, leading to lots of wasted time and costly rework. It's better to find design bugs early, and that's where TLA+ comes in. TLA+ is a language for writing tests directly against a system model, finding bugs before you even start writing the code. It's especially good for finding race conditions in concurrent and distributed systems, and has been enthusiastically recommended by places like Amazon, Microsoft, and CrowdStrike. This workshop will teach the basics on TLA+. No prior experience with software design required!

Debuggable Designing with TLA+
You already know how to find bugs in your code, but what about bugs in your design? With a bad design your system is broken from the start, leading to lots of wasted time and costly rework. It's better to find design bugs early, and that's where TLA+ comes in. TLA+ is a language for writing tests directly against a system model, finding bugs before you even start writing the code. It's especially good for finding race conditions in concurrent and distributed systems, and has been enthusiastically recommended by places like Amazon, Microsoft, and CrowdStrike. This workshop will teach the basics on TLA+. No prior experience with software design required!
