2 citations · 3 across the 5 of their papers we have counts for
1 paper · 1 filter
Nikolaos Triantafyllou, Petros Stefaneas, Panayiotis Frangos
Design by Constract (DBC) has influenced the development of formal specification languages that allow the mix of specification and implementation code, like Eiffel, the Java Modeli…