JavaSRSPlugin4

JavaSRS is an instance of MOP for Java and for SRS specifications. It is obtained by running JavaMOP with SRS specifications. Despite its simplicity, JavaSRS has conceptual (and potentially theoretical) value; many Java users prefer to specify properties exclusively as parametric string rewriting systems.