Человек - это сложная целостная структура (система) из взаимосвязанных элементов (подсистем). Описывать человека мы можем с разных ракурсов - с точки зрения биологии, анатомии, физиологии, психологии, философии и т.д. Понятие "личность", которое интересует нас сегодня, определяет социальную природу человека, а именно существование в человеке определённого набора психологических характеристик, на которых основываются его поступки и которые формируют его индивидуальность ("неповторимое Я"). Как...

Разработчики часто воспринимают программы как набор инструкций, которые шаг за шагом объясняют компьютеру, как именно решать поставленную задачу. Однако мир сложных распределённых систем ставит перед нами совершенно иной вызов: нам важно не просто написать программу, а понять, что именно она должна делать. Для этого на сцену выходят формальные спецификации, которые позволяют взглянуть на систему под совершенно иным углом — через множества возможных поведений. Формальные спецификации незаменимы при...