Технологии Microsoft в теории и практике программирования


Технологии Microsoft в теории и практике программирования - стр. 58


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

·             Графические примитивы. Класс Graphics. Контракты и доказательство примитивов. Затрагивается вопрос о том, как доказывать правильность программ использующих вызовы методов принадлежащих классам стандартной библиотеки .Net (class library), в частности рассматриваются некоторые методы класса Graphics.

·             Семейство классов Shapes (графических фигур) на C#. Доказательство корректности проекта Shapes. Рассматривается способ доказательства корректности классов – наследников.

 

 

Автоматизация деятельности высшего учебного заведения на основе технологии сканирования документов

В.Н. Трегубов

Саратовский государственный технический университет

г. Саратов

 

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

Вместе с тем, несмотря на продвинутость университетов в плане теоретической науки и технологий, большинство ВУЗов до настоящего времени не решили проблемы автоматизации своей деятельности. Учет успеваемости, контроль за проведением сессии и другие операции выполняются ручным способом и старыми методами. Хотя необходимость в использовании новых технологий давно назрела.

На сегодняшний момент на рынке не существует качественного программного продукта позволяющего организовать полный цикл документооборота в ВУЗе. Основными причинами этого является то, что для крупных фирм «1С», «Галактика» разработка такого продукта не представляет интереса из-за ограниченности рынка его продажи. С другой стороны до настоящего времени отсутствует должно понимание в необходимости подобной системы со стороны руководства университетов, так как очень сложно оценить, в чем будет выражаться его эффективность.




- Начало -  - Назад -  - Вперед -