Tag:Java.verification

From Wikipedia, the free encyclopedia

Related Tags

Articles

• Java Modeling Language (1)
  java jml development design architecture constraint wiki formal language java_modelling_language mda java.verification methods modeling cs272 contract assertion dbc ecsjava fejavacourse ja
• Object Constraint Language (1)
  ocl uml mda object architecture modeling omg oo wikipedia design readinglist research software-engineering tesis modelamiento java.verification archuation bdd constraint java.checking