Tau

Tau is a software development tool and methodology that advances the entire development market by enabling people and groups to automatically generate provably correct software from their collective agreement. Users simply say their software desires in human readable languages instead of code. Tau d... Read more