Conversation

Software Eng Twitter: is there some good formal language for systems modelling/design that is at least somewhat rigorous like BNF?

Replying to

Statecharts perhaps? Depends on what you mean by "systems modelling/design" though…