Описание RSL 0
Количество страниц: 105
Язык: Русский
Формат: PDF / RAR
Формат файла: RAR
В данном методическом пособии собраны справочные материалы по основным возможностям языка RSL. Их можно рассматривать как часть конспекта лекций, который читается на факультете ВМиК МГУ. Здесь описывается подмножество языка, которое не содержит один из видов модулей — объекты. RSL не является языком 00 спецификации, и его объекты совсем не похожи на объекты С++ или Java. Поэтому исключение этого вида модулей не вносит серьезных ограничений в возможности пользователей, при этом изложение основных концепций языка удается сделать более сжатым и понятным.
Следует обратить внимание на то, что в пособие не вошли материалы, описывающие методы использования языка RSL. В курсе лекций методам использования посвящено два блока. Первый — это методы проектирования с использованием формальных спецификаций; второй — это методы тестирования на основе формальных спецификаций. Таким образом, данное пособие предоставляет некоторый фундамент, но не исчерпывает всего материала курса.
- History of software measurement Zuse H.
Measurement in science has a long tradition as described by Lemmerich /LEMM88/ While the measurement of length - the meter - was defined in 1889 /LEMM88/, p87, the measurement of temperature was more complicated The graduation of the distance of the fixpoints was introduced by Fahrenheit in 1714 and by Celsius in 1742 - Структурное программирование Дал У., Дейкстра Э., Хоор К.
Монография известных специалистов по программированию включает в себя три раздела В первом обобщен опыт программирования на примерах решения ряда миниатюрных задач по программированию - Foundations of software measurement Zuse H.
Maintenance of Software - Today, we have still the fact that over 70% of the software development effort is spent in testing and maintenance of software - Schedule and cost estimates of software are grossly inaccurate, software has still a poor quality and the productivity rate for software is increasing more slowly than the demand for software - Администрирование Web-сервера Apache и руководство по электронной коммерции Хокинс, Скотт
Эта книга задумывалась как достаточно полное справочное руководство по Web-серверу Apache Изложенный в ней материал предполагает определенный уровень компьютерной грамотности, но знания сетевых технологий при этом не требуется