Wszystkie pola: verification of software systems

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-3 z 3

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Requirement Elicitation Techniques for Software Projects in Ukrainian IT: An Exploratory Study
Autorzy:: Gobov, Denys
Huchenko, Inna
Data publikacji:: 2020
Słowa kluczowe:: formal specification
formal verification
project management
software management
systems analysis
specyfikacja formalna
weryfikacja formalna
zarządzanie projektami
zarządzanie oprogramowaniem
analiza systemów; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study
Autorzy:: Staroletov, Sergey
Schulte, Horst
Baar, Thomas
Konyukhov, Ivan
Shilov, Nikolay
Rozov, Andrei
Liakh, Tatiana
Zyubin, Vladimir
Data publikacji:: 2021
Słowa kluczowe:: automata theory
cyber-physical systems
formal specification
formal verification
safety critical software
theorem proving
teoria automatów
systemy cyber-fizyczne
formalna specyfikacja
weryfikacja formalna
oprogramowanie krytyczne dla bezpieczeństwa
dowodzenie twierdzeń; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Towards Extending UML's Activity Diagram for the Architectural Modeling, Analysis, and Implementation
Autorzy:: Kose, Mehmet Alp
Ozkaya, Mert
Data publikacji:: 2020
Słowa kluczowe:: formal specification
formal verification
Java
software architecture
Unified Modeling Language
specyfikacja formalna
weryfikacja formalna
architektura oprogramowania
Zunifikowany Język Modelowania; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-3 z 3

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

Informacja

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