Search results for: programowanie dyskretne - Bridge of Knowledge

Search

Search results for: programowanie dyskretne

Filters

total: 1590
filtered: 892

clear all filters


Chosen catalog filters

  • Category

  • Year

  • Options

clear Chosen catalog filters disabled

Search results for: programowanie dyskretne

  • Programowanie strukturalne

    Publication

    Celem 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ą...

    Full text to download in external service

  • Dyskretne modele niskiego rzędu ciągłych układów przenoszenia napędu.

    Publication

    - Year 2003

    Celem pracy jest prezentacja zastosowania metody transmitancji układów o parametrach rozłożonych do konstruowania modalnych grafów wiązań dla złożonych układów zawierających jednowymiarowe, jednorodne podukłady o parametrach rozłożonych występujące w układach napędowych.

  • Sztuczne systemy immunologiczne w optymalizacji dyskretnej

    Sztuczne systemy immunologiczne to modele komputerowe oparte na niektórych właściwościach systemu odpornościowego kręgowców. Znajdują one szereg zastosowań m. in. w optymalizacji dyskretnej. Praca ta przedstawia informacje na temat trzech modeli obliczeniowych inspirowanych funkcjonowaniem układu immunologicznego, ich podstaw biologicznych i moŜliwych zastosowań. Artykuł zawiera opis algorytmu selekcji klonalnej w wersji optymalizacyjnej...

  • Dyskretno-ciągła metoda modelowania układów dynamicznych

    Publication

    W artykule przedstawiono oryginalną metodę modelowania układów dyskretno-ciągłych. Metoda polega na dyskretyzowaniu układu trójwymiarowego jedynie w dwóch wybranych kierunkach. W trzecim z kierunków układ pozostaje ciągły. Otrzymany w ten sposób model jest modelem dyskretno-ciągłym. Opisany jest za pomocą równań różniczkowych cząstkowych. Ogólne równania różnicowe układu dyskretnego otrzymano, wykorzystując metodę sztywnych elementów...

    Full text available to download

  • Modelowanie układów dyskretno-ciągłych z ruchomym obciążeniem.

    Publication

    - Year 2004

    Zaprezentowano modele niskiego rzędu dla wybranych jednowymiarowych układów ciągłych z ruchomym obciążeniem w postaci przemieszczających się podukładów o parametrach skupionych.Do budowy takich modeli zastosowano zmodyfikowane modalne grafy wiązań.

  • Licencjonowanie oprogramowania

    Publication

    Wolne 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...

    Full text available to download

  • Cztero-gałęziowy estymator dyskretnej pulsacji chwilowej sygnałów zespolonych

    Publication

    - Year 2005

    W pracy zaproponowano nowy pomysł na estymator dyskretnej pulsacji chwilowej sygnału zespolonego wyposażony w skuteczny rozwijacz fazy wspomagany 4-filtrowym estymatorem bieżącego widma mocy. To tanie numerycznie, pracujące potokowo, rozwiązanie pozwala zdecydowanie poprawić dokładność uzyskiwanej estymaty pulsacji chwilowej. Skuteczność działania zaproponowanego rozwiązania przedstawiono na przykładzie specjalnie skonstruowanego...

  • Metody optymalizacji dyskretnej w analizie podobieństwa drzew filognetycznych

    Publication

    - Year 2012

  • Programowanie algorytmiczne w edukacji architektonicznej

    Publication

    - Year 2016

    Wprowadzenie 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...

  • Zasady programowania w Internecie

    Publication

    - Year 2006

    Przedstawiono ś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

    Publication

    - Year 2008

    Książ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....

  • Oprogramowanie mobilnego komunikatora multimedialnego

    Artykuł 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ść....

  • Algorytm dyskretnej transformacji falkowej zoptymalizowany dla implementacji w mikrokontrolerze

    Najczęściej stosowane algorytmy dyskretnej transformacji falkowej (DWT) wymagają sporych mocy obliczeniowych i dużych ilości pamięci danych, same obliczenia natomiast wykonywane są na liczbach rzeczywistych. Nie można ich zatem bezpośrednio zastosować w mikrontrolerach. Praca przedstawia propozycję optymalizacji algorytmu dyskretnej transformacji falkowej pod kątem implementacji w mikrontrolerze 8-bitowym. Dokonano przyspieszenia...

  • Projektowanie filtrów ułamkowoopóźniających reprezentowanych przez współczynniki dyskretnej charakterystyki częstotliwościowej

    W pracy przedstawiono iteracyjną metodę projektowania filtrów ułamkowoopóźniających bazującą na metodzie POCS (rzutowaniu na podzbiory wypukłe). Zastosowanie tej metody pozwala na projektowanie filtrów definiowanych przez ich współczynniki dyskretnej charakterystyki częstotliwościowej sformułowanej, tak że można powiązać ją z projektowaniem tych filtrów metodą okien przesuwanych w dziedzinie czasu.

    Full text available to download

  • Programowanie działań przestrzennychuwarunkowanych równoważeniem rozwoju regionu

    Publication

    W artykule przedstawiono zarys badań nad kryteriami wyboru i kolejności działań z zakresu zrównoważonej odnowy przestrzeni miejskiej, które wpisują się w równoważenie rozwoju regionu. W wyniku przeprowadzonych badań stworzony zostanie system kryteriów oceny inwestycji, pozwalający ustalić priorytety działań przestrzennych i odpowiednie instrumenty w skali ponadlokalnej i regionalnej.

  • Programowanie Obiektowe z Użyciem Adnotacji Semantycznych

    Publication

    - Year 2011

    W tym artykule przedstawiono jak przy udziale standardowych mechanizmów nowoczesnych języków obiektowych, osiągnięć z zakresu formalnej reprezentacji wiedzy oraz lingwistyki komputerowej wytworzyć zbiór narzędzi wzbogacających warsztat programisty o narzędzia semantyczne. Przedstawione tu Programowanie Obiektowe z Użyciem Adnotacji Semantycznych jest częścią rozwijanej przez autora referatu metodologii wytwarzania oprogramowania...

  • Ośrodki Leczenia Uzależnień - Programowanie i Projektowanie

    Publication

    - Year 2015

    Problematyka projektowania i programowania współczesnych ośrodków leczenia uzależnień jest wyzwaniem dla architektów. Nastał właściwy czas dla powstawania nowych, w pełni skutecznych, funkcjonalnie dopracowanych modelowych ośrodków leczenia i opieki nad osobami uzależnionymi. W związku z tym w niniejszym rozdziale zawarto opis zarysu modelowych koncepcji ośrodków leczenia uzależnień oraz zaprezentowano dwa przykłady projektów magisterskich...

  • Proces wytwarzania oprogramowania

    Publication

    - Year 2002

    Praca 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

    Publication

    - Year 2002

    Praca 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.

  • Wykonanie i oprogramowanie robota kroczącego

    Publication

    Jednym 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.

    Full text available to download

  • Wybrane zagadnienia licencji na oprogramowanie

    Publication

    - Year 2011

    W 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...

  • Współbieżność w obiektowych językach programowania.

    Praca przedstawia koncepcje współbieżności i ich implementacje w językach programowania. Analizuje się efektywność rozwiązań i zwraca uwagę na problemy dotąd nierozwiązane.

  • Wzajemne wykluczanie w programowaniu współbieżnym

    Publication

    - Year 2021

    W rozdziale opisano wzajemne wykluczanie wątków w programach współbieżnych. Przedstawiono zarówno podejście proceduralne (semafory), jak i obiektowe (monitory). Omówiono sposoby działania obu mechanizmów synchronizacji oraz różnice pomiędzy nimi. Sposoby użycia omawianych mechanizmów zostały zilustrowane wzorcami: wzajemnego wykluczania oraz producent–konsument.

  • Zjawisko wyścigu w programowaniu współbieżnym

    Publication

    - Year 2021

    W rozdziale przedstawiono omówienie podstawowego problemu, z jakim, prędzej czy później, styka się każdy programista piszący oprogramowanie wykorzystujące współbieżność. W praktyce będzie to każdy programista starający się w pełni wykorzystywać moc obliczeniową współczesnych wielordzeniowych procesorów i akceleratorów

  • Programowanie rewitalizacji a planowanie miejscowe - o problemie koordynacji

    Publication

    Artykuł dotyczy znaczenia nowego narzędzia planistycznego jakim jest miejscowy plan rewitalziacji. W artykule przedstawiono podstawowe kwestie związane z jego wprowadzaniem w kontekście obecnej sytuacji prawnej

  • Przegląd miar oceny oprogramowania

    Publication

    Problem 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.

    Publication

    - Year 2002

    W 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

    Publication

    - Year 2002

    Praca 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

    Publication

    - Year 2002

    Praca 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,...

  • Zasady programowania i projektowania obiektow aquaparków.

    Publication

    - Year 2007

  • BUDOWA I OPROGRAMOWANIE PRZENOŚNEGO SPEKTROMETRU RAMANA

    W 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

    W 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

    Technologia 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ą...

  • Analiza częstotliwościowa ekranu kulistego z dyskretnym uzwojeniem wzbudzającym

    Publication

    W pracy przedstawiono wyniki analizy rozkładu pola magnetycznego wewnątrz powłoki sferycznej, na której rozłożono dyskretne uzwojenie demagnetyzacyjne w postaci pojedynczych zwojów. Zbadano wpływ liczby zwojów na rozkład pola magnetycznego.

  • Efektywne programowanie procesora TMS320C6711 przy użyciu pakietu SIMULINK.

    Publication

    - Year 2004

    W artykule opisano alternatywny, w stosunku do standardowych metod kodowania, sposób programowania procesora TMS320C6711 z wykorzystaniem bibliotek pakietu SIMULINK. Scharakteryzowano własności karty uruchomieniowej ze zmiennoprzecinkowym procesorem sygnałowym TMS320C6711 firmy Texas Instruments, pod kątem tworzenia programów do układów prototypowych. Opisano także cechy pakietu SIMULINK jako wydajnego narzędzia pozwalającego na...

  • Metaheurystyczne metody optymalizacji dyskretnej w problemie układania rozkładów zajęć dla szkół wyższych.

    W pracy rozważany jest problem układania rozkładów zajęć dla szkoły wyższej. Do rozwiązania tego zagadnienia wykorzystane zostały następujące metody lokalnego i globalnego przeszukiwania przestrzeni możliwych rozwiązań: symulowane wyżarzenie, przeszukiwanie tabu oraz algorytmy genetyczne.

  • Pomiar rozmiaru i prcochłonności oprogramowania

    Zależ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...

    Full text available to download

  • Radio programowalne - nowoczesna platforma dydaktyczna

    Przedstawiono technologię radia programowalnego jako nowoczesną platformę dydaktyczną. Zaproponowane podejście pozwala na efektywniejsze planowanie stanowisk laboratoryjnych. Umożliwia skrócenie czasu realizacji etapów związanych z projektowaniem, symulacją i testowaniem działania łącza radiowego. Pozwala również na elastyczną zmianę stanowisk laboratoryjnych zgodnie z dynamicznym rozwojem współczesnych systemów radiokomunikacyjnych.

  • Uniwersyteckie Centrum Kompetencyjne Technologii Oprogramowania

    Publication

    Poniż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,...

  • Programowalne układy napędowe w dydaktyce.

    Publication

    - Year 2004

    Opisane stanowisko laboratoryjne stanowi przykład zestawu, z pomocą którego możliwe jest zapoznanie szerokiej liczby odbiorców z nowoczesną techniką napędową. Studenci odbywający zajęcia laboratoryjne, prowadzonych w Katedrze Trakcji Elektrycznej, mogą badać różnorakie maszyny elektryczne pod względem własności ruchowych, zaznajomić się ze sposobami sterowania silnikami z użyciem energoelektronicznych przetworników energii oraz...

  • Aspekty metodologiczne interdyscyplinarnej inżynierii oprogramowania

    Publication

    - Year 2005

    Interdyscyplinarna 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...

  • Trendy, wyzwania w inżynierii oprogramowania

    Publication

    - Year 2010

    Wywiad z prof. Januszem Górskim.

    Full text to download in external service

  • Platforma KASKADA - proces wytwarzania oprogramowania

    Został 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...

  • Internetowy system oceny jakości oprogramowania

    Przedstawiono 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ń....

  • Zastosowanie metody estymacji rozkładem dyskretnym do oceny niezawodności fundamentu

    Praca dotyczy oceny nośności granicznej stochastycznego podłoża gruntowego. Przyjmując jako miarę bezpieczeństwa wskaźnik niezawodności, analizę przeprowadzono metodą estymacji rozkładem dyskretnym (PEM - Point Estimate Method). W metodzie tej ciągłą zmienną losową zastępuje się składającą się z impulsów dyskretną zmienną losową i aproksymuje charakterystyki statystyczne. Obliczenia wykonano dla przypadku obciążonej pionowo i osiowo...

  • OPROGRAMOWANIE I SPRZĘT W TECHNOLOGII RADIA PROGRAMOWALNEGO

    Publication

    - Year 2014

    Technologia 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...

  • Architektura i programowanie inteligentnych sterowników opartych na układach mikroprocesorowych.

    Publication

    Zaprezentowano zasoby i architekturę mikrokontrolerów. Przedstawiono ideę sterowania z wykorzystaniem systemu komputerowego oraz kryteria doboru komputera do realizacji programów sterujących obiektami w czasie rzeczywistym. Scharakteryzowano metody wymiany informacji systemu komputerowego z otoczeniem. Wskazano na możliwości rozbudowy zasobów mikrokontrolera. Opisano przykładową aplikację.

  • Object oriented grid computing for computational electromagnetics

    Publication

    - Year 2006

    Artykuł opisuje bibliotekę WiCommGrid napisaną w języku java, która realizuje ideę wymiany informacji pomiędzy węzłami środowiska rozproszonego z zastosowaniem programowania zorientowanego obiektowo. Biblioteka ta przystosowana jest do współdziałania z wieloma systemami operacyjnymi oraz z rożnym środowiskiem sprzętowym. Zbudowaną aplikację zastosowano do zrównoleglonych obliczeń rozkładu pola elektromagnetycznego w oparciu o algorytm...

  • Druga edycja Konferencji Inżynierii Oprogramowania beIT

    Publication

    - Pismo PG - Year 2016

    W 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...

    Full text to download in external service

  • Logika opisowa jako język modelowania oprogramowania

    Publication

    - Year 2008

    W 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...

    Full text to download in external service