software design

Showing 5 out of 5 results

ARTICLE

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.

March 29, 2022
SESSION

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 ...

WORKSHOP

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!

WORKSHOP

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!

WORKSHOP

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!