Wyszukiwarka
Filtry
wszystkich: 5754
-
Katalog
- Publikacje 3746 wyników po odfiltrowaniu
- Czasopisma 77 wyników po odfiltrowaniu
- Konferencje 11 wyników po odfiltrowaniu
- Wydawnictwa 2 wyników po odfiltrowaniu
- Osoby 437 wyników po odfiltrowaniu
- Wynalazki 1 wyników po odfiltrowaniu
- Projekty 60 wyników po odfiltrowaniu
- Laboratoria 5 wyników po odfiltrowaniu
- Zespoły Badawcze 24 wyników po odfiltrowaniu
- Aparatura Badawcza 3 wyników po odfiltrowaniu
- Kursy Online 1036 wyników po odfiltrowaniu
- Wydarzenia 221 wyników po odfiltrowaniu
- Dane Badawcze 131 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: ZARZĄDZANIE PROGRAMEM
-
Model systemu zarządzania wiedzą z uwzględnieniem aspektów wiarygodności
PublikacjaW rozdziale przedstawiony został model systemu zarządzania wiedzą, w którym uwzględniono aspekty wiarygodności. Dla zaprezentowanego modelu opisane zostały również metody definiowania wiarygodności w Sieci Semantycznej oraz wnioskowania względem wiedzy wzbogaconej o informacje na temat wiarygodności. Na początku model definiuje "ontologię wiarygodności" - ontologię, która pozwala przypisać pewne zbiory cech do konkretnych asercji....
-
Model zarządzania ontologiami w środowisku oceny technologii informatycznych
PublikacjaW tekście zaprezentowano wczesny prototyp ontologii zbudowanej z myślą o wykorzystaniu w wieloagentowym systemie służącym ocenie technologii informatycznych (MAS_IT). Jako przykład wybrano aplikacje służące zarządzaniu projektami, w szczególności informatycznymi. Główny problem tu podniesiony dotyczy zarządzania procesem tworzenia i rozbudowy ontologii. Jako że nie ma jednej słusznej metody działania, inżynier wiedzy staje przed...
-
Wykorzystanie instrumentów pochodnych w zarządzaniu ryzykiem walutowym II
PublikacjaW opracowaniu przedstawiono znaczenie instrumentów pochodnych w ograniczaniu ryzyka walutowego. W szczególności określono mechanizmy oddziaływania opcji w ramach operacji minimalizujących ryzyko walutowe.
-
Inteligentna platforma komunikacji, kontroli i zarządzania nowoczesną firmą
PublikacjaW rozdziale przedstawiono metodę tworzenia interaktywnej platformy do kontroli i zarządzania nowoczesną firmą. Omówiono sposób realizacji poszczególnych etapów projektowych, dokonując przy tym wyboru konkretnych technologii informatycznych.
-
Metoda zarządzania ryzykiem w inżynierii drogowej. K. Jamroz.
PublikacjaW monografii zaprezentowano bazujące na ryzyku podejście do zarządzania bezpieczeństwem ruchu drogowego. Można wyróżnić cztery zasadnicze jej części. W pierwszej przedstawiono przegląd problemów zarządzania bezpieczeństwem w inżynierii drogowej, pozwalający na identyfikację brakujących elementów zarządzania ryzykiem w tej dziedzinie. Następnie ukazano założenia i koncepcję metody zarządzania ryzykiem w inżynierii drogowej, nazwaną...
-
Założenia modelu zarządzania kryzysowego bezpieczeństwem w portach morskich
PublikacjaZłożoność przestrzenna i gospodarcza oraz silne oddziaływanie działalności portowej na procesy społeczno-gospodarcze w regionie, wymaga opracowania specjalnego podejścia do zarządzania bezpieczeństwem na obszarach portowych. W pracy przedstawiono założenia modelu zarządzania kryzysowego bezpieczeństwem w portach morskich uwzględniające zasady międzynarodowego kodeksu ISPS (International Ship and Port Security Code) oraz wymagania...
-
Prawne i praktyczne aspekty zarządzania gospodarka wodno - ściekową
PublikacjaZagadnienia zarządfzania gospodarką wodno - ściekową na poziomie gminy. Występujące problemy, możliwości i zagrożenia.Błędy procesu inwestycyjnego, odpowiedzialność zawodowa. Wiarygodność informacji statystycznej. Problemy prawne
-
Wyzwania metodyczne w procesie zarządzania bezpieczeństwem elektrowni jądrowych
PublikacjaW pracy przedstawiono aktualne zagadnienia i wyzwania metodyczne dotyczące zarządzania bezpieczeństwem elektrowni jądrowych. Nawiązuje się m.in. do publikacji Międzynarodowej Agencji Energii Atomowej z siedzibą w Wiedniu w sprawie zintegrowanego podejścia do zarządzaniu bezpieczeństwem (safety) i ochroną (security). Podkreśla się znaczenie projektowania niezależnych barier w systemie zabezpieczeń i zwiększania roli pasywnych układów...
-
System zarządzania ochroną środowiska w zrównoważonym rozwoju miast
PublikacjaZasada zrównoważonego rozwoju prowadzi do powstawania miast przyjaznych ekologicznie i funkcjonalnych społecznie. Miast, które zapewniając zdrowy rozwój mieszkańcom, będą jednocześnie strefami dynamicznego rozwoju gospodarczego. Kluczem do tego wydaje się być wiedza jak żyć i rozwijać gospodarkę w harmonii z naturalnym środowiskiem. Skoncentrowanie się na rozwijaniu odpowiedzialnego społeczeństwa i zminimalizowaniu efektów eksploatacji...
-
System zarządzania popytem oraz prognozowaniem sprzedaży wyrobów finalnych
PublikacjaW niniejszym rozdziale zaprezentowano zagadnienia związane z prognozowaniem sprzedazy w przedsiebiorstwie. Przedstawiono również wprowadzenie do problemu prognozowania oraz rolę informacji i prognozowania w zarządzaniu przedsiębiorstwem. Omówiono proces prognozowania sprzedaży i etapy budowy prognozy, a także dokonano podziału metod prognozoania sprzedazy. Uwypuklono rozważania dotyczące optymalizacji wielkości produkcji, któa...
-
Automatyzacja zarządzania ruchem w warunkach wystąpienia zdarzenia drogowego
PublikacjaCelem działań operacyjnych służb ratowniczych i zarządców ruchu jest maksymalne skrócenie czasu trwania procesu zarządzania zdarzeniami drogowymi w celu zmniejszenia ciężkości wypadku, zminimalizowania okresu ekspozycji na ryzyko wystąpienia zdarzeń wtórnych oraz zminimalizowania strat czasu podróżujących. Realizację celu, jakim jest skrócenie czasu zakłóceń spowodowanych zdarzeniem drogowym umożliwia zastosowanie środków i metod...
-
Założenia do integracji metod zarządzania ryzykiem w transporcie
PublikacjaNiniejszy referat stanowi wynik prac zespołu interdescyplinarnego pracującego nad próbą integracji metod zarządzania ryzykiem, którego członkowie byli przedstawicielami czterech rodzajów transportu: kolej, lotnictwo, transport morski, transport drogowy, w projekcie Zintegrowany System Bezpieczeństwa Transportu ZEUS. Referat zawiera zalożenia do integracji metod zarządzania ryzykiem w transporcie.
-
Koncepcja zarządzania relacjami ze studentami przez szkoły wyższe
PublikacjaW referacie została zaprezentowana nowa koncepcja działań marketingowych w szkolnictwie wyższym, jaką jest zarządzanie relacjami. Przedstawione zostało uzasadnienie zastosowania proponowanej koncepcji, wynikające ze specyficznych cech usługi edukacyjnej. Zdefiniowano zarówno pojęcie relacji, jak i zarządzania nimi w szkolnictwie wyższym. Wskazano najważniejsze relacje, które szkoła wyższa powinna budować w swoim otoczeniu, ze szczególnym...
-
Budowa modelu zarządzania i rozwoju Uniwersyteckiego centrum Kompetencyjnego
PublikacjaArtykuł jest kontynuacją serii artykułów poświęconych tematyce integracji środowiska naukowego i biznesowego, proponowanym obszarom zmian, a także przedstawieniem modelu funkcjonowania zespołów projektowych, zbudowanych z przedstawicieli środowiska akademickiego, w tym również studentów i biznesowego. W artykule przedstawiono koncepcję autora dotyczącą powoływania w życie uniwersytecich centrów kompetencyjnych, jako narzędzi wspierających...
-
Systemy zarządzania i ich certyfikacja w przedsiębiorstwach spożywczych
PublikacjaW opracowaniu ukazano rolę obligatoryjnych systemów jakości odpowiedzialnych za bezpieczeństwo żywności z punktu widzenia przedsiębiorcy. W pracy omówiono wybrane systemy (GMP/GHP, HACCP) oraz certyfikację systemu HACCP obowiązującą normą ISO 22000. Przedstawiono również liczbę certyfikacji Systemu Zarządzania Bezpieczeństwem Żywności – Wymagania dla organizacji w całym łańcuchu żywnościowym w latach 2007-2011 w Polsce i na świecie,...
-
Model systemu zarządzania usługami według metodologii design-thinking
PublikacjaW literaturze przedmiotu brakuje jednoznacznych wskazań odnośnie decyzji o wyborze najbardziej odpowiedniego modelu projektowania usług, szczególnie w kontekście różnych uwarunkowań dla poszczególnych sektorów rynku. Opracowany algorytm umożliwia samodzielne rozwiązanie problemu doboru modelu wewnątrz organizacji, bez konieczności zatrudniania zewnętrznego specjalisty. Algorytm skierowany jest do organizacji w fazie przygotowawczej...
-
Misje i misjonarska retoryka w zarządzaniu platformami mediów
PublikacjaTrudno o bardziej znane i poruszające zbiorową wyobraźnię przekazy cyfrowych platforma, niż zapisy ich misji. Nie tylko łatwo wyjaśniają one rolę organizacji, ale zapewniają racjonalizację tego, kto lub czym jest coś lub jak działa. Dla Facebooka, Google i wielu innych organizacji pragnących „zmienić świat na lepszy” są elementem samonapędzającego się mechanizmu utwierdzającego w słuszności obranej drogi. W przypadku cyfrowych...
-
Nauczanie zarządzania bezpieczeństwem informacji: standardy i sposoby nauczania
PublikacjaPracownicy są najważniejszym ogniwem w ochronie informacji wewnątrz organizacji, gdyż to właśnie oni posiadają regularny dostęp do jej zasobów informacyjnych. Fakt ten jest dobrze rozpoznany przez krajowe oraz międzynarodowe instytucje standaryzujące, które w publikowanych normach zalecają kształcenie, szkolenia i podnoszenie świadomości pracowników jako kluczowy element strategii ochrony informacji przedsiębiorstw. W artykule...
-
Charakterystyka powiązań sieciowych przedsiębiorstw w aspekcie zarządzania strategicznego
PublikacjaW artykule przedstawiono wyniki analizy literatury w zakresie identyfikacji możliwych powiązań sieciowych przedsiębiorstw. Zwrócono uwagę na powiązania sieciowe w aspekcie doskonalenia zarządzania na poziomie strategicznym. W oparciu o przeprowadzone analizy literatury oraz analizę przypadków z praktyki gospodarczej sformułowano wytyczne do zarządzania strategicznego w przedsiębiorstwie funkcjonującym w sieci
-
Wyzwania zarządzania strategicznego w perspektywie Smart City - blockchain
PublikacjaW pracy pokazano możliwość zastosowania technologii Blockchain w rzadko rozważa-nym dla niej środowisku jakim są urzędy miejskie realizujące koncepcję Smart City. Celem pracy nie jest opis technologii, a spojrzenie strategiczne na jej zastosowanie stąd, poza pod-stawowym opisem Blockchain i Smart City, przedstawiono zalety oraz wyzwania wdrażania Blockchain dla Smart City. Całość zilustrowano dwoma przykładami procesów, które obrazują...
-
O ryzyku i zarządzaniu nim w procesie inwestycyjnym
PublikacjaRyzyko jest nieodłącznym elementem każdej działalności gospodarczej, w tym również budowlanej. Inne rodzaje zagrożeń dotyczą firmy inwestycyjnej, inne zaś wykonawczej. Ryzyko w kolejnych etapach budowlanego przedsięwzięcia inwestycyjnego podlega przekształceniom - zmieniają się jego źródła, rodzaje i skala; pociaga to za sobą zmianę sposobu zarządzania nim.
-
Wybrane zagadnienia optymalizacji w zarządzaniu procesami przedsiębiorstwa przemysłowego
PublikacjaW niniejszym rozdziale przedstawiono wybrane zagadnienia optymalizacyjne, stosowane w proponowanej przez autora metodzie doskonalenia procesów przedsiebiorstwa. Punktem wyjścia jest zarządzanie celami. Jako podstawową metodę wybrano zarządzanie wartościa przedsiebiorstwa (Value Based Management - VBM). Nastepnie zaprezentowano zasady dezagregacji wskaźników z czynnikami tworzenia wartości w poszczególnych procesach na bazie zasad...
-
Regulacja osi toru w warunkach pomiarów satelitarnych :(program badań) = Geometrical adjustment of the railway track in the conditions of the satellite surveying : (research program)
PublikacjaW pracy zwrócono uwagę na uwarunkowania związane z zastosowaniem technik pomiarów satelitarnych GPS w pomiarach inwentaryzacyjnych linii kolejowych. Wskazano na konieczność nawiązania współpracy pomiędzy specjalistami z dziedziny pomiarów satelitarnych i środowiskiem kolejowym. Może to spowodować radykalną poprawę w zakresie poziomu utrzymania kształtu geometrycznego torów, gdzie występująca obecnie sytuacja budzi poważne zastrzeżenia....
-
Warsztaty „Zarządzanie ryzykiem w projektach”
WydarzeniaCentrum Zarządzania Projektami PG zaprasza pracowników Politechniki Gdańskiej na jednodniowe warsztaty pn. „Zarządzanie ryzykiem w projektach” organizowane 17.11.2022 r. na Politechnice Gdańskiej.
-
Warsztaty „Zarządzanie doświadczeniami w projektach”
WydarzeniaCentrum Zarządzania Projektami zaprasza na jednodniowe warsztaty pn. „Zarządzanie doświadczeniami w projektach” organizowane 18.11.2022 r. na Politechnice Gdańskiej.
-
ThreSpect a program for the determination of the Appearance Energies
Dane BadawczeDataset presents the “ThreSpect” computer program dedicated to simulating threshold energies of neutral and ionized products generated in the collisions of photons or charged particles with atoms and molecules.
-
Functional safety and managing competence
PublikacjaSą nowe wyzwania związane z badaniami, edukacją i szkoleniem w obszarach bezpieczeństwa i ochrony systemów i sieci krytycznych. W rozdziale podkreśla się, że kompetencje specjalistów powinny być kształtowane w zintegrowanych procesach edukacji i szkolenia. Dlatego uzasadnione jest, aby opracować w Europie standardy i programy kształcenia na bazie odpowiednich prac badawczych i najlepszych doświadczeń z praktyki przemysłowej w celu...
-
Fuzzy decision support system for the control of budget and schedule in SPM
PublikacjaObiektem rozważań jest komputerowy system wspierania decyzji kierowniczych w zakresie zarządzania budżetem i harmonogramem przy realizacji projektów informatycznych. Omawiany system opary jest na dynamicznych modelach rozmytych podlegających bieżącemu dostrajaniu na podstawie danych z obserwacji zarządzanego procesu. Wstępny projekt modeli rozmytych oparty został na danych zarządczych pochodzących z realizacji dwu projektów informatycznych....
-
Responsible resource management in hotels - attitudes, indicators, tools and strategies ; doctoral thesis.
PublikacjaHotele stanowią jeden z głównych i wciąż rozwijających się sektorów turystyki. Budynki hotelowe sa dość energochłonne, a instalacje i zamontowane systemy często nieefektywne co prowadzi do wyraźnych skutków ubocznych dla środowiska naturalnego. Niniejsza praca zawiera informacje na temat istniejących inicjatyw prośrodowiskowych w światowym sektorze hotelarskim. Analiza wyników ankiety przeprowadzonej wśród 610 przedstawicieli europejskiego...
-
Managing data from heterogeneous data sources using knowledge layer
PublikacjaW procesie integrowania danych przy użyciu ontologii, ważne jest aby zarządzać danymi przechowywanymi w zewnętrznych źródłach, analogicznie jak tymi przechowywanymi w Bazie Wiedzy. Zaprezentowana w poprzednich pracach metoda kartograficznej reprezentacji wiedzy pozwala na wnioskowanie z danych przechowywanych w Bazie wiedzy. Rozwiązanie zaprezentowane w tej pracy umożliwia wykorzystanie metody kartograficznej do wnioskowania z...
-
Aleksander Orłowski dr hab. inż.
OsobyDr hab. inż. Aleksander Orłowski, profesor PG w Katedrze Zarządzania Wydziału Zarządzania i Ekonomii Politechniki Gdańskiej, v-ce prezes Forum Rozwoju Aglomeracji Gdańskiej. Zawodowo zajmuje się badaniem i rozwojem koncepcji Smart Cities, współautor (2016-2017) badań gotowości do Smart City dziesięciu czołowych polskich urzędów miejskich, autor książki: Model gotowości procesowej urzędu miejskiego dojścia do Smart City (2019)....
-
Some Indications Towards Teaching Programme on a Basis od 2-Years' Experience in Scope of the Mechatronics Course
PublikacjaArtyuł poświęcony jest przedstawieniu koncepcji nowego, multidyscyplinarnego kierunku studiów Mechatronika. Zawarto w nim sugestie i wskazówki wynikające z 2-letnich doświadczeń zdobytych podczas prowadzenia dotychczasowego nauczania na tym kierunku. Poczynione uwagi mają na celu poprawę jakości kształcenia inżynierów na Wydziale Machanicznym Politechniki Gdańskiej.
-
Meeting centres support programme highly appreciated by people with dementia and carers: a European cross-country evaluation
Publikacja -
A concept of the mechatronics course based on an idea of multi-chair incorporation
PublikacjaPraca poświęcona jest jednemu ze sposobów poprawy jakości kształcenie w zakresie inżynierii mechanicznej, na przykładzie Wydziału Mechanicznego Politechniki Gdańskiej. Polega on na uruchomieniu oraz samodzielnym prowadzeniu nowego kierunku studiów Mechatronika. Koncepcja aktywności wielokatedralnej programu studiów jest obiecującym rozwiązaniem prowadzącym do wysokiego poziomu kształcenia
-
Process management methodology for quality systems of small organizations
PublikacjaW artykule przedstawiono najważniejsze elementy metodyki wdrażania zorientowanych procesowo systemów zarządzania jakością wg normy ISO 9001. Zaprezentowano przykład struktury procesów systemu jakości oraz prosta metodę opisu procesów (przewodnik procesu). Omówiono założenia metodyki oraz wybrane sposoby nadzorowania procesów. W podsumowaniu wskazano korzyści płynące ze stosowania metody w małych organizacjach.
-
Zarządzanie kluczowymi obszarami budowlanego przedsięwzięcia inwestycyjnego jako wyzwanie o charakterze logistycznym
Publikacja -
ZARZĄDZANIE PROCESEM INWESTYCYJNYM PODCZAS REALIZACJI PRACOWNI RADIOLOGICZNYCH Z WYKORZYSTANIEM ŚRODKÓW PUBLICZNYCH
Publikacjawidzenia zagadnień funkcjonalnych, ekonomicznych, epidemicznych, jak również dobra społecznego. Pracownie radiologiczne stanowią współcześnie część placówek medycz- nych (ambulatoriów i szpitali), które wykorzystują je zarówno przy diagnostyce, jak i terapii różnych schorzeń. Prawidłowe zarządzanie procesem inwestycyjnym dla takich przedsięwzięć jest zadaniem wieloaspektowym i skomplikowanym. Podejmowane dzia- łania powinny być...
-
Baza danych usprawniająca zarządzanie kadrowo-magazynowe w Jednostce Ratowniczo-Gaśniczej PSP
PublikacjaBazy danych zaimplementowane w środowiskach komputerowych są obecnie podstawowymi narzędziami do wspomagania zarządzania w różnych organizacjach. W artykule zaprojektowano i wdrożono relacyjną bazę danych dla Jednostki Ratowniczo-Gaśniczej w Państwowej Straży Pożarnej. System zaimplementowano i przetestowano w środowisku Microsoft Access.
-
Kontrakty terminowe jako narzędzie wspomagające zarządzanie ryzykiem kursu walutowego w firmie
PublikacjaArtykuł opisuje kontrakty terminowe i forword jako instrumenty służące zabezpieczeniu przed ryzykiem kursowym podmiotach gospodarczych.
-
Zarządzanie dokumentami cyfrowymi i metody ich prezentacji w systemie SETI-1
PublikacjaW artykule zostały zaprezentowane zagadnienia związane z zarządzaniem dokumentami cyfrowymi oraz rozwiązanie, jakie przyjęto w systemie SETI-1. System ten - aktualnie będący w fazie opracowywania - jest przeznaczony do wspomagania administrowania Wydziałem Elektroniki, Telekomunikacji i Informatyki PG [3]. Przedstawiono, jak rozumiany jest w systemie dokument cyfrowy, a następnie opisano mechanizmy, jakie wybrano w celu jego tworzenia,...
-
Risk analysis and functional safety management = Analiza ryzyka i zarządzanie bezpieczeństwem funkcjonalnym
Publikacja -
Zarządzanie łańcuchem logistycznym w procesie produkcyjnym cegieł silikatowych w przedsiębiorstwie Prefabet.
PublikacjaCelem niniejszego artykułu jest przedstawienie systemu zarządzania łańcuchem logistycznym w procesie produkcji cegieł silikatowych w przedsiębiorstwie Prefabet. Ważnym aspektem należytego funkcjonowania i zarządzania łańcuchem logistycznym jest wykorzystanie metody VMI – Vendor Management Inventory. Wskazana metoda zakłada, iż producent/dostawca sam generuje zamówienia na rzecz klienta na podstawie otrzymanych...
-
Zarządzanie ryzykiem zawodowym w procesie produkcyjnym - zagadnienia teoretyczne i przypadek praktyczny
PublikacjaCelem artykułu jest przedstawienie tematyki zarządzania ryzykiem zawodowym w procesie produkcyjnym wybranego przedsiębiorstwa oraz wskazanie czynników, które usprawniają to zarządzanie.
-
Metody wytwarzania obiektów edukacyjnych i zarządzanie nimi w rozproszonym środowisku Internetu
Publikacja.
-
Ocena realizacji Krajowego Programu Bezpieczeństwa Ruchu Drogowego GAMBIT 2005
PublikacjaW 2013 r. kończy się okres planowany na realizację Krajowego Programu BRD GAMBIT 2005, przyjęty przez Radę Ministrów w roku 2005, niespełna 12 miesięcy po przystąpieniu Polski do Unii Europejskiej. Był on reakcją na cel postawiony w III Programie Poprawy BRD, który zobowiązał kraje UE do zmniejszenia liczby ofiar śmiertelnych wypadków drogowych o 50% w ciągu dekady 2001-2010. Obecnie, po ponad 7 latach od rozpoczęcia działań w...
-
Market orientation and hotel performance: The mediating effect of creative marketing programs
PublikacjaThis work investigates the indirect effects between market orientation and hotel performance through creative marketing programs. The focus is on exploring the indirect effects between 1) customer orientation, competitor orientation, and cross-functional integration; and 2) hotel financial performance through two aspects of creative marketing programs, namely, novelty and meaningfulness. Through an empirical analysis using structural equation...
-
Financing Housing Support Programs in Poland in the Light of National Housing Resources
Publikacja -
Planowanie realizacji budowy przy użyciu programu iGrafx Process 2003.
PublikacjaW artykule przedstawia się uproszczony przykład zastosowania programu iGrafx Process 2003 do zaplanowania realizacji przedsięwzięcia składającego się z kilku powtarzalnych zadań. Celem przeprowadzenia symulacji komputerowej jest określenie optymalnej wielkości rytmu w realizacji kolejnych zadań, przy uwzględnieniu zadanego terminu zakończenia przedsięwzięcia oraz racjonalnego wykorzystania dostępnych w przedsiębiorstwie środków...
-
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ą...
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublikacjaIstnieje szereg sposobów badania poprawności programów komputerowych. W niniejszym referacie podejmujemy problem automatycznego testowania oprogramowania przy założeniu, iż dany jest zbiór testów (asercji) dla poszczególnych fragmentów kodu. Dla uproszczenia analizy zakładamy, że badany fragment kodu zawiera dokładnie jeden błąd, co nie zmniejsza ogólności rozważań. W artykule analizujemy praktyczne aspekty powyższego problemu...