Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Java建模語言 · Vinony

🌐中文

English Español Français Italiano Nederlands Polski Português Русский 中文日本語

EntityQ2517517· pop 9· linked from 22 articles

Java建模語言

specification language for Java programs

Available in 9 languages

Español
Français
中文
Português
Italiano
Catalan
Polski
Ukrainian

via Wikidata sitelinks · CC0

Connections

Wayback Machine

Categories

Formal specification languages Java platform

Sources

wikipedia.externallinksexternallink

compiler

Entity

exception handling

universal quantification

syntax highlighting

existential quantification

design by contract

Java annotation

specification language

Sign in to save

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.33

object-oriented software engineering

Entitydist 0.39

Entitydist 0.39

Entitydist 0.45

Entitydist 0.47

type introspection

Entitydist 0.52

computer-aided software engineering

Entitydist 0.53

functional specification

Entitydist 0.53

Program slicing

Entitydist 0.53

Java variable types

Entitydist 0.54

Program Segment Prefix

Entitydist 0.58

Entitydist 0.62

What links here22 pages

static program analysis

class invariant

modeling language