Povídali jsme si s vedoucí Quintu Gabrielou Moreirou, abychom diskutovali o tom, jak formální specifikace mění způsob, jakým týmy vytvářejí software. Už žádné spoléhání se na nejednoznačné anglické dokumenty. Stavte na referenci, kterou může každý dotazovat a pochopit.
Zkuste Quint:
112