Here, OOP seems to be actually a solution with its encapsulation. And in a way, certain parts of it already exist in the form of JML ( https://en.m.wikipedia.org/wiki/Java_Modeling_Language )