Запитання з тегом «object-oriented»


2
Типи власності та роздільна логіка
Типи власності та роздільна логіка, схоже, мають подібні цілі, контроль над власністю та згладжування. Можливо, я також повинен додати: можливість писати модульні специфікації. Що відомо про взаємозв'язок між типами власності та логікою поділу?

2
Формальне визначення / лічильна частина в математиці для "Об'єктів" об'єктно-орієнтованих моделей
Це питання, яке я задав на форумі з математики SE, і мене тут направили. Отже, ось питання - Я новачок як в формальній математиці, так і в теоретичній інформатиці, тому, будь ласка, візьміть мене зі собою, якщо ви вважаєте, що моє питання неправильно поставлено. Об'єктно-орієнтоване моделювання здається дуже корисним у …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.