Методы и концепции функционального программирования

Метод аппликативности заключается в том, что программа есть выражение, поставленное из применения функций к аргументам. Программа состоит из совокупности определений функций, представляющих собой вызовы других функций и вложенных друг в друга. Метод поддерживается концепцией функции.

Метод рекурсивного поведения заключается в самоповторяющемся поведении, возвращающемся к самому себе. Метод поддерживается концепцией рекурсии.

Метод настраиваемости заключается в том, что можно легко порождать новые программные объекты по образцу, как значения соответствующих выражений (применение порождающей функции к параметрам образца). Этому способствует то, что не только программа, но и любой программный объект (в идеале) является выражением.

Методология логического программирования

Методология логического программирования - подход, согласно которому программа содержит описание проблемы в терминах фактов и логических формул, а решение проблемы система выполняет с помощью механизмов логического вывода. Логическое программирование начинает свой отсчет времени с конца 60-х годов XX века, когда Корделл Грин предложил использовать резолюцию как основу логического программирования. Алан Колмеро создал язык логического программирования Prolog в 1971 году. Логическое программирование пережило пик популярности в середине 80-х годов XX века, когда оно было положено в основу проекта разработки программного и аппаратного обеспечения вычислительных систем пятого поколения.

Методы и концепции логического программирования

Метод единообразия заключается в одинаковом применении механизма логического доказательства ко всей программе. Метод унификации - это механизм сопоставления с образцом для создания и декомпозиции структур данных.

Методология программирования в ограничениях

Методология программирования в ограничениях - это подход, при котором в программе определяется тип данных решения, предметная область решение и ограничения на значение искомого решения. Решение находится системой. Методология предлагает двухуровневую архитектуру, интегрирующую компонент ограничения и программный компонент. Компонент ограничений обеспечивает основные операции и состоит из системы выводов на фундаментальных свойствах системы ограничений. Операции, окружающие компонент ограничений, реализуются программно-языковым компонентом. Методология возникла в начале 80-х годов XX века как перспективная область исследований на стыке символьных вычислений, искусственного интеллекта, исследования операций и интервальной арифметики.

Методы и концепции программирования в ограничениях

Метод описательной модели вычислений заключается в том, что программа на языке программирования содержит описание понятий и задач. Метод поддерживается концепцией модели.

Контроль ошибок

Контроль ошибок классифицируются по следующим признакам:

• по методу осуществления контроля;

• по способу осуществления контроля.

Методы осуществления контроля ошибок

В настоящее время выделяют такие методы контроля ошибок:

• предварительный;

• текущий;

• последующий.

Предварительный контроль осуществляется до начала работ, совершения операций, подвер­гавшихся проверке, и направлен на предупреждение незакон­ности и нецелесообразности выполнения работ, проведения операций в организации. Его целью является предупреждение ошибок. В организациях пред­варительный контроль используется в ключевых областях — по отношению к трудовым, материальным и финансовым ресур­сам. Форма предварительного контроля играет важную роль в повышении уровня знаний хозяйственных кадров, их профес­сионализма, ответственности за соблюдение законности, це­лесообразности и эффективности использования информационных технологий.

Предварительный контроль чаще всего проводится внутрен­ними экспертами и специалистами организации. За последние годы предварительный контроль проводится также внешними независимыми экспертами и аудиторскими фирмами путем про­ведения консультационной работы в данной организации, экс­пертизы различных схем, проектов бизнес-планов и т.п.

Особенно широко предварительный контроль должен при­меняться для проверки качества информационных ресурсов до их производственного использования, а также планируемых инве­стиций, финансовых вложений и финансовых операций. Эта форма контроля необходима также для разработки проектов и экспертизы уже готовых систем различного характера, для разра­ботки схем и проектов систем организации бухгалтерского учета, систем опти­мизации учетной политики, автоматизированных систем управления производством продукции (работ, услуг), маркетингом, бюджетированием и другими процессами организации. В аудиторской практике предварительный контроль может быть использован также для оценки ценности информации. Путем предварительного об­следования и контроля отдельных систем хозяйственного меха­низма организации, аудиторы оценивают их эффективность и устанавливают уровень аудиторского риска.

Текущий контроль – это проверка качества исполнения во время выполнения вычислительных операций. Текущий контроль проводится непосредственно в ходе осуществления работ или в процессе совершения хозяй­ственных операций и направлен на оперативное устранение не­достатков, распространение (внедрение) научно обоснован­ного положительного опыта и технологий.

Преимущества данной формы техники проведения контроля заключаются в возможности своевременного выявления и уст­ранения допущенных ошибок в бухгалтерских системах, при нарушении стандартов законодательных и нормативных систем, связанных с начислением налогов, обязательных платежей в бюджет и внебюджетные фонды и т.д. Текущая про­верка позволяет устранить «наследственные» (типичные для дан­ной организации) ошибки систем и способствует недопущению таких или аналогичных ошибок в дальнейшем, а также позволяет све­сти до минимума «наследственный» (присущий) и контрольный риски при последующих проверках финансовых компонент организаций.

Текущие проверки проводят как внутренние эксперты, так и внешние независимые эксперты и аудиторские фирмы по­средством наблюдения, обследования объектов контроля, кон­сультирования специалистов и руководителей организаций пу­тем абонентского обслуживания по возникающим правовым, управленческим, налоговым, аналитическим и другим пробле­мам. Кроме того, текущий системный контроль может прово­диться экспертами, аудиторской фирмой на данном экономическом субъекте по договоренности с ним поэтапно, например, помесячно, поквартально и т.д., т.е. не ожидая конца года, ког­да хозяйственные операции уже завершены, и на некоторые из них повлиять фактически уже невозможно. Текущий системный контроль может быть использован как при инициативном, так и при обязательном аудите системы с целью подтверждения досто­верности данных финансовой отчетности организации в конце проверяемого года.

При последующем контроле выявляются и исправляются ошибки, допущенные при выполнении предыдущих операций. Заключительный (последующий) аудиторский контроль осуще­ствляется после выполнения работ и совершения хозяйствен­ных операций. Хотя заключительный (последующий) контроль осуществляется слишком поздно, чтобы ориентировать на про­блемы в момент их возникновения, тем не менее, в системной практике он выполняет важные функции. Одна из них состоит в том, что заключительный контроль дает руководству организа­ции информацию о недостатках и ошибках в системе, рекомендации по их устранению и недопущению в будущем. Сравнивая фактичес­ки полученные и требовавшиеся результаты работы, руковод­ство имеет возможность оценить, насколько реалистично и обо­снованно были проведены работы, хозяйственные операции, составлены планы и т.д. Эта процедура позволяет также полу­чить информацию о возникших проблемах и сформулировать новые направления совершенствования системы, чтобы избежать этих проблем в будущем.

Заключительный (последующий) контроль обеспечивает так­же объективную оценку деятельности организации и проводит­ся экспертами или аудиторской фирмой с целью подтверждения достоверности данных периодической, и годовой бухгалтерской (финансовой) отчетности организации.

Данная форма контроля для отдельных организаций обяза­телен (согласно законодательству), то есть эти организации под­вергаются обязательной системной проверке один раз в году.

Она может быть проведена также по поручению органов доз­нания, следствия при наличии санкции прокурора, суда и ар­битражного суда в соответствии с процессуальным законода­тельством Российской Федерации.

Заключительный (последующий) системный контроль мо­жет быть проведен в необязательном порядке (инициативный аудит) по усмотрению самих организаций с целью устранения ошибок и нарушений в системе бухгалтерского учета, налогообложения и по другим проблемам (проведение анализа финансового состояния и платежеспособности, прогнозирование развития ос­новных видов деятельности организации и т.д.).

Отличительным свойством заключительного (последующего) системного контроля является полнота охвата им проверяе­мых объектов системы, возможность их более глубокого изучения. Это позволяет вскрыть не только недостатки в работе системы, но и неиспользованные резервы повышения эффективности всех видов ее деятельности, наметить и принять меры к ликвидации допущенных в системе нарушений и ошибок.