Английская Википедия:Hidden algebra

Материал из Онлайн справочника
Версия от 08:51, 21 марта 2024; EducationBot (обсуждение | вклад) (Новая страница: «{{Английская Википедия/Панель перехода}} {{context|date=July 2013}} '''Hidden algebra''' provides a formal semantics for use in the field of software engineering, especially for concurrent distributed object systems.<ref name="homepage">{{cite web |url=http://cseweb.ucsd.edu/~goguen/projs/halg.html | title=Hidden Algebra Homepage | publisher=University of California, Sa...»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигацииПерейти к поиску

Шаблон:Context

Hidden algebra provides a formal semantics for use in the field of software engineering, especially for concurrent distributed object systems.[1] It supports correctness proofs.[2]

Hidden algebra was studied by Joseph Goguen.[1][3] It handles features of large software-based systems, including concurrency, distribution, nondeterminism, and local states. It also handled object-oriented features like classes, subclasses (inheritance), attributes, and methods. Hidden algebra generalizes process algebra and transition system approaches.

References

Шаблон:Reflist

External links

Шаблон:Software-eng-stub

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

  1. ↑ 1,0 1,1 Шаблон:Cite web
  2. ↑ Шаблон:Cite web
  3. ↑ Шаблон:Cite journal
Источник — http://wikihandbk.com/ruwiki/index.php?title=Английская_Википедия:Hidden_algebra&oldid=15235737