Temat: Weryfikacja oprogramowania - Katalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach

Skocz do pozycji: 1.

Tytuł:: Podstawy programowania funkcjonalnego i weryfikacji
Autorzy:: Trybus, Leszek (1946- )
Współwytwórcy:: Oficyna Wydawnicza Politechniki Rzeszowskiej
Data publikacji:: 2005
Wydawca:: Rzeszów : Oficyna Wydawnicza Politechniki Rzeszowskiej
Tematy:: Weryfikacja oprogramowania
Programowanie funkcyjne (informatyka); Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Książka

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Modeling the software testing process taking into account the secondary errors
Autorzy:: Konopacki, Gustaw
Data publikacji:: 2016
Tematy:: Weryfikacja oprogramowania; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Software test management approach for agile environments
Autorzy:: Pawlak, Michał (matematyk). Autor
Współwytwórcy:: Poniszewska-Marańda, Aneta, Autor
Data publikacji:: 2018
Tematy:: Zarządzanie projektami
Weryfikacja oprogramowania; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Analysis of the main stages of the software testing process
Autorzy:: Worwa, Kazimierz
Data publikacji:: 2016
Tematy:: Programy komputerowe - badanie
Weryfikacja oprogramowania; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Modeling software testing process with a random number of errors
Autorzy:: Konopacki, Gustaw
Data publikacji:: 2016
Tematy:: Programy komputerowe - badanie
Weryfikacja oprogramowania; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: JMX : zarządzanie aplikacjami w języku Java
Autorzy:: Starosta, Bartłomiej
Data publikacji:: cop. 2006
Wydawca:: Warszawa : Wydawnictwo Polsko-Japońskiej Wyższej Szkoły Technik Komputerowych, cop. 2006
Tematy:: Przetwarzanie rozproszone
Weryfikacja oprogramowania
Java (język programowania) - kontrola; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Książka

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Wykorzystanie modeli danych do weryfikacji implementacji wzorców projektowych
Autorzy:: Wojszczyk, R.
Khadzhynov, W.
Data publikacji:: 2016
Wydawca:: Politechnika Koszalińska. Wydawnictwo Uczelniane
Tematy:: wzorce projektowe
model danych
ERD
weryfikacja oprogramowania
design patterns
data model
verifying implementation; Pokaż więcej
Źródło:: Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej; 2016, 10; 193-209
1897-7421
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Walidacja Mobilnego Stanowiska Daktyloskopijnego w ramach projektu HIT-NET = Validation of the Mobile Fingerprint Workstation under the HIT-NET project
Autorzy:: Krzemińska, Beata (policjantka) Autor
Współwytwórcy:: Centralne Laboratorium Kryminalistyczne Policji
Wierzchosławska, Hanna Tłumaczenie
Data publikacji:: 2021
Tematy:: Technologie mobilne
Polska
Zakład Daktyloskopii (Centralne Laboratorium Kryminalistyczne Policji)
Kryminalistyka
Weryfikacja oprogramowania
Daktyloskopia; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Road to iOS unit testing
Autorzy:: Kwaśniewski, Grzegorz (informatyk) Autor
Współwytwórcy:: IT Craft Wydawca
Data publikacji:: 2022
Wydawca:: Warszawa : itCraft
Tematy:: Mobilne systemy operacyjne
Weryfikacja oprogramowania
Programy komputerowe
iOS (Apple)
Programowanie (informatyka)
Kod źródłowy; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Inne

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Zastosowanie języka LOTOS do modelowania wybranych struktur metody HOOD
Use of LOTOS language in modeling HOOD method structures
Autorzy:: Brzuchcz, R.
Data publikacji:: 2006
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: systemy czasu rzeczywistego
weryfikacja oprogramowania
algebry procesów
abstrakcyjne typy danych
LOTOS
HOOD
real-time systems
software verification
process algebras
abstract data types; Pokaż więcej
Źródło:: Elektrotechnika i Elektronika; 2006, 25, 1; 1-9
1640-7202
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Realizacja programowa algorytmów filtracji, estymacji i sterowania w PLC/PAC
The software implementation of filtering, estimation and control algorithms in PLC / PAC
Autorzy:: Tarnawski, J.
Data publikacji:: 2013
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: sterowniki programowalne PLC/PAC
dyskretne algorytmy sterowania
strojenie i weryfikacja oprogramowania
estymacja RLS_FF
programmable logic controller (PLC)
discrete control algorithms
tuning and verification of software
estimation RLS_FF; Pokaż więcej
Źródło:: Pomiary Automatyka Robotyka; 2013, 17, 5; 100-107
1427-9126
Dostawca treści:: Biblioteka Nauki