Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Stasiak, A." wg kryterium: Autor

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 59
Tytuł:
Wieś jako obszar turystyki społecznej
Countryside as an area of social tourism
Autorzy:
Stasiak, A.
Powiązania:
https://bibliotekanauki.pl/articles/78866.pdf
Data publikacji:
2011
Wydawca:
Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydawnictwo Uczelniane ZUT w Szczecinie
Źródło:
Folia Pomeranae Universitatis Technologiae Stetinensis. Oeconomica; 2011, 64
2081-0644
Pojawia się w:
Folia Pomeranae Universitatis Technologiae Stetinensis. Oeconomica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Oznaczanie estrow kwasu p-hydroksybenzoesowego w sokach owocowych i warzywnych metoda kolorymetryczna
Autorzy:
Stasiak, A
Powiązania:
https://bibliotekanauki.pl/articles/828588.pdf
Data publikacji:
2000
Wydawca:
Polskie Towarzystwo Technologów Żywności
Tematy:
soki warzywne
konserwowanie zywnosci
estry
Polska
kwas p-hydroksybenzoesowy
kolorymetria
oznaczanie
soki owocowe
vegetable juice
food preservation
ester
Polska
p-hydroxybenzoic acid
colorimetry
determination
fruit juice
Opis:
Estry kwasu p-hydroksybenzoesowego (parabeny) charakteryzują się, w porównaniu z większością środków konserwujących, wyższą i prawie niezależną od kwasowości środowiska aktywnością przeciwdrobnoustrojową. Celem badań było opracowanie prostej, wygodnej i dostępnej do wykorzystania w większości laboratoriów metody oznaczania parabenów w sokach owocowych i warzywnych. Wystarczająco dokładną i czułą okazała się metoda kolorymetryczna polegająca na reakcji barwnej kwasu p-hydroksybenzoesowego (produkcie hydrolizy parabenów) z aminoantipyriną. W badaniach ustalono optymalne warunki przygotowania próby badanej i prowadzenia reakcji barwnej. Stosując proponowany sposób analizy oznaczono parabeny w sokach: jabłkowym, z czarnych porzeczek i pomidorowym wzbogaconych w ten antyseptyk dawkami 0,02%, 0,05% i 0,1%.
P-Hydroxybenzoic acid esters (parabens) exhibit antimicrobial activity higher than the majority of conservants, and almost independent on pH. Our studies aimed at development of a simple , convenient and easy to use in most laboratories method of parabens determination in fruit and vegetable juices. A colorimetric method based on a formation of a light-absorbing dye, as a product of reaction of p-hydroxybenzoic acid released from parabens with aminoantipyrine, occured to be sufficiently precise and sensitive. Optimal conditions of sample preparation and performance of an assay were also established. This developed procedure was applied for parabens determination in apple, blackcurrant and tomato juices, fortified with these antiseptics at concetration of 0.02%, 0.05% and 0.1%.
Źródło:
Żywność Nauka Technologia Jakość; 2000, 07, 3; 89-93
1425-6959
Pojawia się w:
Żywność Nauka Technologia Jakość
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Optymalizacja realizacji układowej hierarchicznych sieci Petriego
The implementation optimization of the hierarchical Petri nets
Autorzy:
Stasiak, A.
Powiązania:
https://bibliotekanauki.pl/articles/152872.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
projektowanie zintegrowane
sieci Petriego
model formalny
systemy osadzone
systemy cyfrowe
mikrosystemy cyfrowe
FPGA
hardware-software codesign
Petri nets
formal model
embedded systems
digital systems
digital microsystems
PLD
Opis:
Projektowanie wysokiego poziomu systemów cyfrowych dotyczy szeregu aspektów związanych bezpośrednio z wybraną metodologią projektowania, modelem formalnym, algorytmami syntezy sprzętowej i programowej opisu behawioralnego. Rozważając sieci Petriego jako model formalny projektowanego systemu, szczególnie interpretowane hierarchiczne sieci Petriego, projektant ma do dyspozycji bogaty zbiór algorytmów analizy formalnej, metod syntezy programowej i sprzętowej. Jednak znane rozwiązania dotyczą przede wszystkim opisu zachowania funkcjonalnego sterowników logicznych, gdzie miejsce sieci reprezentuje logiczną operację przypisania poziomu '0' lub '1' do wyjścia układu (jeden bit lub wektor). Zauważalny jest jednak brak propozycji naukowych wspierających projektowanie systemu opisanego sieciami Petriego, gdzie w miejscu sieci realizowane są złożone instrukcje arytmetyczne lub logiczne. Przykładem sieci Petriego wspierającej w pełni projektowanie systemu sprzętowo-programowego jest siec PNHSDM (ang. Petri Net for Hardware So-ftware Digital Microsystem). Artykuł w sposób ogólny przedstawia model formalny sprzętowo-programowych sieci Petriego PNSHDM, skupiając się szczególnie na metodzie optymalizacji algorytmu syntezy sprzętowej sieci PNHSDM do reprogramowalnych układów FPGA. W pracy podjęto tematykę szeregowania zadań (ASAP, ALAP). Rozwiązano problem systemu przełączania sprzętowych modułów wykonawczych w kontekście planowanych do wykonania zadań. Wyznaczono wzór pozwalający na oszacowanie kosztów realizacji sprzętowej systemu przełączania, który zależny jest od liczby instancjacji i złożoności harmonogramowanej instrukcji.
The high level designing concerns several aspects that are directly related to the designing methodology as well as formal model definition, hardware/software synthesis algorithms, etc. When a Petri nets are considered as a formal model of developing system, especially hierarchical interpreted Petri nets, then a designer has a lot of ready to use and very well documented algorithms dedicated for formal verification, hardware and software synthesis, transformations, etc. However, most of the know solutions for Petri nets concerns designing logic controllers, where a one net place implements simple assigning operation of logical state to the output. There is lack of solutions that use a Petri nets to formalize and describe really system, where a place implements complex algebraic or logic functions. A formal model based on Petri nets for hardware-software digital microsystems (PNHSDM) has been elaborated to eliminate this gap. This paper shortly describes PNHSDM model, but author have concentrate on optimization of hardware Petri nets synthesis algorithm that is responsible to translate functional description into VHDL-RTL language. This approach takes into consideration task scheduling (ASAP, ALAP), presents elaborated solution of switching system for PNHSDM Petri nets as well as provides static hardware cost estimations of the switching system.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 108-110
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The function of the sculpture in public space and its reception occupants of the city
Funkcja rzeźby w przestrzeni publicznej i jej odbiór przez obecnych użytkowników miasta
Autorzy:
Stasiak, A.
Powiązania:
https://bibliotekanauki.pl/articles/370272.pdf
Data publikacji:
2017
Wydawca:
Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydawnictwo Uczelniane ZUT w Szczecinie
Tematy:
art
public art
public space
sculpture
przestrzeń publiczna
rzeźba
sztuka
sztuka publiczna
Opis:
Sculpture has been with people for thousands of years. Its destiny, subject and scale have changed over the centuries. Public art, along with sculpture, began to appear in a new form (not only to commemorate important figures and events) only in the 1960s. This paper aims to answer what functions are currently performed by the sculptures located in a public space and how they are perceived by the inhabitants of the city.
Rzeźba towarzyszy ludyiom od tysięcy lat. Jej przeznaczenie, tematyka, skala zmieniały się na przestrzeni wieków. Sztuka publiczna – również rzeźba zaczyna pojawiać się w nowej formie (już nie tylko upamiętniającej ważne postaci i wydarzenia) dopiero w latach 60. ubiegłego wieku. Artykuł ma na celu odpowiedzieć jakie obecnie funkcje spełnia rzeźba ulokowana w przestrzeni publicznej oraz jak jest odbierana przez mieszkańców miasta.
Źródło:
Przestrzeń i Forma; 2017, 31; 175-188
1895-3247
2391-7725
Pojawia się w:
Przestrzeń i Forma
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wytwarzanie serwisów informacyjnych z wykorzystaniem koncepcji modelowania dziedzin : budowa języka dziedzinowego (KsiML)
Production of information services using the concept of domain modeling : a systematic approach for building domain specific language (KsiML)
Autorzy:
Kosior, A.
Stasiak, A.
Powiązania:
https://bibliotekanauki.pl/articles/273393.pdf
Data publikacji:
2012
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
język dziedzinowy
DSL
modelowanie dziedzin
DSM
języki modelowania dziedzin
DSML
metody wytwarzania SI
UML
domain specific language
domain specific modeling
domain specific modeling languages
Opis:
W artykule przedstawiono opis procesu budowy języka dziedzinowego KsiML z wykorzystaniem MDE, bazując na modelowaniu dziedzin (DSM) i autorskiej metodzie KMS. Proces ten wykorzystano do budowy serwisu informacyjnego o projektach studenckich. W założeniach, zastosowanie zaproponowanego procesu powinno prowadzić do wzrostu jakości i reużycia tworzonego kodu, powodując obniżenie kosztów budowanych systemów.
The paper describes a process of building the domain language KsiML using the MDE approach, based on modeling domains (DSM) and the authors' KMS method . The process was used to build an information service of students' projects. In assumptions, the application of the proposed process should lead to height of quality and re-use of the source code, as well as decrease of construction systems costs.
Źródło:
Biuletyn Instytutu Automatyki i Robotyki; 2012, R. 18, nr 32, 32; 23-52
1427-3578
Pojawia się w:
Biuletyn Instytutu Automatyki i Robotyki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
New features in UML syntax and semantics
Autorzy:
Wolski, M.
Stasiak, A.
Powiązania:
https://bibliotekanauki.pl/articles/92885.pdf
Data publikacji:
2006
Wydawca:
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Tematy:
unified modeling language
UML 2.0
model of IT system
new modeling techniques
Opis:
This paper is an overview of the most important new features introduced to version 2.0 of Unified Modeling Language. We denote the changes to existing diagram and present four new modeling techniques. We present the changes in definitions of syntax, semantics and pragmatics of behavioral and static models of systems designed with UML 2.0. Particular emphasis is put on the changes to sequence and activity diagrams and to component diagrams. The newly introduced diagrams, unknown in previous UML versions - interaction overview diagrams, timing diagrams, composite structure diagrams and package diagrams - are described with the most detail.
Źródło:
Studia Informatica : systems and information technology; 2006, 1(7); 265-276
1731-2264
Pojawia się w:
Studia Informatica : systems and information technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Aktywnosc przeciwutleniajaca nowych odmian fasoli [Phaseolus vulgaris L.]
Antioxidant activity of the new bean cultivars [Phaseolus vulgaris L.]
Autorzy:
Stasiak, A
Ulanowska, A
Powiązania:
https://bibliotekanauki.pl/articles/828214.pdf
Data publikacji:
2008
Wydawca:
Polskie Towarzystwo Technologów Żywności
Tematy:
fasola
Phaseolus vulgaris
odmiany roslin
nowe odmiany
aktywnosc przeciwutleniajaca
polifenole
obrobka termiczna
Opis:
Celem badań było określenie aktywności przeciwutleniającej nasion fasoli, ustalenie wpływu obróbki termicznej na tę aktywność oraz oznaczenie zawartości różnych grup związków polifenolowych w nasionach fasoli. Materiałem badawczym było pięć nowych odmian fasoli, w tym cztery odmiany kolorowe: Augusta, Nigeria, Rawela i Toffi oraz odmiana biała Laponia. Analizowano nasiona surowe i nasiona poddane gotowaniu. Aktywność przeciwutleniającą badanych produktów określono jako efektywność wygaszania syntetycznego rodnika DPPH oraz jako zdolność redukcji kompleksu Fe(III) z odczynnikiem TPTZ (metoda FRAP). Zawartość składników polifenolowych oznaczano metodami spektrofotometrycznymi. Nasiona kolorowych odmian fasoli okazały się bogatym źródłem składników polifenolowych, zawierały w 100 g s.m. od 427 mg (‘Toffi’) do 760 mg (‘Rawela’) polifenoli ogółem. Aktywność przeciwutleniająca odmian kolorowych była kilkanaście razy wyższa niż odmiany białej i korelowała z zawartością związków polifenolowych. Obróbka hydrotermiczna spowodowała w większości prób zmniejszenie zawartości składników polifenolowych o ponad 50%, a tym samym obniżenie aktywności przeciwutleniającej. Pomimo tego aktywność kolorowych odmian fasoli pozostała nadal wysoka, co wskazuje na wyższą wartość biologiczną tych odmian w porównaniu z białymi odmianami fasoli.
The objective of the investigation was to determine the antioxidant activity of bean seeds, the effect of thermal processing on this activity, and the contents of different groups of polyphenol compounds in those beans.The investigation material consisted of five new cultivars of bean seeds: four coloured cultivars: Augusta, Nigeria, Rawela, and Toffi, and one white: Laponia. The raw and cooked seeds were analyzed. The antioxidant activity of the products investigated was defined as the scavenging capability of synthetic free radical DPPH, as well as the efficiency of reducing TPTZ-complexed Fe(III) ions (FRAP method). Spectrophotometric methods were applied to determine polyphenol compounds. Seeds of the coloured bean varieties turned out to be a rich source of polyphenol compounds, they contained from 427 mg (Toffi) to 760 mg (Rawela) of polyphenols in total per 100 g d.m.. The antioxidant activity of the four bean varieties was 10 to 20 times higher than the antioxidant activity of the white variety, and was correlated with the contents of polyphenol compounds. When the beans were hydro-thermally processed, the contents of polyphenol compounds in them decreased by more than 50%, thus, their antioxidant activity decreased, too. However, the activity of the coloured bean varieties remained high, and this shows that the biological value of those varieties is higher compared with the white bean varieties.
Źródło:
Żywność Nauka Technologia Jakość; 2008, 15, 1; 74-82
1425-6959
Pojawia się w:
Żywność Nauka Technologia Jakość
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ocena skuteczności pracy hodowlanej w zakresie cech użytkowości loch rasy pbz w grupach genetycznych stada zarodowego w Pukarzowie
Breeding works efficiency evaluation in the range of reproduction performance traits of PL breed sows in genetic groups of pedigree herd in Pukarzow
Autorzy:
Kasprzyk, A.
Stasiak, A.
Powiązania:
https://bibliotekanauki.pl/articles/2197669.pdf
Data publikacji:
2006
Wydawca:
Uniwersytet Przyrodniczy w Lublinie. Wydawnictwo Uniwersytetu Przyrodniczego w Lublinie
Tematy:
selekcja
praca hodowlana
cechy uzytkowosci rozplodowej
zmiennosc cech
trzoda chlewna
stada zarodowe
skutecznosc
swinia polska biala zwisloucha
lochy
Źródło:
Annales Universitatis Mariae Curie-Skłodowska. Sectio EE: Zootechnica; 2006, 24; 119-126
0239-4243
2083-7399
Pojawia się w:
Annales Universitatis Mariae Curie-Skłodowska. Sectio EE: Zootechnica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wpływ zawartości tłuszczu surowego w mieszance na skład chemiczny i profil kwasów tłuszczowych w mleku loch ras pbz i puławskiej
Influence of raw fat impact in diet on the chemical composition and a profile of fatty acids of sows milk PL and pulawska breeds
Autorzy:
Mazur, A.
Stasiak, A.
Powiązania:
https://bibliotekanauki.pl/articles/2197730.pdf
Data publikacji:
2006
Wydawca:
Uniwersytet Przyrodniczy w Lublinie. Wydawnictwo Uniwersytetu Przyrodniczego w Lublinie
Tematy:
zawartosc tluszczu
mieszanki paszowe
sklad chemiczny
sklad kwasow tluszczowych
trzoda chlewna
czynniki zywieniowe
mleko lochy
swinia pulawska
swinia polska biala zwisloucha
lochy
Źródło:
Annales Universitatis Mariae Curie-Skłodowska. Sectio EE: Zootechnica; 2006, 24; 147-154
0239-4243
2083-7399
Pojawia się w:
Annales Universitatis Mariae Curie-Skłodowska. Sectio EE: Zootechnica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza wyników użytkowości rozpłodowej oraz zmian masy ciała loch w pierwszym cyklu rozrodczym żywionych mieszankami z udziałem owsa nagoziarnistego
Analysis of the results of the reproductive performance and body weight changes of sows during the first reproductive cycle fed with mixture containing hulled oat grain
Autorzy:
Mazur, A.
Stasiak, A.
Powiązania:
https://bibliotekanauki.pl/articles/2197743.pdf
Data publikacji:
2006
Wydawca:
Uniwersytet Przyrodniczy w Lublinie. Wydawnictwo Uniwersytetu Przyrodniczego w Lublinie
Tematy:
zmiany masy ciala
mieszanki paszowe
uzytkowosc rozplodowa
zywienie zwierzat
trzoda chlewna
czynniki zywieniowe
owies nagoziarnisty
lochy
pierszy cykl rozplodowy
Źródło:
Annales Universitatis Mariae Curie-Skłodowska. Sectio EE: Zootechnica; 2006, 24; 133-139
0239-4243
2083-7399
Pojawia się w:
Annales Universitatis Mariae Curie-Skłodowska. Sectio EE: Zootechnica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
XDE.NET jako skuteczne środowisko wytwarzania aplikacji webowych dla systemów mobilnych
Autorzy:
Stasiak, A.
Wolski, M.
Powiązania:
https://bibliotekanauki.pl/articles/273293.pdf
Data publikacji:
2005
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
aplikacja webowa
systemy mobilne
Opis:
W artykule przedstawiono opis pakietu narzędziowego VS.NET (Microsoft) z Rational XDE (IBM) do wytwarzania aplikacji werbowych, pracujących w środowisku urządzeń mobilnych na platformie .NET (firmy Microsoft) wraz z metodyką jego użycis, bazującą na procesie wytwórczym Rational Unifed Process. Opisano także metodykę tworzenia projeków w XDE . Szczególną uwagę poświęcono nowym funkcjom środowiska XDE, pozwalającym na badanie własności behawioranych aplikacji oraz dającym możliwości wykonywania testów systemu juz na poziomie specyfikacji języka UML. Opis procesu wytwórczego zilustrowano na przykładzie aplikacji z ograniczeniami czasowymi, zaimplementowanej w ASP.NET, a ptrzeznaczonej na platformę PocketPC.
Źródło:
Biuletyn Instytutu Automatyki i Robotyki; 2005, R. 11, nr 22, 22; 105-132
1427-3578
Pojawia się w:
Biuletyn Instytutu Automatyki i Robotyki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza i projektowanie systemów w budowanych z wykorzystaniem Rational Unified Process (RUP)
Autorzy:
Stasiak, A.
Zieliński, Z.
Powiązania:
https://bibliotekanauki.pl/articles/273305.pdf
Data publikacji:
2001
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
proces wytwórczy RUP
oprogramowanie systemów wbudowanych
modelowanie systemu
rational suite enterprise
rational unified process
Opis:
W pracy przedstawiono przykład wykorzystania procesu wytwórczego RUP do produkcji oprogramowania systemów wbudowanych. Na bazie projektu pokładowego systemu sterowania uzbrojeniem samolotu szkolno-bojowego zaprezentowano proces analizy i projektowania oprogramowania z wykorzystaniem języka UML oraz narzędzi Rational Suite Enterprise.
Źródło:
Biuletyn Instytutu Automatyki i Robotyki; 2001, R. 7, nr 16, 16; 83-96
1427-3578
Pojawia się w:
Biuletyn Instytutu Automatyki i Robotyki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Planowanie złożonego wdrożenia systemu IT
Planning of IT system complex deployment
Autorzy:
Laszko, Ł.
Stasiak, A.
Powiązania:
https://bibliotekanauki.pl/articles/273351.pdf
Data publikacji:
2011
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
model topologii
model wdrożenia
planowanie wdrożenia
języki dziedzinowe
UML
topology model
deployment model
deployment planning
domain languages
Opis:
W artykule przedstawiono zestaw technik i modeli wspierających procesy planowania wdrożeń systemów IT. Złożoność tych procesów zilustrowano przykładem opisu wdrożenia produktów platformy Jazz wykorzystywanych w badaniach i dydaktyce na Wydziale Cybernetyki WAT. Dodatkowo wskazano kierunek rozwoju tych procesów: od modeli konfiguracji w języku UML, do kompletnych opisów wdrożen w postaci modeli topologii. Modele topologii mogą być uruchamiane, co pozwala na prowadzenie eksperymentów w zakresie architektury oprogramowania.
This paper presents a set of techniques as well as models supporting planning of IT systems deployment. The complexity of such processes was depicted using an example of the Jazz platform deployment which is widely use in research and didactics on Cybernetics Faculty at the MUT. Additionally, development directions for such processes were indicated, starting from UML's deployment models and ending in comprehensive topology models which provide the basement for architectural experiments.
Źródło:
Biuletyn Instytutu Automatyki i Robotyki; 2011, R. 17, nr 31, 31; 55-77
1427-3578
Pojawia się w:
Biuletyn Instytutu Automatyki i Robotyki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metody walidacji i weryfikacji specyfikacji funkcjonalnej mikrosystemu cyfrowego
Validation and verification methods of the digital microsystem functional specification
Autorzy:
Stasiak, A.
Skowroński, Z.
Powiązania:
https://bibliotekanauki.pl/articles/152874.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
projektowanie zintegrowane
sieci Petriego
model formalny
systemy osadzone
systemy cyfrowe
mikrosystemy cyfrowe
FPGA
hardware-software codesign
Petri nets
formal model
embedded systems
digital systems
digital microsystems
PLD
Opis:
Proces projektowy systemów cyfrowych, a w szczególności zintegrowanych sprzętowo-programowych mikrosystemów cyfrowych realizowanych z wykorzystaniem platformy SOPC, nie może być zakończony pomyślnie bez przeprowadzenia sprawdzenia i korekcji ewentualnych błędów projektowych. Do tego celu stosuje się metody walidacji zapisu specyfikacji funkcjonalnej zachowania systemu oraz metody weryfikacji funkcjonalnej projektowanego modelu. W artykule scharakteryzowano oraz omówiono opracowane na Uniwersytecie Zielonogórskim metody i oprogramowanie do walidacji i weryfikacji funkcjonalnej specyfikacji funkcjonalnej modelu opisanej sieciami Petriego.
The design process of the today digital systems, especially integrated hardware-software digital microsystems for SOPC platform, can not be finalized successfully without the verification and debug process. To meet the product requirements, like: system functionality, system stability, time-to-market, project costs, etc; there has to be performed several validation and/or verification tasks to confirm the finale model behaviour with initial/input functional specification. This paper describes validation and verification methods as well as software/tools elaborated and developed at University of Zielona Góra, by the Computing and Engineering Department.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 111-113
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 59

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies