Методы и средства инженерии программного обеспечения



         

Литература к теме - часть 3


33.  Летичевский А.А., Капитонова Ю.В. Доказательство теорем в математичес­кой информационной среде  //Там же. – 1998. – №.4. – С. 3 – 12.

34. Letichevsky A.A., Gilbert D.R. A model for interaction of agents and environments //Recent trends in algebra's  development technique   Language.–2000. – P.311 – 329.

35. Редько В.Н. Экспликативное программирование: ретроспективы и перспективы//Проблемы  программирования.–  1998. – №2.–С. 22 – 41.

36. Никитченко Н.С.

Композиционно–номинативный подход к уточне­нию понятия программы //  Там же.– 1999.– №1.– С. 16–31.

37.  Редько В.Н. Композиционная структура программологии //Кибернетика и системный анализ. – 1998. –  № 4. – С. 47–66.

38.  Редько В.Н. Основания программологии // Там же. – 2000.– № 1.– С. 35–57.

39. Редько В.Н., Брона Ю.Й., Буй Д.Б. Реляційні бази даних: табличні алгебри та SQL–подібні мови //Видав.  дім “Академперіодика”, Київ, 2001.–195с.

40. Цейтлин Г.Е. Введение в алгоритмику.– Изд.–во Фара, 1999.–310с.

41.

Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Алгебра. Языки. Программирование. – Наукова думка.– 1974.–317с. ( перераб. и переизд. 1979г., 1989г.).

42.  Ющенко Е.Л , Сужко С,В,,  Цейтлин Г.Е., Шевченко А.И. Алгоритмические алгебры.– Учебник (укр.).– ИЗММ.– 1997.–480с.

43. Abrial I.R., Meyer B.  Spesification Language Z. –Boston: Massachusetts Computer Associates Inc.. 1979.–378 p.

44. Biorner  D.Jones C.B. The Vienna Development Methods (VDM): The Meta – Language.–Vol. 61 of Lecture Notes  in Computer Science .–  Springer Verlag,  Heiderberg, Germany, 1978.–215p.

45. The RAISE Language Group.  The RAISE Spesification Language. BCS Practitioner Series .– Prentice  Hall, 1982.–397 p.

46. The RAISE Methods Group.  The RAISE Development Methods. BCS Practitioner Series .– Prentice  Hall, 1985.–493p.





Содержание  Назад  Вперед