Wikipedia:Weryfikowalność
Ten artykuł od 2022-05 wymaga zweryfikowania podanych informacji.
Należy podać wiarygodne źródła w formie przypisów bibliograficznych.
Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte.
Sprawdź w źródłach: Google Books • Google Scholar • BazHum • BazTech • RCIN • Internet Archive (texts / inlibrary)
Dokładniejsze informacje o tym, co należy poprawić, być może znajdują się w dyskusji tego artykułu.
Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.

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)[1]. Notacja ta umożliwia szczegółowy opis zachowania klas oraz interfejsów w języku Java.

Przypisy

edytuj
  1. ↑ The Java Modeling Language (JML) Home Page [online], www.cs.ucf.edu [dostęp 2024-05-23] (ang.).

📚 Artikel Terkait di Wikipedia

Lista skrótów i skrótowców używanych w informatyce

Information Technology eXtended JDK – Java Development Kit JDO – Java Data Object JDOQL – Java Data Object Query Language JFS – Journaling File System JIT

QML

QML (Qt Meta Language, Qt Modeling Language) – oparty na JavaScript deklaratywny język programowania służący do projektowania aplikacji silnie związanych

Anylogic

interfejs programistyczny GUI oraz graficzny język modelowania (ang.: modeling language) umożliwiający tworzenie modeli w wygodny sposób przez składanie z

Lista narzędzi UML

udostępnionym przez projekt Eclipse GMT (ang. Generative Modeling Tools). BoUml – (Obsługuje: C++, Java, IDL, Php, Python) obejmuje UML 2.0, tworzy dokumentację

X3D

przez składnię kodowania żółwia. X3D został następcą Virtual Reality Modeling Language (VRML) w roku 2001. X3D wprowadza rozszerzenia do VRML (np. CAD, Geospatial

Feature-driven development

implementacji FDD. Pierwszy opis FDD pojawił się w szóstym rozdziale książki Java modeling in color with UML autorstwa Petera Coada(inne języki), Erica Lefebvre

Rozpoznawanie mowy

2007-10-23, Google wants your phonemes. C. Chalba et al., 2012, Language Modeling for Automatic Speech Recognition Meets the Web: Google Search by Voice

Spis formatów plików

S-550/S-50/W-30 Disk Image; SDL Alias Wavefront Scene Description Language; SDML Spacial Data Modeling Language; SDN Software Distribution Network compressd file archive;