4 citations · 4 across the 7 of their papers we have counts for
1 paper · 1 filter
Tom Yaacov, Achiya Elyasaf, Gera Weiss
One of the benefits of using executable specifications such as Behavioral Programming (BP) is the ability to align the system implementation with its requirements. This is facilita…