Wyszukiwarka
Filtry
wszystkich: 1932
-
Katalog
- Publikacje 1319 wyników po odfiltrowaniu
- Osoby 85 wyników po odfiltrowaniu
- Wynalazki 3 wyników po odfiltrowaniu
- Projekty 5 wyników po odfiltrowaniu
- Laboratoria 8 wyników po odfiltrowaniu
- Zespoły Badawcze 12 wyników po odfiltrowaniu
- Aparatura Badawcza 9 wyników po odfiltrowaniu
- Kursy Online 477 wyników po odfiltrowaniu
- Wydarzenia 13 wyników po odfiltrowaniu
- Oferty 1 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: OPROGRAMOWANIE SYMULACYJNE
-
Wykorzystanie oprogramowania symulacyjnego jako pomocy naukowej w procesie nauczania teleinformatyki
PublikacjaNauczanie teleinformatyki stawia specyficzne wymagania dotyczące zarówno samych metod dydaktycznych, jak i dostępu do koniecznych urządzeń i pomocy naukowych. Umiejętne zastosowanie w procesie dydaktycznym odpowiedniego oprogramowania komputerowego, a w szczególności programów symulacyjnych, może okazać się wyjątkowo efektywne. Przedstawiono różne rodzaje oprogramowania edukacyjnego oraz warianty ich zastosowania w nauczaniu teleinformatyki,...
-
Resynchronizacja serca - badania symulacyjne
PublikacjaSercowa terapia resynchronizująca jest obecnie szeroko stosowaną metodą leczenia pacjentów z zaburzeniami rytmu serca. Pomimo dość dużej popularności, jaką cieszy się ta metoda, problem nadal stanowi właściwa kwalifikacja pacjentów do leczenia oraz ocena skuteczności terapii. Badaniu przydatności do oceny mechanicznej pracy serca poddana została metoda impedancyjna. Synchroniczna praca serca powoduje lokalne zmiany rozkładu przewodności...
-
Licencjonowanie oprogramowania
PublikacjaWolne i otwarte oprogramowanie przeżywa ostatnimi laty rozkwit. Co raz więcej przedsiębiorstw komercyjnych opiera rozwój swoich firm na otwartym oprogramowaniu. Zarówno mali, jak i duzi gracze mają świadomość komplikacji współczesnych systemów i niemożności samodzielnego ich rozwoju. Z pomocą przychodzi otwarte podejście do wytwarzania oprogramowania. Wymaga to jednak pewnego zrozumienia uwarunkowań prawnych, a w szczególności...
-
Programowanie strukturalne
PublikacjaCelem niniejszej książki jest przedstawienie wybranych metod programowania strukturalnego, tzn. takich, które prowadzą do poprawnej struktury, poprawy jakości oprogramowania oraz zwiększenia efektywności programistów. Może ona służyć jako podręcznik akademicki wykorzystywany na podstawowych kursach inżynierii oprogramowania. Zainteresuje również wszystkich tych, którzy zajmują się programowaniem amatorskim i chcą poszerzyć swoją...
-
Wysokoczęstotliwościowy falownik napięcia - badania symulacyjne
PublikacjaWiększość ruchomych odbiorników energii elektrycznej jest połączona ze źródłem energii poprzez: giętkie przewody, komutatory, pierścienie ślizgowe lub pantografy. Taki sposób zasilania w energię elektryczną jest powszech-nie akceptowalny w łagodnym środowisku pracy, ale może być ograniczony w środowisku zagrożonym pod względem wybuchu lub wilgotnym. W wielu przypadkach zastosowań trakcyjnych warunki środowiskowe nie pozwalają na...
-
Oprogramowanie mobilnego komunikatora multimedialnego
PublikacjaArtykuł przedstawia efekty prac nad stworzeniem oprogramowania dla mobilnego komunikatora multimedialnego. Projektowane urządzenie ma umożliwić użytkownikom swobodną komunikację (tekstową, głosową, wideo) oraz możliwość lokalizowania innych użytkowników dzięki działającej w tle wymianie informacji o pozycji. W referacie zaprezentowano architekturę systemu oraz oprogramowania stworzonego w środowisku Qt realizującego założoną funkcjonalność....
-
Kształcenie w firmie symulacyjnej
PublikacjaW artykule opisano zadania i funkcje firmy symulacyjnej jako nowego modelu kształcenia zawodowego. Przebieg edukacji w firmie symulacyjnej przedstawiono na przykładzie Przedsiębiorstwa Symulacyjnego CKU-Modex w Sopocie. W zakończeniu artykułu opisano i uzasadniono zalety takiego sposobu kształcenia.
-
Proces wytwarzania oprogramowania
PublikacjaPraca wprowadza w zagadnienia organizacji procesu wytwórczego, omawia uznanestandardy procesu i ich wykorzystanie w przedsiębiorstwie. Omówienie podsta-wowych problemów prowadzenia projektu informatycznego poszerzono o krótkąprezentację dwu istotnych, choć rzadziej prezentowanych, zagadnien: politykiprowadzenia projektu oraz etyki w realizacji projektu informatycznego.
-
Technologie wytwarzania oprogramowania
PublikacjaPraca poświęcona została dwóm najpowszechniejszym współcześnie technologiomwytwórczym - podejściu strukturalnemu i obiektowemu. W obu przypadkach omó-wienie skupia się na zagadnieniach i metodach modelowania i projektowania,w obu też jest ono bogato ilustrowane przykładami.
-
Badania symulacyjne wysokonapięciowej przetwornicy DC/DC
PublikacjaW artykule zaprezentowano wyniki badań symulacyjnych przekształtnika energoelektronicznego typu DC/DC działającego w układzie niepełnego mostka z transformatorem izolacyjnym pracującym przy dużej częstotliwości. Badania symulacyjne wykonano posługując się pakietem Matlab-Simulink z biblioteką SimPowerSystems. Omówiono problemy zastosowania wysokonapięciowych tranzystorów z izolowaną bramką do konstrukcji przekształtników wysokiego...
-
Badania symulacyjne cyfrowej metody synchronizacji prądnic
PublikacjaW związku z coraz powszechniejszym stosowaniem komputerów do sterowania pracą systemu elektroenergetycznego wskazano na potrzebę poszukiwania nowych rozwiązań w zakresie realizacji warunku fazowego w układzie automatycznej synchronizacji prądnic, przydatnych do aplikacji komputerowej. Przedstawiono oryginalną metodę polegającą na bezpośrednim przetwarzaniu napięć synchronizowanych obiektów elektroenergetycznych i wyznaczaniu chwili...
-
Modelowanie symulacyjne w analizie procesów gospodarczych.
PublikacjaW artykule przedstawiono możliwości wykorzystania metod symulacji cyfrowej w analizie procesów gospodarczych. Podkreślono zagadnienia zwiększania efektywności procesów. Zaproponowano schemat analizy procesów umożliwiający zaimplementowanie z wykorzystaniem programu iGrafx Process 2003.
-
Wybrane zagadnienia licencji na oprogramowanie
PublikacjaW rozdziale przedstawione zostały wybrane zagadnienia licencji na oprogramowanie obejmujące uwarunkowania prawne, niejawne elementy licencji, praktykę tworzenia umów licencyjnych i konsekwencje naruszania umów licencyjnych. Zaprezentowane zostały także wyniki badania mającego na celu poznanie poziomu wiedzy, praktyk związanych z czytaniem i rozumieniem licencji oraz opinii użytkowników na temat licencji. Końcowa część rozdziału...
-
Wykonanie i oprogramowanie robota kroczącego
PublikacjaJednym z najpopularniejszych robotów kroczących jest robot o sześciu nogach – heksapod. Artykuł przedstawia projekt, wykonanie i oprogramowanie heksapoda. Sterowanie robotem polega na odpowiednim ustawieniu wartości wychylenia serwomechanizmów, które dają możliwość poruszania się poszczególnych odnóży. W urządzeniu sterującym zaimplementowano różne typy chodu robota.
-
Edu Inspiracje WZiE: Gry symulacyjne w edukacji
Publikacja -
Modelowanie symulacyjne jako narzędzie wspomagające zarządzanie wiedzą.
PublikacjaArtykuł jest studium literaturowym dotyczącym możliwości wykorzystania modelowania symulacyjnego w zarządzaniu wiedzą.
-
Przegląd miar oceny oprogramowania
PublikacjaProblem oceny oprogramowania istnieje od momentu pojawienia się pierwszego programu komputerowego. Historycznie miary jakości oprogramowania miały zupełnie inne przeznaczenie, gdyż skupiały się na częstotliwości defektów lub błędów oprogramowania. Błędnie bazowało to na założeniu, że jakość oprogramowania to brak błędów. Stąd też używano prostej statystyki typu liczby błędów, wykrytych w określonym przedziale czasu (np. rocznym)...
-
Strategia zapewnienia jakości oprogramowania.
PublikacjaW referacie zaproponowano strategię zapewnienia jakości oprogramowania, bazując na działaniach w następujących obszarach: określenie definicji jakości oraz sposobu weryfikacji jej osiągnięcia; dobór technik dotyczących poprawy produktu; poprawa procesu wytwarzania oprogramowania; podnoszenie kultury jakości organizacji.
-
Tradycyjne cykle życia oprogramowania
PublikacjaPraca prezentuje uznane i powszechnie stosowane cykle wytwarzania i ewolucjioprogramowania systemów informatycznych, takie jak cykl klasyczny (kaskado-wy), model V wytwarzania z zapewnianiem jakości, prototypowanie wymagań, mo-del spiralny i przyrostowy. Nieduży przykład ilustruje sposób doboru strate-gii wytwarzania.
-
Współczesne cykle wytwarzania oprogramowania
PublikacjaPraca omawia inne stosowane współcześnie cykle wytwórcze. Do dyskusji wybra-ne zostały modele, których wykorzystanie przynosi satysfakcjonujące rezulta-ty (wytwarzanie obiektowe, ponowne użycie oprogramowania z wykorzystaniemkomponentów i wzorców, ponowna inżynieria systemów), podejścia, których sto-sowanie nie jest oceniane jednoznacznie (jak to ma miejsce w wypadku metody-ki SSM Checklanda) oraz modele uważane, obok wymienionych,...
-
BUDOWA I OPROGRAMOWANIE PRZENOŚNEGO SPEKTROMETRU RAMANA
PublikacjaW pracy przedstawiono budowę oraz zasadę działania przenośnego spektrometru Ramana, przygotowywanego w Katedrze Optoelektroniki i Systemów Elektronicznych Politechniki Gdańskiej. Opisano format plików *.SPC, który jest wykorzystywany przez oprogramowanie sterujące budowanym spektrometrem oraz stosowany przez większość komercyjnych aplikacji przeznaczonych do analizy widm Ramana. Przedstawiono podstawowe metody parametryzacji rejestrowanych...
-
Budowa i oprogramowanie przenośnego spektrometru ramana
PublikacjaW pracy przedstawiono budowę oraz zasadę działania przenośnego spektrometru Ramana, przygotowywanego w Katedrze Optoelektroniki i Systemów Elektronicznych Politechniki Gdańskiej. Opisano format plików *.SPC, który jest wykorzystywany przez oprogramowanie sterujące budowanym spektrometrem oraz stosowany przez większość komercyjnych aplikacji przeznaczonych do analizy widm Ramana. Przedstawiono podstawowe metody parametryzacji rejestrowanych...
-
TECHNOLOGIA RADIA PROGRAMOWALNEGO – SPRZĘT I OPROGRAMOWANIE
PublikacjaTechnologia radia programowalnego (ang. Software Defined Radio) jest nowoczesnym rozwiązaniem umożliwiającym realizację urządzeń pracujących w różnego rodzaju systemach łączności radiowej. W pracy zaprezentowano zagadnienia dotyczące koncepcji realizacji radia programowalnego. Zaprezentowano budowę dwóch przykładowych platform sprzętowych do realizacji radia programowalnego. Przedstawiono również architekturę oprogramowania stosowaną...
-
Symulacje habitatów marsjańskich.
PublikacjaW pierwszych misjach załogowych na Marsa ludzie będą mieszkać w prostych metalowych modułach. Ich gabaryty i masa będą niewielkie ze względu na ograniczone możliwości rakiet wynoszących. W programie MARS (Mars Analogue Research Station) zorganizowanym przez stowarzyszenie Mars Society prowadzi się symulacje życia i pracy przyszłych marsonautów. Pomaga to m. in. w ozptymalizowaniu układu funkcjonalnego w module. Trwają poszukiwania...
-
Badania symulacyjne rozruchu silnika indukcyjnego steru strumieniowego statku
PublikacjaW artykule przedstawiono możliwości zastosowania modeli matematycznych elementów składowych steru strumieniowego statku oraz wykorzystania badań symulacyjnych przy doborze algorytmów sterowania. Przedstawione procedury oraz modele matematyczne zostaną włączone do systemu ekspertowego wspomagającego projektowanie statków.
-
BADANIA SYMULACYJNE SIECI AD HOC Z WIELODOSTĘPEM TDMA
PublikacjaW referacie przedstawiono budowę i działanie protokołu komunikacji sieci Ad Hoc z wielodostępem TDMA. Zaprezentowano wyniki badań symulacyjnych transmisji w sieci Ad Hoc pracującej w oparciu o ten protokół. Symulowana sieć składa się ze stacji bazowych i terminali ruchomych znajdujących się w samochodach, samolotach i na statkach.
-
Badania symulacyjne dynamicznej odporności na zakłóceniacyfrowych układów kombinacyjnych.
PublikacjaPrzedstawiono opracowaną przez autorów metodę pomiaru dynamicznej odporności na zakłócenia układów cyfrowych z zastosowaniem szerokopasmowego wzorcowego sygnału szumowego. Modyfikacja metody polega na dodatkowym ograniczeniu szerokości pasma sygnału stymulującego. Przeprowadzono badania symulacyjne dla kilku modeli badanych układów cyfrowych, w tym modelu detektora progowego oraz szybkiego komparatora z histerezą, mające na celu...
-
Symulacyjne badania zaburzeń w rozpływie strumienia w transformatorze
PublikacjaPrzedstawiono nieliniowy model elektromagnetyczny transformatora, który umożliwia symulację występowania przepływów w wybranych miejscach obwodu magnetycznego. Podstawowe parametry zostały obliczone wg metod klasycznych. Wpływ nasycenia uwzględniono w postaci funkcji aproksymującej przenikalność magnetyczną wyznaczona na podstawie pomiarów obiektu fizycznego. Przeprowadzono symulacje stanów nieustalonych w przypadku wystąpienia...
-
Model symulacyjny i badania sieci MPLS.
PublikacjaMultiprotocol Label Switching (MPLS) to obiecująca technika, umożliwiająca wsparcie jakości usług w sieciach szkieletowych opartych na protokole IP. Aby skorzystać z jej potencjalnych zalet, należy opracować skuteczne procedury i metody gwarantujące realizację jakości usług. Jednym z kluczowych zagadnień w tym obszarze badań jest kierowanie ruchem (ruting), a niezbędnym narzędziem odpowiedni program symulacyjny do modelowania zjawisk...
-
Internetowy system oceny jakości oprogramowania
PublikacjaPrzedstawiono nową wersję systemu oceny jakości oprogramowania QES), zrealizowaną w technologii WWW. QES charakteryzuje się bardziej elastycznym modelem jakości oraz zawiera znacznie większą funkcjonalność niż jego poprzednik (SOJO). Pozostawia użytkownikowi dużą swobodę oceny konkretnego procesu wytwarzania lub produktu wynikającego z tego procesu. Zapewnia możliwość porównania jakości różnych metodologii lub szczegółowych rozwiązań....
-
Pomiar rozmiaru i prcochłonności oprogramowania
PublikacjaZależność pomiędzy rozmiarem wytworzonego oprogramowania a pracochłonnością jest istotną wskazówką dla skutecznego planowania procesu wytwórczego oraz konstruowania harmonogramów. W referacie skupiono się na fragmencie tego problemu dotyczącą miar oraz technik pomiaru rozmiaru i pracochłonności związanych z realizacją przedsięwzięcia informatycznego. Przedstawiono główne miary rozmiaru i pracochłonności oraz zaprezentowano narzędzie...
-
Trendy, wyzwania w inżynierii oprogramowania
PublikacjaWywiad z prof. Januszem Górskim.
-
Uniwersyteckie Centrum Kompetencyjne Technologii Oprogramowania
PublikacjaPoniższy rozdział stanowi rodzaj case study, gdzie na przykładzie Uniwersyteckiego Centrum Kompetencyjnego Technologii Oprogramowania funkcjonującego przy Politechnice Gdańskiej przedstawiona została koncepcja powoływania i funkcjonowania centrów rozwijania technologii informatycznych tworzony przy uczelniach wyższych przy współpracy z partnerami biznesowymi. Przedstawione zostały potrzeby powoływania takich jednostek organizacyjnych,...
-
Platforma KASKADA - proces wytwarzania oprogramowania
PublikacjaZostał przedstawiony proces wytworzenia Platformy KASKADA służącej do przetwarzania strumieni multimedialnych w rozproszonym środowisku superkom-putera. Przedstawiono wymagania dotyczące Platformy, a następnie opisano przyjętą metodykę wytwarzania. Opi-sano przebieg poszczególnych iteracji procesu. Przedsta-wiono proces wytwarzania usług, od implementacji algo-rytmu, przez wdrożenie na Platformę, aż po akceptację i udostępnienie...
-
Aspekty metodologiczne interdyscyplinarnej inżynierii oprogramowania
PublikacjaInterdyscyplinarna inżynieria oprogramowania jest nowym nurtem w inżynierii oprogramowania, który ma prowadzić do rozwiązania istniejących problemów poprzez badanie natury zjawisk i technik projektowych w kontekście interdyscyplinarnym. W referacie zidentyfikowano podstawowe zagadnienia metodologiczne, które należy wziąć pod uwagę w celu efektywnego prowadzenia badań oraz przeprowadzono ich dyskusję. Następnie podjęto próbę wyodrębnienia...
-
Programowanie algorytmiczne w edukacji architektonicznej
PublikacjaWprowadzenie komputerów do projektowania architektonicznego uprościło projektowanie złożonych form geometrycznych. Na podstawie cyklicznych warsztatów badawczych, prowadzonych od 2011 roku na Politechnice Gdańskiej, przedstawiona została problematyka związana z zastosowaniem projektoawania algorytmicznego w architekturze. Celem warsztatów jest popularyzacja oraz sprawdzenie sprawności posługiwania się narzędziami służącymi do projektowania...
-
OPROGRAMOWANIE I SPRZĘT W TECHNOLOGII RADIA PROGRAMOWALNEGO
PublikacjaTechnologia radia programowalnego (ang. Software Defined Radio) umożliwia realizację urządzeń pracujących w różnego rodzaju cywilnych i wojskowych systemach radiowych. W pracy zaprezentowano zagadnienia dotyczące koncepcji realizacji radia programowalnego. Zaprezentowano oprogramowanie GNU Radio, służące do realizacji operacji przetwarzania sygnałów w torach nadawczo-odbiorczych urządzeń zrealizowanych w technologii SDR. Przedstawiono...
-
Badania eksperymentalne i symulacyjne dynamiki modelowego odcinka sieci trakcyjnej
PublikacjaW pracy przedstawiono główne założenia i strukturę opracowanego modelu matematycznego odcinka kolejowej górnej sieci trakcyjnej, opartego na metodzie energetycznej Lagrange’a. W celu wyznaczenia wybranych parametrów modelu, jak również dla oceny stopnia zgodności odwzorowania przez utworzony program symulacyjny stanów statycznych i dynamicznych sieci zbudowano laboratoryjny model odcinka sieci jezdnej z użyciem rzeczywistych jej...
-
Programy symulacyjne jako narzędzia wspierające proces rekonstrukcji wypadków drogowych
PublikacjaObecnie można zauważyć dynamiczny rozwój narzędzi komputerowych wykorzystywanych w procesie rekonstrukcji wypadków drogowych. Artykuł przedstawia i opisuje programy symulacyjne, które stanowią odrębną grupę wśród tego typu oprogramowania. Obejmują swym działaniem całą dyscyplinę wypadków drogowych w przeciwieństwie np. do programów rysunkowych czy fotogrametrycznych skupiających się wyłącznie na wąskim wycinku tej dyscypliny. Dają...
-
Symulacyjne badanie efektywności ekonomicznej pojazdów w logistycznej sieci dystrybucji
PublikacjaEfektywny dobór wyposażenia pojazdu w przyczepę oraz urządzenia dźwignicowe może być przeprowadzony w drodze symulacji komputerowej. Poprzez ocenę porównawczą różnych wersji rozwiązania, w różnych warunkach eksploatacji można dostosować także eksploatowany sprzęt transportowy do wymagań rynku dystrybucyjnego.
-
Optymalizacja wykorzystania energii hamowania - badania symulacyjne na przykładzie metra
PublikacjaPrzedstawiono metodykę i wyniki badań symulacyjnych wykorzystania energii hamowania odzyskowego w komunikacji miejskiej. Dla wybranego odcinka zasilania utworzono model sieci trakcyjnej wraz z podstacjami, a także modele poruszających się po tym odcinku pociągów, uwzględniając ich charakterystyki trakcyjne we wszystkich fazach ruchu oraz zmienne obciążenie, wynikające z pochylenia toru, profilu trasy i liczby pasażerów. Badano...
-
Model elektrowni wiatrowej pracującej na sieć sztywną - badania symulacyjne.
PublikacjaW referacie przedstawiono model matematyczny elektrowni wiatrowej z maszyną dwustronnie zasilaną pracującej w systemie elektroenergetycznym. Opracowany model przy przyjętych założeniach upraszczających, opisano w dwunastowymiarowej przestrzeni stanu. Przedstawiono wyniki badań symulacyjnych pracy elektrowni sterowanej zgodnie ze strategią optymalnego przetwarzania zmiennej w czasie energii kinetycznej wiatru.
-
Kompleksowa analiza symulacyjna układu napędowego zespołu trakcyjnego
PublikacjaNowoczesne pojazdy sieciowe, a w szczególności elektryczne zespoły trakcyjne (EZT), charakteryzują się wzrostem pobieranej mocy z sieci trakcyjnej oraz wysoką złożonością energoelektronicznego napędu. Duża liczba urządzeń falownikowego układu napędowego, zaawansowane metody sterowania napędem i całym pojazdem oraz wysokie wymagania jakości regulacji i niezawodności pracy wymuszają szczegółową analizę pracy EZT. Dodatkowo parametry...
-
Kompleksowa analiza symulacyjna układu napędowego zespołu trakcyjnego
PublikacjaThe paper describes an approach to comprehensive analysis of traction electric drive. The drivetrain of ED-74 electric unit equipped with four inverter-fed induction motors was modeled in Matlab/Simulink. The model consists of functional blocks as: motors, inverters, drive controllers, filters. Structure and operation of the model was described. Chosen simulation results were presented and discussed. Two methods of modeling the...
-
Symulacje architektoniczne baz pozaziemskich.
PublikacjaPoszerzanie wiedzy na temat kosmosu oraz rozwój technologiczny pozwalaja na coraz śmielszą eksplorację przestrzeni pozaziemskiej przez ludzi. Ze względu na planowanie założenia baz planetarnych w przyszłości, opracowuje się koncepcje architektoniczne dotyczące wyglądu takich habitatów. Wykonuje się je na podstawie danych dotyczących ekstremalnych warunków panujacych na innych planetach, przeprowadzaniu badań i symulacji.
-
Zasady programowania w Internecie
PublikacjaPrzedstawiono środowisko Internetu widziane z punktu widzenia programisty. Wprowadzono model trójwarstwowej aplikacji WWW, jakonajczęściej spotykanego przykładu programowania w środowisku Internetu. Wymieniono główne zadania programisty w ramach każdej z warstw i opisano przykładowe narzędzia realizacji tych zadań - technologie i języki.
-
Metodologia i techniki programowania
PublikacjaKsiążka jest syntetycznym wprowadzeniem do technik programowania. Omawia podstawowe trendy rozwoju metodologii wytwarzania oprogramowania, takie jak: metody strukturalne, obiektowe, narzędzia CASE, standaryzacje programów i ocenę złożoności oprogramowania. Pokazuje również, jak projektować kodować, testować i uruchamiać programy, aby były niezawodne i efektywne. Naszkicowano w niej możliwości środowisk wytwarzania oprogramowania....
-
Druga edycja Konferencji Inżynierii Oprogramowania beIT
PublikacjaW dniach 18–20 marca 2016 roku na Wydziale Elektroniki, Telekomunikacji i Informatyki odbyła się II Konferencja Inżynierii Oprogramowania beIT. Podobnie jak pierwszą edycję Konferencji beIT, tegoroczne spotkanie zorganizowało Koło Naukowe Zarządzanie IT przy wsparciu Katedry Inżynierii Oprogramowania, WETI oraz JM Rektora PG. Do przeprowadzenia 15 warsztatów, 4 sesji dyskusyjnych round tables oraz 5 wykładów organizatorzy zaprosili...
-
Logika opisowa jako język modelowania oprogramowania
PublikacjaW referacie pokazano zastosowanie logiki opisowej do opisu wybranych ontologii pojawiajcych si w inynierii oprogramowania, wymagajcych wsparcia ze strony inynierii wiedzy. Omówione zagadnienia to: inynieria wymaga, opis architektury oprogramowania wysokiego poziomu, opis projektu systemu i ontologia kodu programu. Wskazano zastosowanie systemów wnioskujcych (ang. knowledge reasoner) do automatycznego odkrywania wiedzy w systemach...
-
Ryzyko etyczne w procesie wytwarzania oprogramowania
PublikacjaPraca rozpatruje współczesne problemy wytwarzania oprogramowania. Jednym zesposobów ich rozwiązywania jest uwzględnienie zagadnien ryzyka etycznego, rozumianego jako zagrożenia, jakie dla sukcesu przedsięwzięcia stwarzają problemy etyki podejmowanych decyzji, odstępstwa od obowiązującego prawa, uwarunkowań polityki projektu, wpływu projektu na ludzi biorących w nim u- dział i otaczających go. Autorzy przytaczają niektóre...