Code slicing: Droga do lepszego rozumienia kodu źródłowego (część druga)

Wielkość: px
Rozpocząć pokaz od strony:

Download "Code slicing: Droga do lepszego rozumienia kodu źródłowego (część druga)"

Transkrypt

1 Code slicing: Droga do lepszego rozumienia kodu źródłowego (część druga) Bartosz Bogacki Poznan University of Technology, Institute of Computing Science ul. Piotrowo 2, Poznan, Poland Streszczenie. Kod źródłowy skomplikowanych programów komputerowych może być lepiej zrozumiany przez programistów, gdy zostanie podzielony na mniejsze fragmenty. Poniższy tekst przedstawia podstawowe pojęcia z zakresu statycznej analizy kodu koncentrując się na slicingu kodu. Slicing kodu to metoda służąca do podziału kodu z zachowaniem jego poprawności w ramach rozważanej funkcjonalności. Przedstawiony jest zarys historyczny, znane metody, narzędzia oraz praktyczne zastosowania slicingu kodu. W części pierwszej artykułu przedstawiono podstawy oraz charakterystykę tej popularnej techniki. Część druga prezentuje praktyczne aspekty, narzędzia oraz przykładowe case-study z wykorzystaniem narzędzi Indus/Kaveri. 1 Wprowadzenie Slicing kodu jest stosowany w praktyce w wielu obszarach inżynierii oprogramowania. Najważniejsze obszary przedstawiane w literaturze to zrozumienie kodu źródłowego (ang. code comprehension), debugging, refactoring, inżynieria wsteczna (ang. reverse engineering) oraz metryki związane ze spójnością funkcjonalną kodu. Kosztowna faza utrzymania systemu (ang. maintanance) rozpoczyna się przeważnie od pracy nad zrozumieniem kodu źródłowego. Naturalne jest, iż obniżenie kosztów związanych ze zrozumieniem kodu spowoduje znaczne obniżenie kosztów utrzymania systemu. Wykazano [1], że koszt ponoszony na zrozumienie kodu źródłowego to aż 50-90% kosztu utrzymania. W celu obniżenia tych kosztów należy wspomagać analizę kodu dodatkowymi narzędziami umożliwiającymi szybsze zrozumienie roli oraz zależności poszczególnych fragmentów programu. W pierwszej części artykułu opisane zostały podstawy techniki upraszczającej strukturę kodu źródłowego programu zwanej slicingiem kodu. Pokazano krótko zarys metody zgodnie z pracą [3] oraz istniejące odmiany slicingu. W drugiej części przedstawione zostały przykładowe praktyczne zastosowania tej techniki. Zaprezentowane zostały narzędzia pozwalające programistom szybciej wydobywać wiedzę o programie poprzez wizualizację wycinków kodu zgodnie z zadanym kryterium slicingu.

2 2 Narzędzia Wiele narzędzi służących do analizy kodu źródłowego wykorzystuje mechanizm slicingu kodu. Najpopularniejsze dwa programy to komercyjny CodeSurfer firmy Grammatech ([5]) oraz akademicki Indus/Kaveri rozwijany przez Kansas State University ([6], [7]). CodeSurfer służy do analizy programów napisanych w języku C. Posiada bogaty zestaw funkcji umożliwiających zarówno wizualizację zależności w kodzie w postaci grafu wywołań funkcji (ang. call graph) jak i dopuszczalnych wartości zmiennych wynikających ze statycznej analizy kodu. Narzędzie to jednak skrupulatnie ukrywa szczegóły slicingu, podając programiście gotową interpretację. Inaczej jest w przypadku programu Kaveri, będącego zestawem plug-in ów dla środowiska Eclipse i wykorzystującego silnik o nazwie Indus. Program ten prezentuje bezpośrednio wycinki kodu powstałe w wyniku zastosowania wybranej metody slicingu oraz zadanego kryterium. 3.1 CodeSurfer (ANSI C) Program CodeSurfer powstał w wyniku rozwijania akademickiego narzędzia o nazwie Wisconsin Program-Slicing Tool. O ile w akademickiej postaci narzędzie to umożliwiało jedynie tworzenie wycinków (zarówno metodą slicingu w przód jak i slicingu wstecz), o tyle komercyjna wersja zawiera dodatkowo pewne mechanizmy dostarczające dodatkowej interpretacji. Rysunek 1 przedstawia kod źródłowy w języku C oraz wycinek utworzony przez Wisconsin Program-Slicing Tool metodą statycznego slicingu wstecz i kryterium slicingu dla zmiennej "i" występującej w wyrażeniu: printf("sum %d, i %d, Add %d\n", sum, i, Count); Kod należący do wycinka oznaczony jest kolorem czerwonym. Wykorzystując tę funkcjonalność, program CodeSurfer dostarcza kolejne interpretacje uzyskanych informacji. Rysunek 2 przedstawia przykładowy graf wywołań funkcji uzyskany za pomocą programu CodeSurfer. Graf ten wizualizuje wywołania poszczególnych funkcji wykonywane w ciele funkcji main. Nawigacja po kodzie odbywa się z wykorzystaniem węzłów grafu wyołań funckji. Dostępne są również funkcje służące do sprawdzenia prawdopodobnych wartości zmiennej w danym miejscu kodu na podstawie wcześniejszych odwołań do zmiennej, sprawdzenia wyrażeń warunkowych w których wykorzystywana jest modyfikowana zmienna, itp. Dodatkową funkcjonalnością programu jest możliwość obliczenia ponad 20 popularnych metryk kodu (m.in. złożoności cyklomatycznej czy złożoności Halsteada).

3 Rysunek 1. Kod źródłowy oraz wycinek utworzony za pomocą Wisconsin Program-Slicing Tool

4 Rysunek 2. Graf wywołań funkcji utworzony przez program CodeSurfer. 3.2 Indus/Kaveri (Java) Program Indus/Kaveri pozwala na wizualizację wycinka kodu zgodnie z zadaną metodą oraz kryterium slicingu. W wyborze odpowiednich parametrów pomaga bogate menu przedstawione na rysunku 3. Rysunek 3. Wybór parametrów w programie Indus/Kaveri.

5 Tworząc konfigurację należy podjąć m.in. decyzję jakiego typu slicing zostanie zastosowany. Istnieją dwie podstawowe metody: slicing do przodu (oznaczone jako forward slice) oraz slicing wstecz (backward slice). Można też wybrać połączenie obu tych metod (complete slice), dające w wyniku unię wycinków utworzonych przez obie te metody. Dodatkowo można zażądać, aby utworzony wycinek był wykonywalny (ang. executable slice). Dokładny opis opcji można znaleźć w dokumentacji programu [8] [9]. Program Indus tworząc wycinki działa na skompilowanym programie, a następnie dokonuje odwzorowania na pierwotny kod źródłowy napisany w języku Java. Wykorzystanie bajtkodu? jako podstawy do analizy programu ma oczywiście zarówno zalety, jak i wady. Podstawową zaletą takiego podejścia jest prostota analizy i uniknięcie wielu problemów wynikających z paradygmatu programowania obiektowego. Wadą jest natomiast uzyskanie wyniku, który może okazać się nieprecyzyjny (np. w skutek przekształceń optymalizacyjnych). Ponieważ prezentacja wyników odbywa się na poziomie kodu źródłowego, a analiza w warstwie bajtkodu, dlatego czasem pojawia się sytuacja, w której fragmenty kodu należące do wycinka nie tworzą kompletnego zbioru wyrażeń w kodzie źródłowym. W programie Indus takie częściowo pokryte wyrażenia są oznaczane kolorem żółtym i nazywane częściowymi elementami wycinka (ang. partial slice element). Wyrażenia, które w całości występują w wycinku, nazywane są całkowitymi elementami wycinka (ang. complete slice element) i oznaczane kolorem zielonym. Rysunek 4 przedstawia przykładowy wycinek dla statycznego slicingu wstecz i kryterium slicingu <8, i> utworzony przez program Indus. Rysunek 4. Przykładowy wycinek utworzony przez program Indus

6 Całkowite elementy wycinka oznaczone zostały na zielono w liniach 1, 3, 6 oraz 8. Częściowe elementy wycinka w liniach 5 i 7 zostały oznaczone na żółto. Wyrażenia z linii 9 nie należą do wycinka. 4 Analiza kodu źródłowego z wykorzystaniem statycznego slicingu Po krótkim wprowadzeniu nadszedł czas na prosty przykład. Rysunek 5 przedstawia kod źródłowy w języku Java. Klasa MaturityOracle ma tylko 1 metodę zawierającą całą logikę biznesową. Metoda ta pobiera argument z linii poleceń, będący liczbą symbolizującą wiek i informuje o tym, czy użytkownik jest osobą dojrzałą. Jeśli liczba lat mieści się w przedziale <16; 18), to powinien pojawić się dodatkowo komunikat informujący, że już niedługo dana osoba będzie dojrzała. Jeśli natomiast liczba lat mieści się w przedziale <0, 16>, wówczas system powinien podać za ile lat osoba stanie się osobą dojrzałą. Rysunek 5. Przykładowy kod w języku Java Programista analizujący tak prostą klasę prawdopodobnie nie straci dużo czasu na określenie wpływu poszczególnych wyrażeń na wartość zmiennej maturecounter. Niemniej jednak może ułatwić sobie zadanie wydając zapytanie do programu Indus o wycinek powstały w wyniku statycznego slicingu wstecz dla kryterium <25, maturecounter>. Wynik takiego zapytania przedstawia rysunek 6.

7 Rysunek 6. Wycinek kodu dla kryterium slicingu <25, maturecounter>. Wycinek obliczony przez program oznaczony jest kolorami zielonym i żółtym. Łatwo zauważyć, że na wartość zmiennej maturecounter w linii 25 nie ma wpływu warunek znajdujący się w linii 21, czyli wyrażenie: if (maturecounter < 2), ponieważ linia 21 nie należy do wycinka. Oznacza to, iż niezależnie od wartości uzyskanej w tym warunku zostanie wypisany komunikat informujący ile lat pozostało użytkownikowi do osiągnięcia wieku dojrzałego. Co więcej, informacja o tym, że wyrażenia z linii 7 należą do wycinka, sygnalizuje możliwość, iż zmienna w tym miejscu może mieć wartość początkową uzyskaną w wyniku przypisania znajdującego się w linii 7, czyli że w przypadku, gdy użytkownik wprowadzi liczbę lat większą od 18, system zawsze poinformuje, że do uzyskania dojrzałości pozostało 0 lat. Rysunek 7 przedstawia wycinek wykonany na kodzie źródłowym poprawionym tak, aby spełniał zadane wcześniej wymagania.

8 Rysunek 7. Wycinek poprawionego kodu dla kryterium slicingu <26, maturecounter> Po dokonaniu poprawki wyrażenie warunkowe z linii 21 należy już do wycinka. Natomiast linia 7 zawierająca przypisanie wartości początkowej przestała należeć do wycinka, gdyż zawsze jego wartość będzie wynikała z wartości wyliczanej w linii Podsumowanie W części pierwszej artykułu przedstawiono podstawy popularnej techniki usprawniającej proces zrozumienia i analizy kodu źródłowego zwanej slicingiem kodu. Wprowadzono pojęcie kryterium slicingu oraz wycinka. Zademonstrowano cztery popularne metody slicingu: statyczny, dynamiczny, warunkowy oraz bezkształtny. Metody te omówiono krótko na przykładzie kodu źródłowego napisanego w języku Java. W części drugiej artykułu przedstawione zostały 2 przykładowe implementacje narzędzi służących do przeprowadzania slicingu kodu. Krótko omówiono komercyjny program operujący na kodzie źródłowym w języku ANSI C CodeSurfer oraz akademicki zestaw plugin ów dla Eclipse a o nazwie Indus/Kaveri działający na kodzie źródłowym napisanym w języku Java. Zademonstrowane zostało działanie statycznego slicingu kodu w praktyce z użyciem narzędzia Indus/Kaveri.

9 Literatura 1. De Lucia, A., Fasolino A.: Understanding Function Behaviors through Program Slicing, Proceedings of the 4th International Workshop on Program Comprehension (WPC '96), Erlikh, L. : Leveraging legacy system dollars for E-business. (IEEE) IT Pro, May/June 2000, Weiser, M.: Program Slicing. Proceeding of the Fifth International Conference in Software Engineering, pages , Business Week 3051 (9) : The software trap automate or else., CodeSurfer: 6. Indus: 7. Kaveri: 8. Indus, Dokumentacja: 9. Kaveri, Dokumentacja:

System kontroli wersji SVN

System kontroli wersji SVN System kontroli wersji SVN Co to jest system kontroli wersji Wszędzie tam, gdzie nad jednym projektem pracuje wiele osób, zastosowanie znajduje system kontroli wersji. System, zainstalowany na serwerze,

Bardziej szczegółowo

Harmonogramowanie projektów Zarządzanie czasem

Harmonogramowanie projektów Zarządzanie czasem Harmonogramowanie projektów Zarządzanie czasem Zarządzanie czasem TOMASZ ŁUKASZEWSKI INSTYTUT INFORMATYKI W ZARZĄDZANIU Zarządzanie czasem w projekcie /49 Czas w zarządzaniu projektami 1. Pojęcie zarządzania

Bardziej szczegółowo

Geomagic Design X jest najbardziej wszechstronnym oprogramowaniem, które umożliwia:

Geomagic Design X jest najbardziej wszechstronnym oprogramowaniem, które umożliwia: Geomagic Design X Oprogramowanie Geomagix Design X jest obecnie najbardziej wydajnym narzędziem w procesach inżynierii odwrotnej (RE - Reverse Engineering) opartych o zebrane skanerem 3d chmury punktów.

Bardziej szczegółowo

Instrukcja. korzystania z ograniczeń obrotu w taryfie celnej TARIC

Instrukcja. korzystania z ograniczeń obrotu w taryfie celnej TARIC Instrukcja korzystania z ograniczeń obrotu w taryfie celnej TARIC W aktualnej wersji taryfy celnej TARIC (FRAKTAL Studio Celne) dostępne są takŝe ograniczenia obrotu. Po wyszukaniu towaru, do którego są

Bardziej szczegółowo

Metoda LBL (ang. Layer by Layer, pol. Warstwa Po Warstwie). Jest ona metodą najprostszą.

Metoda LBL (ang. Layer by Layer, pol. Warstwa Po Warstwie). Jest ona metodą najprostszą. Metoda LBL (ang. Layer by Layer, pol. Warstwa Po Warstwie). Jest ona metodą najprostszą. Po pierwsze - notacja - trzymasz swoją kostkę w rękach? Widzisz ścianki, którymi można ruszać? Notacja to oznaczenie

Bardziej szczegółowo

Evidence Based Scheduling

Evidence Based Scheduling Evidence Based Scheduling Adam Dudczak (adudczak@gmail.com) I Spotkanie dyskusyjne Poznań Java User Group 28 maja 2008 Plan prezentacji 1 Grunt to dobry plan...? 2 Evidence Based Scheduling 3 Jak to działa?

Bardziej szczegółowo

Komentarz Sesja letnia 2012 zawód: technik eksploatacji portów i terminali 342[03] 1. Treść zadania egzaminacyjnego wraz z załączoną dokumentacją

Komentarz Sesja letnia 2012 zawód: technik eksploatacji portów i terminali 342[03] 1. Treść zadania egzaminacyjnego wraz z załączoną dokumentacją Komentarz Sesja letnia 2012 zawód: technik eksploatacji portów i terminali 342[03] 1. Treść zadania egzaminacyjnego wraz z załączoną dokumentacją 1 2 3 4 Oceniane elementy zadania egzaminacyjnego: I. Tytuł

Bardziej szczegółowo

Opis programu do wizualizacji algorytmów z zakresu arytmetyki komputerowej

Opis programu do wizualizacji algorytmów z zakresu arytmetyki komputerowej Opis programu do wizualizacji algorytmów z zakresu arytmetyki komputerowej 3.1 Informacje ogólne Program WAAK 1.0 służy do wizualizacji algorytmów arytmetyki komputerowej. Oczywiście istnieje wiele narzędzi

Bardziej szczegółowo

Program szkoleniowy Efektywni50+ Moduł III Standardy wymiany danych

Program szkoleniowy Efektywni50+ Moduł III Standardy wymiany danych Program szkoleniowy Efektywni50+ Moduł III 1 Wprowadzenie do zagadnienia wymiany dokumentów. Lekcja rozpoczynająca moduł poświęcony standardom wymiany danych. Wprowadzenie do zagadnień wymiany danych w

Bardziej szczegółowo

Jakie są te obowiązki wg MSR 41 i MSR 1, a jakie są w tym względzie wymagania ustawy o rachunkowości?

Jakie są te obowiązki wg MSR 41 i MSR 1, a jakie są w tym względzie wymagania ustawy o rachunkowości? Jakie są te obowiązki wg MSR 41 i MSR 1, a jakie są w tym względzie wymagania ustawy o rachunkowości? Obowiązki sprawozdawcze według ustawy o rachunkowości i MSR 41 Przepisy ustawy o rachunkowości w zakresie

Bardziej szczegółowo

Twierdzenie Bayesa. Indukowane Reguły Decyzyjne Jakub Kuliński Nr albumu: 53623

Twierdzenie Bayesa. Indukowane Reguły Decyzyjne Jakub Kuliński Nr albumu: 53623 Twierdzenie Bayesa Indukowane Reguły Decyzyjne Jakub Kuliński Nr albumu: 53623 Niniejszy skrypt ma na celu usystematyzowanie i uporządkowanie podstawowej wiedzy na temat twierdzenia Bayesa i jego zastosowaniu

Bardziej szczegółowo

GEO-SYSTEM Sp. z o.o. GEO-RCiWN Rejestr Cen i Wartości Nieruchomości Podręcznik dla uŝytkowników modułu wyszukiwania danych Warszawa 2007

GEO-SYSTEM Sp. z o.o. GEO-RCiWN Rejestr Cen i Wartości Nieruchomości Podręcznik dla uŝytkowników modułu wyszukiwania danych Warszawa 2007 GEO-SYSTEM Sp. z o.o. 02-732 Warszawa, ul. Podbipięty 34 m. 7, tel./fax 847-35-80, 853-31-15 http:\\www.geo-system.com.pl e-mail:geo-system@geo-system.com.pl GEO-RCiWN Rejestr Cen i Wartości Nieruchomości

Bardziej szczegółowo

Stanowisko Rzecznika Finansowego i Prezesa Urzędu Ochrony Konkurencji i Konsumentów w sprawie interpretacji art. 49 ustawy o kredycie konsumenckim

Stanowisko Rzecznika Finansowego i Prezesa Urzędu Ochrony Konkurencji i Konsumentów w sprawie interpretacji art. 49 ustawy o kredycie konsumenckim Prezes Urzędu Ochrony Konkurencji i Konsumentów Warszawa, 16 maja 2016 r. Stanowisko Rzecznika Finansowego i Prezesa Urzędu Ochrony Konkurencji i Konsumentów w sprawie interpretacji art. 49 ustawy o kredycie

Bardziej szczegółowo

Podstawy programowania

Podstawy programowania Podstawy programowania Elementy algorytmiki C w środowisku.e (C#) dr inŝ. Grzegorz Zych Copernicanum, pok. 104 lub 206a 1 Minimum programowe reści kształcenia: Pojęcie algorytmu. Podstawowe konstrukcje

Bardziej szczegółowo

Systemy mikroprocesorowe - projekt

Systemy mikroprocesorowe - projekt Politechnika Wrocławska Systemy mikroprocesorowe - projekt Modbus master (Linux, Qt) Prowadzący: dr inż. Marek Wnuk Opracował: Artur Papuda Elektronika, ARR IV rok 1. Wstępne założenia projektu Moje zadanie

Bardziej szczegółowo

Politechnika Warszawska Wydział Matematyki i Nauk Informacyjnych ul. Koszykowa 75, 00-662 Warszawa

Politechnika Warszawska Wydział Matematyki i Nauk Informacyjnych ul. Koszykowa 75, 00-662 Warszawa Zamawiający: Wydział Matematyki i Nauk Informacyjnych Politechniki Warszawskiej 00-662 Warszawa, ul. Koszykowa 75 Przedmiot zamówienia: Produkcja Interaktywnej gry matematycznej Nr postępowania: WMiNI-39/44/AM/13

Bardziej szczegółowo

Paweł Selera, Prawo do odliczenia i zwrotu podatku naliczonego w VAT, Wolters Kluwer S.A., Warszawa 2014, ss. 372

Paweł Selera, Prawo do odliczenia i zwrotu podatku naliczonego w VAT, Wolters Kluwer S.A., Warszawa 2014, ss. 372 Paweł Selera, Prawo do odliczenia i zwrotu podatku naliczonego w VAT, Wolters Kluwer S.A., Warszawa 2014, ss. 372 I Odliczenie i zwrot podatku naliczonego to podstawowe mechanizmy funkcjonowania podatku

Bardziej szczegółowo

Rozdział 6. Pakowanie plecaka. 6.1 Postawienie problemu

Rozdział 6. Pakowanie plecaka. 6.1 Postawienie problemu Rozdział 6 Pakowanie plecaka 6.1 Postawienie problemu Jak zauważyliśmy, szyfry oparte na rachunku macierzowym nie są przerażająco trudne do złamania. Zdecydowanie trudniejszy jest kryptosystem oparty na

Bardziej szczegółowo

PERSON Kraków 2002.11.27

PERSON Kraków 2002.11.27 PERSON Kraków 2002.11.27 SPIS TREŚCI 1 INSTALACJA...2 2 PRACA Z PROGRAMEM...3 3. ZAKOŃCZENIE PRACY...4 1 1 Instalacja Aplikacja Person pracuje w połączeniu z czytnikiem personalizacyjnym Mifare firmy ASEC

Bardziej szczegółowo

PROCEDURA OCENY RYZYKA ZAWODOWEGO. w Urzędzie Gminy Mściwojów

PROCEDURA OCENY RYZYKA ZAWODOWEGO. w Urzędzie Gminy Mściwojów I. Postanowienia ogólne 1.Cel PROCEDURA OCENY RYZYKA ZAWODOWEGO w Urzędzie Gminy Mściwojów Przeprowadzenie oceny ryzyka zawodowego ma na celu: Załącznik A Zarządzenia oceny ryzyka zawodowego monitorowanie

Bardziej szczegółowo

Wdrożenie modułu płatności eservice dla systemu Virtuemart 2.0.x

Wdrożenie modułu płatności eservice dla systemu Virtuemart 2.0.x Wdrożenie modułu płatności eservice dla systemu Virtuemart 2.0.x Wersja 02 Styczeń 2016 Centrum Elektronicznych Usług Płatniczych eservice Sp. z o.o. Spis treści 1. Wstęp... 3 1.1. Przeznaczenie dokumentu...

Bardziej szczegółowo

Rodzaje Code slicing w weryfikacji Narzędzia Literatura. Code slicing. Bartłomiej Wołowiec. 16 lutego 2011

Rodzaje Code slicing w weryfikacji Narzędzia Literatura. Code slicing. Bartłomiej Wołowiec. 16 lutego 2011 w weryfikacji 16 lutego 2011 w weryfikacji 1 Rodzaje Statyczny slicing (ang. Static Slicing) Dynamiczny slicing (ang. Dynamic Slicing) Warunkowy slicing (ang. Conditioned Slicing) Bezpostaciowy slicing

Bardziej szczegółowo

Jak spersonalizować wygląd bloga?

Jak spersonalizować wygląd bloga? Jak spersonalizować wygląd bloga? Czy wiesz, że każdy bloger ma możliwość dopasowania bloga do własnych preferencji? Wszystkie blogi posiadają tzw. skórkę czyli układ graficzny, który możesz dowolnie zmieniać.

Bardziej szczegółowo

Temat: Funkcje. Własności ogólne. A n n a R a j f u r a, M a t e m a t y k a s e m e s t r 1, W S Z i M w S o c h a c z e w i e 1

Temat: Funkcje. Własności ogólne. A n n a R a j f u r a, M a t e m a t y k a s e m e s t r 1, W S Z i M w S o c h a c z e w i e 1 Temat: Funkcje. Własności ogólne A n n a R a j f u r a, M a t e m a t y k a s e m e s t r 1, W S Z i M w S o c h a c z e w i e 1 Kody kolorów: pojęcie zwraca uwagę * materiał nieobowiązkowy A n n a R a

Bardziej szczegółowo

INSTRUKCJA OBSŁUGI WD2250A. WATOMIERZ 0.3W-2250W firmy MCP

INSTRUKCJA OBSŁUGI WD2250A. WATOMIERZ 0.3W-2250W firmy MCP INSTRUKCJA OBSŁUGI WD2250A WATOMIERZ 0.3W-2250W firmy MCP 1. CHARAKTERYSTYKA TECHNICZNA Zakresy prądowe: 0,1A, 0,5A, 1A, 5A. Zakresy napięciowe: 3V, 15V, 30V, 240V, 450V. Pomiar mocy: nominalnie od 0.3

Bardziej szczegółowo

PAKIET MathCad - Część III

PAKIET MathCad - Część III Opracowanie: Anna Kluźniak / Jadwiga Matla Ćw3.mcd 1/12 Katedra Informatyki Stosowanej - Studium Podstaw Informatyki PAKIET MathCad - Część III RÓWNANIA I UKŁADY RÓWNAŃ 1. Równania z jedną niewiadomą MathCad

Bardziej szczegółowo

Instalacja. Zawartość. Wyszukiwarka. Instalacja... 1. Konfiguracja... 2. Uruchomienie i praca z raportem... 4. Metody wyszukiwania...

Instalacja. Zawartość. Wyszukiwarka. Instalacja... 1. Konfiguracja... 2. Uruchomienie i praca z raportem... 4. Metody wyszukiwania... Zawartość Instalacja... 1 Konfiguracja... 2 Uruchomienie i praca z raportem... 4 Metody wyszukiwania... 6 Prezentacja wyników... 7 Wycenianie... 9 Wstęp Narzędzie ściśle współpracujące z raportem: Moduł

Bardziej szczegółowo

Microsoft Management Console

Microsoft Management Console Microsoft Management Console Konsola zarządzania jest narzędziem pozwalającym w prosty sposób konfigurować i kontrolować pracę praktycznie wszystkich mechanizmów i usług dostępnych w sieci Microsoft. Co

Bardziej szczegółowo

Co zrobić, jeśli uważasz, że decyzja w sprawie zasiłku mieszkaniowego lub zasiłku na podatek lokalny jest niewłaściwa

Co zrobić, jeśli uważasz, że decyzja w sprawie zasiłku mieszkaniowego lub zasiłku na podatek lokalny jest niewłaściwa Polish Co zrobić, jeśli uważasz, że decyzja w sprawie zasiłku mieszkaniowego lub zasiłku na podatek lokalny jest niewłaściwa (What to do if you think the decision about your Housing Benefit or Council

Bardziej szczegółowo

Instalacja Plugin. Rys. 1. Folder Plugin.

Instalacja Plugin. Rys. 1. Folder Plugin. Instalacja Plugin Co to jest Plugin? Plugin, czyli wtyczka, są to dodatkowe programy, które użytkownik instaluje w dekoderze, w zależności od swoich własnych potrzeb, czy preferencji. Programy te są dostępne

Bardziej szczegółowo

Szczegółowe wyjaśnienia dotyczące definicji MŚP i związanych z nią dylematów

Szczegółowe wyjaśnienia dotyczące definicji MŚP i związanych z nią dylematów 1 Autor: Aneta Para Szczegółowe wyjaśnienia dotyczące definicji MŚP i związanych z nią dylematów Jak powiedział Günter Verheugen Członek Komisji Europejskiej, Komisarz ds. przedsiębiorstw i przemysłu Mikroprzedsiębiorstwa

Bardziej szczegółowo

Szczegółowe zasady obliczania wysokości. i pobierania opłat giełdowych. (tekst jednolity)

Szczegółowe zasady obliczania wysokości. i pobierania opłat giełdowych. (tekst jednolity) Załącznik do Uchwały Nr 1226/2015 Zarządu Giełdy Papierów Wartościowych w Warszawie S.A. z dnia 3 grudnia 2015 r. Szczegółowe zasady obliczania wysokości i pobierania opłat giełdowych (tekst jednolity)

Bardziej szczegółowo

Audyt SEO. Elementy oraz proces przygotowania audytu. strona

Audyt SEO. Elementy oraz proces przygotowania audytu. strona Audyt SEO Elementy oraz proces przygotowania audytu 1 Spis treści Kim jesteśmy? 3 Czym jest audyt SEO 4 Główne elementy audytu 5 Kwestie techniczne 6 Słowa kluczowe 7 Optymalizacja kodu strony 8 Optymalizacja

Bardziej szczegółowo

Moduł. Rama 2D suplement do wersji Konstruktora 4.6

Moduł. Rama 2D suplement do wersji Konstruktora 4.6 Moduł Rama 2D suplement do wersji Konstruktora 4.6 110-1 Spis treści 110. RAMA 2D - SUPLEMENT...3 110.1 OPIS ZMIAN...3 110.1.1 Nowy tryb wymiarowania...3 110.1.2 Moduł dynamicznego przeglądania wyników...5

Bardziej szczegółowo

PROGRAM ZAPEWNIENIA I POPRAWY JAKOŚCI AUDYTU WEWNĘTRZNEGO

PROGRAM ZAPEWNIENIA I POPRAWY JAKOŚCI AUDYTU WEWNĘTRZNEGO Załącznik nr 4 do Zarządzenia Nr 103/2012 Burmistrza Miasta i Gminy Skawina z dnia 19 czerwca 2012 r. PROGRAM ZAPEWNIENIA I POPRAWY JAKOŚCI AUDYTU WEWNĘTRZNEGO MÓDL SIĘ TAK, JAKBY WSZYSTKO ZALEśAŁO OD

Bardziej szczegółowo

SKRÓCONA INSTRUKCJA OBSŁUGI ELEKTRONICZNEGO BIURA OBSŁUGI UCZESTNIKA BADANIA BIEGŁOŚCI

SKRÓCONA INSTRUKCJA OBSŁUGI ELEKTRONICZNEGO BIURA OBSŁUGI UCZESTNIKA BADANIA BIEGŁOŚCI SKRÓCONA INSTRUKCJA OBSŁUGI ELEKTRONICZNEGO BIURA OBSŁUGI UCZESTNIKA BADANIA BIEGŁOŚCI 1. CO TO JEST ELEKTRONICZNE BIURO OBSŁUGI UCZESTNIKA (EBOU) Elektroniczne Biuro Obsługi Uczestnika to platforma umożliwiająca

Bardziej szczegółowo

Stypendia USOS Stan na semestr zimowy 2013/14

Stypendia USOS Stan na semestr zimowy 2013/14 Stypendia USOS Stan na semestr zimowy 2013/14 Wnioski Wnioski dostępne w USOS Deklaracja programu Wniosek zbierający informacje o dochodach rodziny studenta Wniosek o przyznanie stypendium socjalnego Wniosek

Bardziej szczegółowo

Archiwum Prac Dyplomowych

Archiwum Prac Dyplomowych Archiwum Prac Dyplomowych Instrukcja dla studentów Ogólna procedura przygotowania pracy do obrony w Archiwum Prac Dyplomowych 1. Student rejestruje pracę w dziekanacie tej jednostki uczelni, w której pisana

Bardziej szczegółowo

PODRĘCZNIK UŻYTKOWNIKA

PODRĘCZNIK UŻYTKOWNIKA PODRĘCZNIK UŻYTKOWNIKA ENGLISH NEDERLANDS DEUTSCH FRANÇAIS ESPAÑOL ITALIANO PORTUGUÊS POLSKI ČESKY MAGYAR SLOVENSKÝ SAFESCAN MC-Software OPROGRAMOWANIE DO LICZENIA PIENIĘDZY SPIS TREŚCI WPROWADZENIE I

Bardziej szczegółowo

Zarządzanie Zasobami by CTI. Instrukcja

Zarządzanie Zasobami by CTI. Instrukcja Zarządzanie Zasobami by CTI Instrukcja Spis treści 1. Opis programu... 3 2. Konfiguracja... 4 3. Okno główne programu... 5 3.1. Narzędzia do zarządzania zasobami... 5 3.2. Oś czasu... 7 3.3. Wykres Gantta...

Bardziej szczegółowo

enova Workflow Obieg faktury kosztowej

enova Workflow Obieg faktury kosztowej enova Workflow Obieg faktury kosztowej Spis treści 1. Wykorzystanie procesu... 3 1.1 Wprowadzenie dokumentu... 3 1.2 Weryfikacja merytoryczna dokumentu... 5 1.3 Przydzielenie zadań wybranym operatorom...

Bardziej szczegółowo

Motywuj świadomie. Przez kompetencje.

Motywuj świadomie. Przez kompetencje. styczeń 2015 Motywuj świadomie. Przez kompetencje. Jak wykorzystać gamifikację i analitykę HR do lepszego zarządzania zasobami ludzkimi w organizacji? 2 Jak skutecznie motywować? Pracownik, który nie ma

Bardziej szczegółowo

Wtedy wystarczy wybrać właściwego Taga z listy.

Wtedy wystarczy wybrać właściwego Taga z listy. Po wejściu na stronę pucharino.slask.pl musisz się zalogować (Nazwa użytkownika to Twój redakcyjny pseudonim, hasło sam sobie ustalisz podczas procedury rejestracji). Po zalogowaniu pojawi się kilka istotnych

Bardziej szczegółowo

Udoskonalona wentylacja komory suszenia

Udoskonalona wentylacja komory suszenia Udoskonalona wentylacja komory suszenia Komora suszenia Kratka wentylacyjna Zalety: Szybkie usuwanie wilgoci z przestrzeni nad próbką Ograniczenie emisji ciepła z komory suszenia do modułu wagowego W znacznym

Bardziej szczegółowo

Przypomnienie najważniejszych pojęć z baz danych. Co to jest baza danych?

Przypomnienie najważniejszych pojęć z baz danych. Co to jest baza danych? Przypomnienie najważniejszych pojęć z baz danych. Co to jest baza danych? 1 Podstawowe pojęcia: 2 3 4 5 Dana (ang.data) najmniejsza, elementarna jednostka informacji o obiekcie będąca przedmiotem przetwarzania

Bardziej szczegółowo

Samochody osobowe i vany

Samochody osobowe i vany Poradnik na potrzeby zielonych zamówień publicznych Samochody osobowe i vany Aktualizacja: Maj 2016 Courtesy of: autogastechnik.eu Dlaczego warto stosować kryteria Topten? Topten.info.pl Pro (www.topten.info.pl)

Bardziej szczegółowo

Warszawa: Dostawa kalendarzy na rok 2017 Numer ogłoszenia: 41127-2016; data zamieszczenia: 15.04.2016 OGŁOSZENIE O ZAMÓWIENIU - dostawy

Warszawa: Dostawa kalendarzy na rok 2017 Numer ogłoszenia: 41127-2016; data zamieszczenia: 15.04.2016 OGŁOSZENIE O ZAMÓWIENIU - dostawy Strona 1 z 5 Adres strony internetowej, na której Zamawiający udostępnia Specyfikację Istotnych Warunków Zamówienia: www.knf.gov.pl/o_nas/urzad_komisji/zamowienia_publiczne/zam_pub_pow/index.html Warszawa:

Bardziej szczegółowo

JĘZYK UML JAKO NARZĘDZIE MODELOWANIA PROCESU PROJEKTOWO-KONSTRUKCYJNEGO

JĘZYK UML JAKO NARZĘDZIE MODELOWANIA PROCESU PROJEKTOWO-KONSTRUKCYJNEGO JĘZYK UML JAKO NARZĘDZIE MODELOWANIA PROCESU PROJEKTOWO-KONSTRUKCYJNEGO Andrzej BAIER, Tomasz R. LUBCZYŃSKI Streszczenie: W ostatnich latach można zaobserwować dynamiczny rozwój analizy zorientowanej obiektowo.

Bardziej szczegółowo

Program Google AdSense w Smaker.pl

Program Google AdSense w Smaker.pl Smaker.pl Program Google AdSense w Smaker.pl Pytania i odpowiedzi dotyczące programu Google AdSense Spis treści Czym jest AdSense... 2 Zasady działania AdSense?... 2 Jak AdSense działa w Smakerze?... 3

Bardziej szczegółowo

Dziedziczenie : Dziedziczenie to nic innego jak definiowanie nowych klas w oparciu o już istniejące.

Dziedziczenie : Dziedziczenie to nic innego jak definiowanie nowych klas w oparciu o już istniejące. Programowanie II prowadzący: Adam Dudek Lista nr 8 Dziedziczenie : Dziedziczenie to nic innego jak definiowanie nowych klas w oparciu o już istniejące. Jest to najważniejsza cecha świadcząca o sile programowania

Bardziej szczegółowo

InsERT GT Własne COM 1.0

InsERT GT Własne COM 1.0 InsERT GT Własne COM 1.0 Autor: Jarosław Kolasa, InsERT Wstęp... 2 Dołączanie zestawień własnych do systemu InsERT GT... 2 Sposób współpracy rozszerzeń z systemem InsERT GT... 2 Rozszerzenia standardowe

Bardziej szczegółowo

SZABLONY KOMUNIKATÓW SPIS TREŚCI

SZABLONY KOMUNIKATÓW SPIS TREŚCI SZABLONY KOMUNIKATÓW SPIS TREŚCI Zarządzanie zawartością stron... 2 Dodawanie komunikatu... 3 Lista komunikatów... 6 Lista komunikatów na stronie głównej... 9 ZARZĄDZANIE ZAWARTOŚCIĄ STRON Istnieją dwa

Bardziej szczegółowo

Komentarz do prac egzaminacyjnych w zawodzie technik administracji 343[01] ETAP PRAKTYCZNY EGZAMINU POTWIERDZAJĄCEGO KWALIFIKACJE ZAWODOWE

Komentarz do prac egzaminacyjnych w zawodzie technik administracji 343[01] ETAP PRAKTYCZNY EGZAMINU POTWIERDZAJĄCEGO KWALIFIKACJE ZAWODOWE Komentarz do prac egzaminacyjnych w zawodzie technik administracji 343[01] ETAP PRAKTYCZNY EGZAMINU POTWIERDZAJĄCEGO KWALIFIKACJE ZAWODOWE OKE Kraków 2012 Zadanie egzaminacyjne zostało opracowane

Bardziej szczegółowo

Projektowanie bazy danych

Projektowanie bazy danych Projektowanie bazy danych Pierwszą fazą tworzenia projektu bazy danych jest postawienie definicji celu, założeo wstępnych i określenie podstawowych funkcji aplikacji. Każda baza danych jest projektowana

Bardziej szczegółowo

Opłaty wstępne w leasingu jako koszty bezpośrednio związane z uzyskanym przychodem

Opłaty wstępne w leasingu jako koszty bezpośrednio związane z uzyskanym przychodem Opłatę wstępną należy ściśle powiązać z przychodami roku, w którym zaczęto użytkować przedmiot leasingu, nie zaś rozdzielać proporcjonalnie w stosunku do czasu obowiązywania umowy zawartej na okres przekraczający

Bardziej szczegółowo

PANEL III: SZACOWANIE KOSZTÓW ROZWOJU PRZESTRZENNEGO

PANEL III: SZACOWANIE KOSZTÓW ROZWOJU PRZESTRZENNEGO PANEL III: SZACOWANIE KOSZTÓW ROZWOJU PRZESTRZENNEGO Pan mgr inż. Janusz Walczak Rzeczoznawca majątkowy i biegły sądowy Postrzeganie gospodarki przestrzennej przez uczestników rynku nieruchomości Konferencja

Bardziej szczegółowo

Regulamin Egzaminów i Zawodów Psów Towarzyszących 1,2,3 stopnia 2010 (po korekcie 20.10)

Regulamin Egzaminów i Zawodów Psów Towarzyszących 1,2,3 stopnia 2010 (po korekcie 20.10) Regulamin Egzaminów i Zawodów Psów Towarzyszących 1,2,3 stopnia 2010 (po korekcie 20.10) Informacje wstępne: Niniejszy regulamin przyjęty został w dniu 5.06.2009 r. przez Zarząd Główny do stosowania w

Bardziej szczegółowo

Wniosek o ustalenie warunków zabudowy

Wniosek o ustalenie warunków zabudowy Wniosek o ustalenie warunków zabudowy Informacje ogólne Kiedy potrzebna jest decyzja Osoba, która składa wniosek o pozwolenie na budowę, nie musi mieć decyzji o warunkach zabudowy terenu, pod warunkiem

Bardziej szczegółowo

Opis zmian funkcjonalności platformy E-GIODO wprowadzonych w związku z wprowadzeniem możliwości wysyłania wniosków bez podpisu elektronicznego

Opis zmian funkcjonalności platformy E-GIODO wprowadzonych w związku z wprowadzeniem możliwości wysyłania wniosków bez podpisu elektronicznego Opis zmian funkcjonalności platformy E-GIODO wprowadzonych w związku z wprowadzeniem możliwości wysyłania wniosków bez podpisu elektronicznego Wstęp. Dodanie funkcjonalności wysyłania wniosków bez podpisów

Bardziej szczegółowo

Instrukcja obsługi platformy zakupowej e-osaa (klient podstawowy)

Instrukcja obsługi platformy zakupowej e-osaa (klient podstawowy) Instrukcja obsługi platformy zakupowej e-osaa (klient podstawowy) 1. Wejście na stronę http://www.officemedia.com.pl strona główną Office Media 2. Logowanie do zakupowej części serwisu. Login i hasło należy

Bardziej szczegółowo

Współczesne nowoczesne budownictwo pozwala na wyrażenie indywidualnego stylu domu..

Współczesne nowoczesne budownictwo pozwala na wyrażenie indywidualnego stylu domu.. Współczesne nowoczesne budownictwo pozwala na wyrażenie indywidualnego stylu domu.. w którym będziemy mieszkać. Coraz więcej osób, korzystających ze standardowych projektów, decyduje się nadać swojemu

Bardziej szczegółowo

Technologie internetowe Internet technologies Forma studiów: Stacjonarne Poziom kwalifikacji: I stopnia. Liczba godzin/tydzień: 2W, 2L

Technologie internetowe Internet technologies Forma studiów: Stacjonarne Poziom kwalifikacji: I stopnia. Liczba godzin/tydzień: 2W, 2L Nazwa przedmiotu: Kierunek: Informatyka Rodzaj przedmiotu: moduł specjalności obowiązkowy: Sieci komputerowe Rodzaj zajęć: wykład, laboratorium Technologie internetowe Internet technologies Forma studiów:

Bardziej szczegółowo

ZAPYTANIE OFERTOWE PRZEDMIOT ZAMÓWIENIA: DOSTAWA UŻYWANEGO SAMOCHODU DOSTAWCZEGO DLA ZAKŁADU WODOCIĄGÓW I KANALIZACJI W PACZKOWIE

ZAPYTANIE OFERTOWE PRZEDMIOT ZAMÓWIENIA: DOSTAWA UŻYWANEGO SAMOCHODU DOSTAWCZEGO DLA ZAKŁADU WODOCIĄGÓW I KANALIZACJI W PACZKOWIE ZAPYTANIE OFERTOWE PRZEDMIOT ZAMÓWIENIA: DOSTAWA UŻYWANEGO SAMOCHODU DOSTAWCZEGO DLA ZAKŁADU WODOCIĄGÓW I KANALIZACJI W PACZKOWIE PACZKÓW DNIA 24 PAŻDZIERNIKA 2013 1 Nazwa oraz adres Zamawiającego Zakład

Bardziej szczegółowo

Prawa i obowiązki pracownika oraz pracodawcy w zakresie BHP

Prawa i obowiązki pracownika oraz pracodawcy w zakresie BHP Prawa i obowiązki pracownika oraz pracodawcy w zakresie BHP Cele wykładu Poznanie: - poznanie obowiązków pracodawcy w zakresie BHP i ich źródło. - poznanie praw i obowiązków pracownika w zakresie BHP i

Bardziej szczegółowo

I. POSTANOWIENIE OGÓLNE

I. POSTANOWIENIE OGÓLNE Załącznik do Zarządzenia Nr 26/2015 Rektora UKSW z dnia 1 lipca 2015 r. REGULAMIN ZWIĘKSZENIA STYPENDIUM DOKTORANCKIEGO Z DOTACJI PODMIOTOWEJ NA DOFINANSOWANIE ZADAŃ PROJAKOŚCIOWYCH NA UNIWERSYTETCIE KARDYNAŁA

Bardziej szczegółowo

Regulamin Projektów Ogólnopolskich i Komitetów Stowarzyszenia ESN Polska

Regulamin Projektów Ogólnopolskich i Komitetów Stowarzyszenia ESN Polska Regulamin Projektów Ogólnopolskich i Komitetów Stowarzyszenia ESN Polska 1 Projekt Ogólnopolski: 1.1. Projekt Ogólnopolski (dalej Projekt ) to przedsięwzięcie Stowarzyszenia podjęte w celu realizacji celów

Bardziej szczegółowo

Kancelaris - Zmiany w wersji 2.50

Kancelaris - Zmiany w wersji 2.50 1. Listy Kancelaris - Zmiany w wersji 2.50 Zmieniono funkcję Dostosuj listę umożliwiając: o Zapamiętanie wielu widoków dla danej listy o Współdzielenie widoków między pracownikami Przykład: Kancelaria

Bardziej szczegółowo

Regulamin PODKARPACKIEGO KONKURSU WIEDZY O PODATKACH. Siedziba:

Regulamin PODKARPACKIEGO KONKURSU WIEDZY O PODATKACH. Siedziba: Regulamin PODKARPACKIEGO KONKURSU WIEDZY O PODATKACH Siedziba: Podkarpacki Oddział Krajowej Izby Doradców Podatkowych Ul. Targowa 3/313 35-064 Rzeszów R Z E S Z Ó W Postanowienia ogólne 1. Patronat honorowy

Bardziej szczegółowo

1. Korzyści z zakupu nowej wersji... 2. 2. Poprawiono... 2. 3. Zmiany w słowniku Stawki VAT... 2. 4. Zmiana stawki VAT w kartotece Towary...

1. Korzyści z zakupu nowej wersji... 2. 2. Poprawiono... 2. 3. Zmiany w słowniku Stawki VAT... 2. 4. Zmiana stawki VAT w kartotece Towary... Forte Handel 1 / 8 Nowe funkcje w module Forte Handel w wersji 2011a Spis treści: 1. Korzyści z zakupu nowej wersji... 2 2. Poprawiono... 2 Nowe funkcje w module Forte Handel w wersji 2011 Spis treści:

Bardziej szczegółowo

Komunikat 16 z dnia 2015-05-07 dotyczący aktualnej sytuacji agrotechnicznej

Komunikat 16 z dnia 2015-05-07 dotyczący aktualnej sytuacji agrotechnicznej Komunikat 16 z dnia 2015-05-07 dotyczący aktualnej sytuacji agrotechnicznej www.sad24.com Wszystkie poniższe informacje zostały przygotowane na podstawie obserwacji laboratoryjnych oraz lustracji wybranych

Bardziej szczegółowo

Generowanie kodów NC w środowisku Autodesk Inventor 2014

Generowanie kodów NC w środowisku Autodesk Inventor 2014 Biuletyn techniczny Inventor nr 41 Generowanie kodów NC w środowisku Autodesk Inventor 2014 Opracowanie: Tomasz Jędrzejczyk 2014, APLIKOM Sp. z o.o. 94-102 Łódź ul. Nowe Sady 6 tel.: (+48) 42 288 16 00

Bardziej szczegółowo

Rozliczenia z NFZ. Ogólne założenia. Spis treści

Rozliczenia z NFZ. Ogólne założenia. Spis treści Rozliczenia z NFZ Spis treści 1 Ogólne założenia 2 Generacja raportu statystycznego 3 Wczytywanie raportu zwrotnego 4 Szablony rachunków 4.1 Wczytanie szablonów 4.2 Wygenerowanie dokumentów rozliczenia

Bardziej szczegółowo

ZASADY WYPEŁNIANIA ANKIETY 2. ZATRUDNIENIE NA CZĘŚĆ ETATU LUB PRZEZ CZĘŚĆ OKRESU OCENY

ZASADY WYPEŁNIANIA ANKIETY 2. ZATRUDNIENIE NA CZĘŚĆ ETATU LUB PRZEZ CZĘŚĆ OKRESU OCENY ZASADY WYPEŁNIANIA ANKIETY 1. ZMIANA GRUPY PRACOWNIKÓW LUB AWANS W przypadku zatrudnienia w danej grupie pracowników (naukowo-dydaktyczni, dydaktyczni, naukowi) przez okres poniżej 1 roku nie dokonuje

Bardziej szczegółowo

Sprawozdanie z działalności Rady Nadzorczej TESGAS S.A. w 2008 roku.

Sprawozdanie z działalności Rady Nadzorczej TESGAS S.A. w 2008 roku. Sprawozdanie z działalności Rady Nadzorczej TESGAS S.A. w 2008 roku. Rada Nadzorcza zgodnie z treścią Statutu Spółki składa się od 5 do 9 Członków powoływanych przez Walne Zgromadzenie w głosowaniu tajnym.

Bardziej szczegółowo

Charakterystyka systemów plików

Charakterystyka systemów plików Charakterystyka systemów plików Systemy plików są rozwijane wraz z systemami operacyjnymi. Windows wspiera systemy FAT oraz system NTFS. Różnią się one sposobem przechowywania informacji o plikach, ale

Bardziej szczegółowo

FORUM ZWIĄZKÓW ZAWODOWYCH

FORUM ZWIĄZKÓW ZAWODOWYCH L.Dz.FZZ/VI/912/04/01/13 Bydgoszcz, 4 stycznia 2013 r. Szanowny Pan WŁADYSŁAW KOSINIAK - KAMYSZ MINISTER PRACY I POLITYKI SPOŁECZNEJ Uwagi Forum Związków Zawodowych do projektu ustawy z dnia 14 grudnia

Bardziej szczegółowo

INSTRUKCJA TESTOWANIA USŁUG NA PLATFORMIE ELA-ENT

INSTRUKCJA TESTOWANIA USŁUG NA PLATFORMIE ELA-ENT Załącznik nr 1 Siedlce-Warszawa, dn. 16.06.2009 r. Opracowanie: Marek Faderewski (marekf@ipipan.waw.pl) Dariusz Mikułowski (darek@ii3.ap.siedlce.pl) INSTRUKCJA TESTOWANIA USŁUG NA PLATFORMIE ELA-ENT Przed

Bardziej szczegółowo

ARAKS FAKTURY 2016. Instalujemy program i wystawiamy fakturę krok po kroku, oraz co wyróżnia nasz program od innych. - 1

ARAKS FAKTURY 2016. Instalujemy program i wystawiamy fakturę krok po kroku, oraz co wyróżnia nasz program od innych. - 1 ARAKS FAKTURY 2016 Instalujemy program i wystawiamy fakturę krok po kroku, oraz co wyróżnia nasz program od innych. - 1 Aby zainstalować program "Faktury 2016" należy uruchomić program instalacyjny faktury_2016.exe.

Bardziej szczegółowo

Regulamin rekrutacji uczniów do klasy pierwszej Szkoły Podstawowej im. Maksymiliana Wilandta w Darzlubiu. Podstawa prawna: (Dz.U.2014 poz.

Regulamin rekrutacji uczniów do klasy pierwszej Szkoły Podstawowej im. Maksymiliana Wilandta w Darzlubiu. Podstawa prawna: (Dz.U.2014 poz. Regulamin rekrutacji uczniów do klasy pierwszej Szkoły Podstawowej im. Maksymiliana Wilandta w Darzlubiu Podstawa prawna: Ustawa z dnia 7 września 1991 r. o systemie o światy (Tekst jednolity Dz. U.z 2004

Bardziej szczegółowo

POLITECHNIKA WARSZAWSKA Wydział Chemiczny LABORATORIUM PROCESÓW TECHNOLOGICZNYCH PROJEKTOWANIE PROCESÓW TECHNOLOGICZNYCH

POLITECHNIKA WARSZAWSKA Wydział Chemiczny LABORATORIUM PROCESÓW TECHNOLOGICZNYCH PROJEKTOWANIE PROCESÓW TECHNOLOGICZNYCH POLITECHNIKA WARSZAWSKA Wydział Chemiczny LABORATORIUM PROCESÓW TECHNOLOGICZNYCH PROJEKTOWANIE PROCESÓW TECHNOLOGICZNYCH Ludwik Synoradzki Jerzy Wisialski EKONOMIKA Zasada opłacalności Na początku każdego

Bardziej szczegółowo

ASD - ćwiczenia III. Dowodzenie poprawności programów iteracyjnych. Nieformalnie o poprawności programów:

ASD - ćwiczenia III. Dowodzenie poprawności programów iteracyjnych. Nieformalnie o poprawności programów: ASD - ćwiczenia III Dowodzenie poprawności programów iteracyjnych Nieformalnie o poprawności programów: poprawność częściowa jeżeli program zakończy działanie dla danych wejściowych spełniających założony

Bardziej szczegółowo

1. Proszę krótko scharakteryzować firmę którą założyła Pani/Pana podgrupa, w zakresie: a) nazwa, status prawny, siedziba, zasady zarządzania (5 pkt.

1. Proszę krótko scharakteryzować firmę którą założyła Pani/Pana podgrupa, w zakresie: a) nazwa, status prawny, siedziba, zasady zarządzania (5 pkt. 1. Proszę krótko scharakteryzować firmę którą założyła Pani/Pana podgrupa, w zakresie: a) nazwa, status prawny, siedziba, zasady zarządzania (5 pkt.) b) produkt i najważniejsze parametry oraz metodyki

Bardziej szczegółowo

Inspiracje dla branży. Sport i rekreacja

Inspiracje dla branży. Sport i rekreacja Inspiracje dla branży Sport i rekreacja shop.reebok.com Klient nasz p - projektant Dajemy narzędzia: zrób to sam... Coraz więcej firm podejmuje działania służące idealnemu dopasowaniu produktu do preferencji

Bardziej szczegółowo

Zestawienie wartości dostępnej mocy przyłączeniowej źródeł w sieci RWE Stoen Operator o napięciu znamionowym powyżej 1 kv

Zestawienie wartości dostępnej mocy przyłączeniowej źródeł w sieci RWE Stoen Operator o napięciu znamionowym powyżej 1 kv Zestawienie wartości dostępnej mocy przyłączeniowej źródeł w sieci RWE Stoen Operator o napięciu znamionowym powyżej 1 kv stan na: lipiec 2016 r. RWE Stoen Operator Sp. z o.o. 28/06/2016 STRONA 1 Podstawa

Bardziej szczegółowo

RZECZPOSPOLITA POLSKA MINISTER CYFRYZACJI

RZECZPOSPOLITA POLSKA MINISTER CYFRYZACJI Warszawa, dnia 22 grudnia 2015 r. RZECZPOSPOLITA POLSKA MINISTER CYFRYZACJI Anna Streżyńska DI-WRP.0210.14.2015 Pani Justyna Duszyńska Sekretarz Komitetu Rady Ministrów ds. Cyfryzacji Szanowna Pani Sekretarz,

Bardziej szczegółowo

Użytkowanie elektronicznego dziennika UONET PLUS.

Użytkowanie elektronicznego dziennika UONET PLUS. Użytkowanie elektronicznego dziennika UONET PLUS. Po wejściu na stronę https://uonetplus.vulcan.net.pl/bialystok i zalogowaniu się na swoje konto (przy użyciu adresu e-mail podanego wcześniej wychowawcy

Bardziej szczegółowo

Zarządzanie projektami. wykład 1 dr inż. Agata Klaus-Rosińska

Zarządzanie projektami. wykład 1 dr inż. Agata Klaus-Rosińska Zarządzanie projektami wykład 1 dr inż. Agata Klaus-Rosińska 1 DEFINICJA PROJEKTU Zbiór działań podejmowanych dla zrealizowania określonego celu i uzyskania konkretnego, wymiernego rezultatu produkt projektu

Bardziej szczegółowo

REGULAMIN PRZYZNAWANIA STYPENDIÓW NA KIERUNKACH ZAMAWIANYCH W RAMACH PROJEKTU POKL

REGULAMIN PRZYZNAWANIA STYPENDIÓW NA KIERUNKACH ZAMAWIANYCH W RAMACH PROJEKTU POKL REGULAMIN PRZYZNAWANIA STYPENDIÓW NA KIERUNKACH ZAMAWIANYCH W RAMACH PROJEKTU POKL Inżynier na zamówienie Wydział Budowy Maszyn i Lotnictwa Politechniki Rzeszowskiej Przepisy i postanowienia ogólne 1 1.

Bardziej szczegółowo

PROJEKTY UCHWAŁ NA NADZWYCZAJNE WALNE ZGROMADZENIE HETAN TECHNOLOGIES SPÓŁKA AKCYJNA W DNIU 25 MAJA 2016 ROKU

PROJEKTY UCHWAŁ NA NADZWYCZAJNE WALNE ZGROMADZENIE HETAN TECHNOLOGIES SPÓŁKA AKCYJNA W DNIU 25 MAJA 2016 ROKU PROJEKTY UCHWAŁ NA NADZWYCZAJNE WALNE ZGROMADZENIE HETAN TECHNOLOGIES SPÓŁKA AKCYJNA W DNIU 25 MAJA 2016 ROKU w sprawie wyboru Przewodniczącego Nadzwyczajnego Walnego Zgromadzenia Działając na podstawie

Bardziej szczegółowo

Komunikacja w sieci Industrial Ethernet z wykorzystaniem Protokołu S7 oraz funkcji PUT/GET

Komunikacja w sieci Industrial Ethernet z wykorzystaniem Protokołu S7 oraz funkcji PUT/GET PoniŜszy dokument zawiera opis konfiguracji programu STEP7 dla sterowników SIMATIC S7 300/S7 400, w celu stworzenia komunikacji między dwoma stacjami S7 300 za pomocą sieci Industrial Ethernet, protokołu

Bardziej szczegółowo

Śrubka zamykająca Uchwyt ścienny Przycisk kontrolny Lampka kontrolna

Śrubka zamykająca Uchwyt ścienny Przycisk kontrolny Lampka kontrolna Modem GSM do sterowania ogrzewaniem 1 Przegląd W połączeniu z radiowym regulatorem temperatury pokojowej X2D modem ten umożliwia zdalne sterowanie ogrzewaniem. Zdalne sterowanie odbywa się za pomocą komunikatów

Bardziej szczegółowo

Edycja geometrii w Solid Edge ST

Edycja geometrii w Solid Edge ST Edycja geometrii w Solid Edge ST Artykuł pt.: " Czym jest Technologia Synchroniczna a czym nie jest?" zwracał kilkukrotnie uwagę na fakt, że nie należy mylić pojęć modelowania bezpośredniego i edycji bezpośredniej.

Bardziej szczegółowo

Delegacje otrzymują w załączeniu dokument DEC 13/2016.

Delegacje otrzymują w załączeniu dokument DEC 13/2016. Rada Unii Europejskiej Bruksela, 30 czerwca 2016 r. (OR. en) 10775/16 FIN 415 PISMO PRZEWODNIE Od: Data otrzymania: 30 czerwca 2016 r. Do: Dotyczy: Kristalina GEORGIEVA, wiceprzewodnicząca Komisji Europejskiej

Bardziej szczegółowo

Trwałość projektu co zrobić, żeby nie stracić dotacji?

Trwałość projektu co zrobić, żeby nie stracić dotacji? Trwałość projektu co zrobić, żeby nie stracić dotacji? 2 Osiągnięcie i utrzymanie wskaźników Wygenerowany przychód Zakaz podwójnego finansowania Trwałość projektu Kontrola po zakończeniu realizacji projektu

Bardziej szczegółowo

Automatyczne przetwarzanie recenzji konsumenckich dla oceny użyteczności produktów i usług

Automatyczne przetwarzanie recenzji konsumenckich dla oceny użyteczności produktów i usług Uniwersytet Ekonomiczny w Poznaniu Wydział Informatyki i Gospodarki Elektronicznej Katedra Informatyki Ekonomicznej Streszczenie rozprawy doktorskiej Automatyczne przetwarzanie recenzji konsumenckich dla

Bardziej szczegółowo

KLAUZULE ARBITRAŻOWE

KLAUZULE ARBITRAŻOWE KLAUZULE ARBITRAŻOWE KLAUZULE arbitrażowe ICC Zalecane jest, aby strony chcące w swych kontraktach zawrzeć odniesienie do arbitrażu ICC, skorzystały ze standardowych klauzul, wskazanych poniżej. Standardowa

Bardziej szczegółowo

Automatyka. Etymologicznie automatyka pochodzi od grec.

Automatyka. Etymologicznie automatyka pochodzi od grec. Automatyka Etymologicznie automatyka pochodzi od grec. : samoczynny. Automatyka to: dyscyplina naukowa zajmująca się podstawami teoretycznymi, dział techniki zajmujący się praktyczną realizacją urządzeń

Bardziej szczegółowo

FlexDMS Aktualizacja 126

FlexDMS Aktualizacja 126 Aktualizacja FlexDMS do wersji 126 zwiera: Nowe funkcjonalności: 1. Integracja z ESA 2. Oznaczenie recepcji bezpośredniej w zleceniach napraw 3. Dodanie pola recepcja bezpośrednia do tabeli przestawnej

Bardziej szczegółowo