Informacja

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

Wyszukujesz frazę "verification of software systems" wg kryterium: Wszystkie pola


Wyświetlanie 1-2 z 2
Tytuł:
Nowoczesne technologie projektowania systemów automatyki
Modern Technologies of Designing Automation Systems
Autorzy:
Pauluk, Mariusz
Data publikacji:
2020
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
systemy wbudowane
jakość oprogramowania
kryzys oprogramowania
cykl życia oprogramowania
Model V
weryfikacja
walidacja
techniki testowania MIL
techniki testowania SIL
techniki testowania PIL
techniki testowania HIL
embedded systems
quality of software
software crisis
software life cycle
V-Model
verification
validation
MIL model-in-the-loop testing
SIL model-in-the-loop testing
PIL model-in-the-loop testing
HIL model-in-the-loop testing
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Asercyjne rozszerzenie języka ST normy IEC 61131-3 do dynamicznej weryfikacji systemów sterowania
Assertional extension in ST language of IEC 61131-3 standard for control systems dynamic verification
Autorzy:
Sadolewski, J.
Data publikacji:
2011
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
oprogramowanie
projektowanie kontraktowe
język ST
systemy sterowania
software
design by contract
Structured Text language
control systems
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-2 z 2

    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