Algorytmika projektowania systemów informacyjnych

Podstawowym czynnikiem rozwoju społeczno-gospodarczego jest kapitał materialny, do którego zaliczamy dobra, wykorzystywane w prowadzeniu działalności gospodarczej. W szczególności są nimi: zasoby naturalne i stan środowiska przyrodniczego; infrastruktura techniczna i społeczna oraz środki trwałe podmiotów. Jednym z ważniejszych elementów infrastruktury technicznej jest infrastruktura informacyjna, której podstawowym zadaniami są: gromadzenie, przetwarzanie, przesyłanie oraz udostępnianie informacji. Informacja to dzisiaj jedna z najcenniejszych wartości niematerialnych. Stała się ona niezbędna zarówno podmiotom gospodarczym, administracji rządowej jak i jednostkom samorządu terytorialnego. Podstawowym źródłem informacji są dzisiaj systemy informacyjne, będące złożonym połączeniem środków programowo-technicznych, wyposażonym w przyjazny interfejs komunikacyjny. Niestety, asortyment i jakość dostępnych w Polsce systemów informacyjnych pozostawia wiele do życzenia. Budowa i modernizacja infrastruktury informacyjnej jest w dużym stopniu realizowana przez podmioty, których misja nie ma nic wspólnego z informatyką. Wymaga to od ich pracowników obszernej wiedzy o projektowaniu, budowie i eksploatacji systemów informacyjnych – najważniejszego z komponentów infrastruktury. Dzięki temu zlecane podmiotom zewnętrznym realizacje, będą lepiej trafiać w ich własne potrzeby. Najlepszym sposobem efektywnego tworzenia systemów jest formalizacja ich projektowania. Monografia opisuje stronę algorytmiczną formalizacji.