specification language for Java programs
Java Modeling Language (JML) – jedna z formalnych metod określenia właściwości implementacji oprogramowania w języku Java, bazująca na idei projektowania związanego z kontraktem (ang. design by contract). Notacja ta umożliwia szczegółowy opis zachowania klas oraz interfejsów w języku Java.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).