Скрытая алгебра
 | Эта статья предоставляет недостаточный контекст для тех, кто не знаком с предметом . ( Июль 2013 г. ) |
Скрытая алгебра обеспечивает формальную семантику для использования в области разработки программного обеспечения , особенно для параллельных распределенных объектных систем . [1] Он поддерживает доказательства корректности . [2]
Скрытую алгебру изучал Жозеф Гоген . [1] [3] Он обрабатывает функции больших программных систем, включая параллелизм , распределение , недетерминизм и локальные состояния . Он также обрабатывал объектно-ориентированные функции, такие как классы , подклассы ( наследование ), атрибуты и методы . Скрытая алгебра обобщает алгебры процессов и систем переходов подходы .
Ссылки
[ редактировать ]- ^ Перейти обратно: а б Гоген, Джозеф . «Скрытая домашняя страница алгебры» . Калифорнийский университет, Сан-Диего , США . Проверено 26 сентября 2011 г.
- ^ Малькольм, Грант (31 июля 2006 г.). «Скрытая алгебра: поведенческая спецификация и доказательство для систем с состоянием» . Лондонский университет , Великобритания . Проверено 26 сентября 2011 г.
- ^ Гоген, Джозеф (январь 2000 г.). «Скрытая алгебра и параллельное распределенное программное обеспечение» . Заметки по разработке программного обеспечения ACM SIGSOFT . 25 (1). ACM , США: 51–52. дои : 10.1145/340855.340889 . S2CID 11950673 .
Внешние ссылки
[ редактировать ] | Эта программной инженерии, статья, посвященная является незавершенной . Вы можете помочь Википедии, расширив ее . |