Типы данных как инструмент повышения надежности и качества программного обеспечения информационных систем
Types of data as a tool for improving the quality and reliability of information systems software

УДК УДК 004.43; 004.052

В статье обсуждается вопросы качества и надежности программного обеспечения информационных систем. Рассматривается роль типов данных в языках программирования.

The article discusses the issues of quality and reliability of information systems software. Examines the role of data types in programming languages.

Авторы:

Амелина Ольга Викторовна

ФГБОУ ВПО «Госуниверситет — УНПК», г. Орёл
Кандидат экономических наук, доцент кафедры «Информационные системы»

Список цитируемой литературы:

  • УДК 004.43; 004.052 Conradi R., Fuggetta A. Software Process Improvement: what can be improved? Politecnico di Milano, Italy, 2001.
  •  Humphrey W.S. Managing the Software Process, Addison-Wesley Publishing Co., Reading, MA (1989).
  •  Humphrey W: A Discipline for Software Engineering, Addison-Wesley Publishing Company 1997.
  •  Sommerville I. 1997. Software Process Models. In The Computer Science and Engineering handbook. Ed. A.B. Tucher, JR. CRC Press.
  • Cordelli, L. Basic polymorphic typechecking. Science of Computer Programming 8, pp. 147-182, 1987.
  •  Hudak, P. Haskell 98 Language and Libraries. The Revised Report [Text] / P. Hudak, S. Peyton Jones, P. Wadler // Technical report. – Yale University and Glasgow University. – 2002.
  •  Milner, R., M. Tofle, R.Harper, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.

Последние новости

Случайный материал

  • В статье рассматриваются вопросы эффективной организации мониторинга процессов оказания электронных услуг. В качестве инструмента проведения мониторинга предлагается использовать автоматизированную систему, обеспечивающую адаптивную организацию процессов сбора, хранения и обработки данных. Сформулированы системные и технологические задачи организации мониторинга, раскрыты их сущность и принципы решения.
    Фролов Алексей Иванович, ФГБОУ ВПО «Госуниверситет – УНПК», г. Орел
  • В данной статье рассматриваются подходы к созданию подсистемы стабилизации температуры в барокамере экспериментальной системы контроля качества приборов. Данная подсистема позволяет управлять величиной тока, подаваемого на термоэлектрический модуль, для поддержания воздушной среды управляемого объекта – барокамеры в пределах заданной величины.
    Демина Юлия Александровна, ФГБОУ ВПО «Госуниверситет – УНПК», г. Орел
    Вереницын Андрей Игоревич, ФГБОУ ВПО «Госуниверситет – УНПК», г. Орел
    Демина Елена Григорьевна, ФГБОУ ВПО «Госуниверситет – УНПК», г. Орел
  • В данной статье рассматривается актуальность применения свободного программного обеспечения для оказания электронных услуг населению, а также выявляются проблемы при его внедрении и сопровождении.
    Стычук Алексей Александрович, ФГБОУ ВПО «Госуниверситет – УНПК», г. Орел
    Постников Максим Владимирович, ФГБОУ ВПО «Госуниверситет – УНПК», г. Орел