Przejdź do zawartości

Java Modeling Language

Z Wikipedii, wolnej encyklopedii
To jest najnowsza wersja artykułu Java Modeling Language edytowana 20:20, 2 sie 2024 przez MOs810 (dyskusja | edycje).
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
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: Encyklopedia PWN • Google Books • Google Scholar • Federacja Bibliotek Cyfrowych • 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 | edytuj kod]
  1. ↑ The Java Modeling Language (JML) Home Page [online], www.cs.ucf.edu [dostęp 2024-05-23] (ang.).
Źródło: „https://pl.wikipedia.org/w/index.php?title=Java_Modeling_Language&oldid=74469643”