10 Государство
и право. Юридические науки
У2029
1851. Деньги за землю... или земля
за деньги: Непростой расчет простой аренды
земельных участков / Ставицкий А., Самуйлов
И. // САПР и графика. — 2004. — № 8:
Градостроительство. — С. 10, 12, 14
Описана система расчета арендных
платежей за земельные участки,
функционирующая в качестве приложения
серверной СУБД Oracle Standard Edition. Визуализация
нужного участка производится с помощью ГИС
Autodesk MapGuide.
У1816
1852. Формализованный язык
описания нормативных требований (язык
регламентов) / Поляк В.Е., Безруков А.И., Семин
Е.П. // Информ. технологии. — 2004. — № 7. — С.
48-54. — Библиогр.: 4 назв.
Рассмотрены элементы языка,
позволяющего проинтерпретировать тексты
нормативно-правовых документов, построить
и проанализировать формально-логические
модели системы требований. В качестве
основы языка описания нормативных
требований (языка регламентов) предложено
использовать идеологию объектных языков
программирования. Процесс интерпретации
текстов и построения модели требований
рассмотрен как совокупность двух
подпроцессов: моделирование предметной
области и моделирование системы требований.
В результате создана формальная система,
позволяющая построить на своей базе
информационно-поисковую систему с
расширенными возможностями семантического
поиска, моделировать изменения исходной
системы требований, выявлять противоречия
и оценивать последствия изменений
документации.
|