marzec 13th, 2006

Seminarium Superkomputerowe - 15 marca 2006

Kategoria wpisu: - Prelekcje, Wszystkie, Wydarzenia: - Maciej Frużyński @ 09:00

Akademickie Centrum Komputerowe CYFRONET AGH i Katedra Informatyki AGH mają zaszczyt zaprosić na Środowiskowe Seminarium Superkomputerowe prowadzone przez Prof. Jacka Kitowskiego, KI AGH. Seminaria odbywają się w sali 224, na II piętrze pawilonu C2 AGH, Kraków, Al. Mickiewicza 30.

15 marca (środa) 2005, godz. 11:00
Temat: Analiza, projektowanie i wytwarzanie oprogramowania naukowo-obliczeniowego

Wykładowca: Andrzej Daniluk
Instytut Informatyki
Zakład Informatyki Stosowanej
Uniwersytet Marii Curie-Skłodowskiej w Lublinie

Seminarium poświęcone będzie metodom projektowania oprogramowania dla celów naukowych.

Istnieje wiele metod porządkujących szeroko rozumiany proces wytwarzania oprogramowania. W literaturze omawiane są one głównie w kontekście wspomagającym aktualnie istniejące procesy informacyjno-decyzyjne oraz jako elementy kształtujące długofalową strategię przedsiębiorstwa informatycznego (w szeroko rozumianym tego słowa znaczeniu).

Pomimo podobieństw istnieje zasadnicza różnica w sposobie funkcjonowania przedsiębiorstwa informatycznego i laboratorium naukowego. O ile projekty wykonywane w przedsiębiorstwach powstają pod kątem konkretnych wymagań odbiorcy, z którym przedsiębiorstwo może utrzymywać stały kontakt, o tyle projekt powstały w laboratorium jest merytorycznie weryfikowany tylko raz - przez niezależnych i anonimowych recenzentów, którzy mają prawo wglądu w kody źródłowe programu.

Zaprojektowanie i wdrożenie projektu rozwiązującego wybrany problem naukowy sprowadza się do poprawnego rozwiązania danego problemu z punktu widzenia teorii naukowej, zaprojektowania architektury i abstrakcji programu w języku modelowania oraz stworzenia prawidłowej implementacji w języku programowania.

W referacie autor przedstawi metodykę projektowania, którą wypracował podczas swoich działań przy budowie systemów informatycznych (1-8).
Zostanie zaprezentowana ewolucja oprogramowania stworzonego w oparciu o kilka modeli programistycznych i metodyk projektowania. Przedstawione będą praktyczne sposoby wykorzystania programistycznych modeli strukturalno-obiektowych, proceduralno-obiektowych oraz zorientowanych obiektowo, które stanowić będą etap wiodący w kierunku wykorzystania
zasad programowania generycznego oraz opartego na wielowątkowym i transakcyjnym modelu przetwarzania danych.

Podstawowymi stosowanymi kryteriami podczas ewolucji oprogramowania są reguły praktycznej przydatności i kreatywnego rozszerzania. W tym kontekście nowe pojęcia są dodawane, kiedy programy stają się skomplikowane z powodów technicznych niezwiązanych z problemem podlegającym rozwiązaniu. W trakcie referatu uwzględnione zostaną głównie kwestie architektoniczne (niezależne od języka programowania).

Przedyskutowane zostaną wady i zalety wybranych rozwiązań projektowo-implementacyjnych w kontekście wytwarzania oprogramowania naukowego. Zostanie też zaprezentowany praktyczny sposób wykonania migracji oprogramowania naukowego w kierunku programu użytkowego.

(1) A. Daniluk, Comput. Phys. Commun. 166(2005)123
(2) A. Daniluk, CPC Progr. Lib.,
http://www.cpc.cs.qub.ac.uk/summaries/ADUY_v1_0.html
(3) A. Daniluk, Comput. Phys. Commun. 170(2005)265
(4) A. Daniluk, CPC Progr. Lib.,
http://www.cpc.cs.qub.ac.uk/summaries/ADVL_v1_0.html
(5) A. Daniluk, K. Skrobas, Comput. Phys. Commun. 174(2006)83
(6) A. Daniluk, K. Skrobas, CPC Progr. Lib.,
http://www.cpc.cs.qub.ac.uk/summaries/ADUY_v2_0.html
(7) A. Daniluk, praca i projekt wysłane do publikacji
(8) A. Daniluk, praca wysłana do publikacji