Библиотека Рефераты Курсовые Дипломы Поиск
Библиотека Рефераты Курсовые Дипломы Поиск
сделать стартовой добавить в избранное
Кефирный гриб на сайте www.za4et.net.ru

Компьютеры, Программирование Компьютеры, Программирование     Программное обеспечение Программное обеспечение

Программные стандарты и их спецификации

Забавная пачка денег "100 долларов".
Купюры в пачке выглядят совсем как настоящие, к тому же и банковской лентой перехвачены... Но вглядитесь внимательней, и Вы увидите
60 руб
Раздел: Прочее
Ручка "Шприц", желтая.
Необычная ручка в виде шприца. Состоит из пластикового корпуса с нанесением мерной шкалы. Внутри находится жидкость желтого цвета,
31 руб
Раздел: Оригинальные ручки
Совок №5.
Длина совка: 22 см. Цвет в ассортименте, без возможности выбора.
18 руб
Раздел: Совки

Сергей Кузнецов Программные стандарты являются основой подхода Открытых Систем. По прошествию многих лет я не могу не согласиться с Юрием Николаевичем Знаменским (Привет, Юра!) в том, что для создания распределенных систем необходимо использовать стандартные транспортные протоколы. В той или иной степени, в зависимости от прикладной области, но по крайней мере, учитывать наличие стандартов нужно обязательно. Если. Если вы хотите сохранить возможность расширения своей системы путем вовлечения в нее компонентов, разработанных независимо, но с учетом стандартов. Если. Если вы хотите обеспечить интероперабельность (новорусское словечко, означающее возможность совместного функционирования независимо разработанных программных или аппаратных элементов) компонентов своей системы с компонентами других систем, разработанных независимо, но с учетом стандартов. Если. Если вы хотите сохранить возможность переноса приложений на платформы других производителей, разработанные независимо, но с учетом стандартов. Следование набору общепринятых стандартов практически эквивалентно приверженности подходу Открытых Систем. Сегодня это уже всем понятно (конечно, тем людям, для которых это существенно). Непонятно другое: как должен быть оформлен стандарт, насколько он должен быть формализован, как проверить соответствие конкретной реализации тому или иному стандарту. Общее согласие по этому вопросу отсутствует. Имеется масса различных точек зрения, предлагаются различные решения. И понятно, что вряд ли удастся принять стандарт для составления стандартов. Эта заметка направлена на то, чтобы хотя бы частично разобраться с современными стандартами программных средств, с их спецификациями, уровнями формализации стандартов и возможностями проверки соответствия стандарту конкретной реализации. Я не претендую на общность и излагаю только собственные соображения без ссылок на авторитеты. Начнем с положительных (и не очень) примеров. Для меня самым любимым стандартом является международный стандарт A SI/ISO языка Си. Вот почему я его люблю. Этот стандарт опубликован в виде двух книг. Первая книга представляет собой формальное описание языка, включая Бекусовские определения синтаксиса и естественно-язычные (на английском языке) описания семантики соответствующих языковых конструкций. Вторая книга (Ra io al) включает подробные неформальные разъяснения смысла языковых конструкций, введенных в первой книге. Идея стандарта состоит в том, что параллельно читаются обе книги. Основная информация содержится в первом томе, но как только изложение на (полу)формальном уровне становится непонятным, можно обратиться к соответствующему месту второго тома и получить неформальные человеческие пояснения. Кроме определения языковых конструкций Стандарт Си содержит спецификации основных библиотек, которые должны поддерживаться в любой стандартной реализации языка Си. Наличие этих спецификаций исключительно важно само по себе, поскольку, как известно, язык Си не содержит конструкций, обеспечивающих связь с внешним миром (в частности, операторов ввода/вывода). Для этой заметки особенно важно то, что спецификации библиотечных функций в Стандарте Си вводятся с использованием ранее определенных конструкций языка Си.

Конечно, эти спецификации носят только синтаксический характер, а семантика библиотечных функций определяется на естественном языке. Вторым по качеству, с моей точки зрения, является стандарт языка баз данных SQL-92. По моему мнению, этот стандарт является лучшим в компьютерной истории стандартом языков баз данных. Синтаксические конструкции языка формально определяются Бекусовскими формулами. Семантика операторов описывается на естественном языке, но достаточно подробно и точно. Подобно стандарту языка Си стандарт SQL-92 содержит дополнительную часть, в которой средствами языка SQL специфицированы необходимые таблицы-каталоги, которые должны поддерживаться в любой SQL-ориентированной базе данных. По своей значимости наличие стандартизованных спецификаций таблиц-каталогов равносильно наличию стандартизованных спецификаций библиотек в стандарте языка Си. Еще раз заметим, что спецификации стандарта SQL-92 носят исключительно синтаксический характер. Весь смысл языковых конструкций и стандартизованных таблиц-каталогов объясняется на естественном языке. Наверное, наиболее актуальный набор стандартов в мире операционных систем составляют стандарты, составленные рабочими группами POSIX. Первая рабочая группа POSIX (Por able Opera i g Sys em I erface) была образована в IEEE в 1985 г. на основе U IX-ориентированного комитета по стандартизации /usr/group (ныне U iForum). Отсюда видна первоначальная направленность работы POSIX на стандартизацию интерфейсов ОС U IX. Однако постепенно тематика работы рабочих групп POSIX (а со временем их стало несколько) расширилась настолько, что стало возможным говорить не о стандартной ОС U IX, а о POSIX-совместимых операционных средах, имея в виду любую операционную среду, интерфейсы которых соответствуют спецификациям POSIX. Наиболее важной с практической точки зрения является деятельность рабочей группы POSIX 1003.1 "Интерфейсы системного уровня и их привязка к языку Си". В документах этой рабочей группы определяются обязательные интерфейсы между прикладной программой и операционной системой. С выпуска первой версии этого документа началась работа POSIX, и он в наибольшей степени связан с ОС U IX, хотя в настоящее время интерфейсы 1003.1 поддерживаются в любой операционной среде, претендующей на соответствие принципам Открытых Систем. Из числа прочих рабочих групп упомянем POSIX 1003.2 "Shell и утилиты", POSIX 1003.3 "Общие методы проверки совместимости с POSIX", POSIX 1003.4 "Средства, предоставляемые системой для прикладных программ реального времени", POSIX 1003.5 "Привязка языка Ада к стандартам POSIX", POSIX 1003.6 "Расширения POSIX, связанные с безопасностью" и т.д. Рабочие группы POSIX в настоящее время находятся в ведении IEEE, и именно этот институт по мере готовности стандартов рекомендует их к принятию Международной организации по стандартизации (ISO). Как показывает наличие POSIX 1003.3, POSIX-сообщество справедливо озабочено проблемой формальной проверки соответствия стандартам конкретных реализаций. К сожалению, несмотря на наличие целого ряда соответствующих программных продуктов, проверки носят только синтаксический характер.

Как и большинство современных программных стандартов, все документы POSIX включают описание семантики только на неформальном уровне. Приведенные примеры, конечно, затрагивают лишь небольшую часть современных программных стандартов. Однако этого достаточно, чтобы продемонстрировать основную проблему: мы научились (и уже давно) формально специфицировать синтаксис программных конструкций, но не умеем на том же уровне простоты специфицировать их семантику. И дело не в том, что отсутствуют языки спецификации семантики (например, существует красивый язык алгебраических спецификаций SDL). Беда в том, что при использовании любого такого языка семантические спецификации получаются слишком сложными. Сложность семантической спецификации программной конструкции приближается к сложности реализации этой конструкции на языке программирования. Поэтому, в частности, возникает задача проверки правильности (или отладки?) самих спецификаций. А на что при этом опираться? Снова на неформальное описание семантики? Поэтому, как это не печально, в ближайшем будущем нам придется принимать на веру заявления производителей программных продуктов об их соответствии стандартам. Некоторую уверенность может дать процедура сертификации программного продукта, производимая авторитетной и независимой организацией. Но и эта уверенность может быть только относительной, поскольку эксперты, выполняющие процедуру, тоже опираются на неформальные спецификации семантики.

Инструкции, вычисляющие квадратный корень, могут быть не тривиальными, реализуя определенный алгоритм вычисления квадратного корня. Даже для put в классе STACK2 одной и той же спецификации могут соответствовать различные алгоритмы, например: if count = capacity then Result := True else Result := False end или упрощенный вариант, учитывающий правила инициализации: if count = capacity then Result := True end В ходе работы мы столкнулись со свойством утверждений, заслуживающим дальнейшей проработки: оно важно для авторов клиентских классов, не интересующихся реализацией, но нуждающихся в абстрактном описании роли программы. Эта идея приведет нас к понятию краткой формы (short form), обсуждаемой далее в этой лекции в качестве основного механизма документирования класса. Предупреждение: по практическим соображениям допускается включение в утверждение функций - по внешнему виду императивных элементов. Эта проблема исследуется в конце этой лекции. В заключение обсуждения полезно перечислить слова, используемые по контрасту в двух категориях программных элементов: Реализация Спецификация Инструкция Выражение Как Что Императив Аппликатив Предписание Описание Таблица 11.2.Императивно - аппликативное противопоставление Замечание о пустоте структур Предусловие в процедуре создания (конструкторе) make класса STACK1 требует комментария

1. Авторское право на программное обеспечение

2. Программное обеспечение в фазе модернизации

3. Разработка программного обеспечения для Отделения Реанимации и Интенсивной Терапии новорожденных МГБ N1 г. Сургута

4. Системное и программное обеспечение

5. Разработка программного обеспечения решения нелинейных уравнений

6. Программное обеспечение пункта обмена валюты банка
7. ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ПЕРСОНАЛЬНЫХ КОМПЬЮТЕРОВ
8. Классификация программного обеспечения ЭВМ

9. Программное обеспечение персональных компьютеров

10. Сравнительный анализ каскадной и спиральной моделей разработки программного обеспечения

11. Верификация и аттестация программного обеспечения

12. Обзор современного программного обеспечения управления проектами

13. Разработка программного обеспечения

14. Анализ программного обеспеченния обучения и воспитания глубоко умственно отсталых детей

15. Структура программного обеспечения региональной экоинформационной системы

16. Виды программного обеспечения, операционной система

Кружка-хамелеон "Чеширский кот".
Вам нравятся необычные вещи? Любите удивляться и удивлять всех вокруг? Кружка-хамелеон "Чеширский кот" будет поднимать
304 руб
Раздел: Кружки
Насос ножной Phantom.
Количество цилиндров: 2. Суммарный рабочий объем цилиндров: 0,55 литра. Длина шланга: 0,55 м.
698 руб
Раздел: Насосы, компрессоры автомобильные
Подставка для ванны "Мишка", антискользящая, цвет: белый.
Подставка для ног предназначена для того, чтобы помочь малышу самостоятельно садиться на унитаз или пользоваться умывальником. Небольшой
353 руб
Раздел: Подставки под ноги

17. Программное обеспечение

18. Вредоносное программное обеспечение

19. Программное обеспечение модемов

20. Разработка программного обеспечения

21. Программное обеспечение

22. История развития прикладного программного обеспечения
23. Конфигурирования программного обеспечения алгоритма OSPF на маршрутизаторе
24. Программное обеспечение для создания видеоклипов

25. Программное обеспечение персонального компьютера

26. Алгоритмические языки и программирование Системное программное обеспечение Технология программирования"

27. Программное обеспечение для ЭВМ

28. Крупнейшие производители операционных систем и программного обеспечения

29. Некоторые особенности реализации алгоритма защиты программного обеспечения от нелегального использования

30. Бухгалтерский и налоговый учет покупаемого программного обеспечения

31. АИС управления серверным программным обеспечением на базе программного комплекса Webmin/Alterator

32. Аппаратура, программное обеспечение и микропрограммы

Вантуз вакуумный "PRO Pump", с двумя адаптерами.
Вантуз вакуумный STAYER PROPump, применяется для прочистки засоров в канализационных трубах гидравлическим ударом. Вакуумный вантуз STAYER
674 руб
Раздел: Вантузы
Лента безопасности Lubby, мягкая, универсальная "особо широкая", 2 метра.
Мягкая универсальная лента: 2 метра, идеальна для краёв кроватки, столов и для острых углов удобно регулировать нужную длину, надежное
440 руб
Раздел: Безопасность ребенка
Трикотажная пеленка кокон "Bambola" (цвет: голубой).
Состав: интерлок, хлопок 100%. Возраст: 0-3 месяца.
381 руб
Раздел: Пелёнки

33. Виды программного обеспечения. Общие требования к программным системам

34. Методика работы с модулем "Реализация и склад" программного обеспечения "ПАРУС"

35. Общая характеристика и классификация программного обеспечение и базовых технологий управления информационными ресурсами

36. Операционная система, программное обеспечение ПК

37. Организация процесса конструирования программного обеспечения

38. Оценка риска проектов программного обеспечения
39. Прикладное программное обеспечение
40. Прикладное программное обеспечение. Оновные понятия комбинаторики

41. Программное обеспечение

42. Программное обеспечение Lotus-Notes

43. Программное обеспечение Линукс

44. Программное обеспечение системы принятия решений адаптивного робота

45. Программное обеспечение ЭВМ и языки программирования

46. Программное обеспечение. Операционная система

47. Проектирование процесса тестирования программного обеспечения

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

Рюкзак школьный с эргономичной спинкой "Neon. Модель Multi Pack".
Ранец с эргономичной спинкой. Жесткий каркас. Вмещает формат А4+. Размер: 40x32x18 см. Имеет два отделения на молнии, боковые карманы на
2306 руб
Раздел: Без наполнения
Кружка фарфоровая "FIFA 2018. Забивака. Класс!", 380 мл.
Объем: 380 мл. Материал: фарфор.
319 руб
Раздел: Кружки, посуда
Органайзер для обуви "Сороконожка".
Органайзер "Сороконожка", который можно повесить на дверное полотно, стену и другие поверхности, будет содержать всю Вашу обувь
1056 руб
Раздел: Полки напольные, стеллажи

49. Разработка интернет – магазина по продаже программного обеспечения

50. Разработка прикладного программного обеспечения деятельности предприятия в системе клиент-сервер

51. Разработка программного обеспечения для нахождения корней биквадратного уравнения

52. Разработка программного обеспечения для оценки уровня знаний студентов с применением технологии "Клиент-сервер"

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

54. Разработка программного обеспечения по автоматизации учебного процесса в колледже
55. Разработка программно–алгоритмических средств для определения надёжности программного обеспечения на основании моделирования работы системы типа "клиент–сервер"
56. Реинжиниринг программного обеспечения

57. Технологический процесс разработки программного обеспечения

58. Корпоративная локальная компьютерная сеть на предприятии по разработке программного обеспечения

59. Системное программное обеспечение

60. Организационно-экономические мероприятия по совершенствованию качества выпускаемого программного обеспечения

61. Революция в программном обеспечении УЧПУ

62. Программное обеспечение базы данный "Экологический мониторинг"

63. Международные стандарты аудита, их роль и значение в обеспечении качества аудиторской деятельности

64. Международные нормы и стандарты по обеспечению прав и свобод человека

Бутылочка для кормления "Avent Classic+", 260 мл (розовая, рисунок: бабочка), от 1 месяца.
Ограниченная серия - бутылочка для кормления розовая c рисунком (бабочка), серия Classic+. Зарекомендовавшая себя серия Classic была
403 руб
Раздел: Бутылочки
Пакеты с вырубной ручкой "Stones & Samson", 50х40 см (50 штук).
Размер: 50х40 см. В упаковке: 50 штук. Материал: полиэтилен (ПВД).
331 руб
Раздел: Узоры
Набор со стикерами и фоном "Транспорт".
Этот красочный набор стикеров включает в себя 5 глянцевых картинок, на которых изображены различные местности, а также более 165 виниловых
479 руб
Раздел: Альбомы, коллекции наклеек

65. Программно-методическое обеспечение спецкурса

66. Проблемы обеспечения продовольствием и перенаселение Земли

67. Планирование обеспечения горючим воинской части в мирное время

68. Территориальные особенности обеспеченности хозяйства Украины природными ресурсами (Контрольная)

69. Геодезическое обеспечение при строительстве мостов

70. Проблемы пенсионного обеспечения в РФ
71. Деятельность органов внутренних дел по обеспечению режима чрезвычайного положения
72. Залог - как способ обеспечения исполнения обязательств

73. "Военный коммунизм" - вынужденная политика или программный идеал большевизма

74. Правовое обеспечение деятельности внебюджетных фондов (Контрольная)

75. Роль главы государства в обеспечении конституционных прав личности в РФ

76. Обеспечение национальной безопасности РК в контексте интеграционных связей стран СНГ (с 1991-2001г.г.)

77. Правовое обеспечение информациооных систем

78. Нормативно - правовая основа социального обеспечения военнослужащих

79. Право социального обеспечения

80. Служба документационного обеспечения управления

Счеты большие "Mapacha".
Благодаря этим красочным счётам малыш очень быстро научится считать! Счёты оснащены 10-ю осями, на каждой из которых расположено по 10
800 руб
Раздел: Счетные наборы, веера
Доска магнитно-маркерная.
Доска напольная в деревянной некрашеной раме, азбука и цифры на магнитах, маркер. Доска двухсторонняя, с одной стороны "белая"
1619 руб
Раздел: Доски магнитно-маркерные
Кружка керамическая "FIFA 2018", 650 мл.
Объем: 650 мл. Материал: керамика.
880 руб
Раздел: Кружки, посуда

81. Медицинское обеспечение российской армии в период Первой Мировой Войны

82. Программные средства и приёмы работы на компьютере

83. Программные средства интернет

84. Использование Интернет-технологий для обеспечения информативности населения

85. Краткий конспект лекций по Теории тестирования аппаратных и программных средств

86. Приводы CD-ROM. Форматы и стандарты
87. Аппаратное обеспечение персональных компьютеров
88. Компилятор. Лингвистическое обеспечение САПР

89. Создание автоматизированной системы расчета трудоемкости разработки и сопровождения программных средств

90. Диплом Программная система "Аттестации ИТ-специалистов"

91. Крупнейшие фирмы-разработчики операционных систем и программных средств

92. Применение программного комплекса Electronics Workbench для разработки радиоэлектронных устройств

93. Вопросы к дисциплине: Стандартизация и проектирование программных средств (СППС)

94. Обратная задача обеспечения требуемого закона движения

95. Способы обеспечения прав граждан

96. Принципы обеспечения безопасности АЭС на этапах, предшествующих эксплуатации

Универсальный стиральный порошок "Meine Liebe", концентрат, 1000 г.
Предназначен для стирки цветного и белого белья во всех типах стиральных машин при температурах от 30 С до 90 С, а так же для ручной
438 руб
Раздел: Стиральные порошки
Уголок природы. Стенд.
Стенд с подвижными стрелками. На стенде расположены 3 пластиковых кармашка для карточек. Изготовлен из качественного, плотного, картона -
396 руб
Раздел: Демонстрационные рамки, планшеты, таблички
Кружка "Лучшая Мама в мире", с рисунком.
Качественные керамические кружки с оригинальным рисунком, выполненным в процессе производства (подглазурное нанесение). Упаковка: белый
372 руб
Раздел: Кружки

97. Совет Безопасности ООН и его роль в обеспечении мира и всеобщей безопасности

98. Инженерно-техническое обеспечение охраны объектов

99. Технологичность изделия, ее показатели и пути обеспечения


Поиск Рефератов на сайте za4eti.ru Вы студент, и у Вас нет времени на выполнение письменных работ (рефератов, курсовых и дипломов)? Мы сможем Вам в этом помочь. Возможно, Вам подойдет что-то из ПЕРЕЧНЯ ПРЕДМЕТОВ И ДИСЦИПЛИН, ПО КОТОРЫМ ВЫПОЛНЯЮТСЯ РЕФЕРАТЫ, КУРСОВЫЕ И ДИПЛОМНЫЕ РАБОТЫ. 
Вы можете поискать нужную Вам работу в КОЛЛЕКЦИИ ГОТОВЫХ РЕФЕРАТОВ, КУРСОВЫХ И ДИПЛОМНЫХ РАБОТ, выполненных преподавателями московских ВУЗов за период более чем 10-летней работы. Эти работы Вы можете бесплатно СКАЧАТЬ.