Temat: specification - Prolib Integro

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ę "specification" wg kryterium: Temat

Wyświetlanie 1-6 z 6

Zaznacz

Skocz do pozycji: 1.

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

Skocz do pozycji: 2.

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: 3.

Tytuł:: From workflow design patterns to logical specifications
Autorzy:: Klimek, R.
Data publikacji:: 2013
Słowa kluczowe:: formal verification
temporal logic
deduction
semantic tableaux
design patterns
generating logical specification
weryfikacja formalna
logika temporalna
dedukcja
tablice semantyczne
wzorce projektowe
generowanie specyfikacji logicznej; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

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: 5.

Tytuł:: Inhibitor and enabling arcs in logic controller design
Autorzy:: Grobelna, I.
Grobelny, M.
Data publikacji:: 2012
Słowa kluczowe:: specyfikacja sterownika logicznego
formalna weryfikacja
łuki zakazujące i zezwalające sieci Petriego
diagramy aktywności języka UML
logic controller specification
formal verification
Petri nets inhibitor and enabling arcs
UML activity diagrams; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: A system for deduction-based formal verification of workflow-oriented software models
Autorzy:: Klimek, R.
Data publikacji:: 2014
Słowa kluczowe:: formal verification
deductive reasoning
temporal logic
semantic tableaux
workflow pattern
logical primitive
generating logical specification
business model
BPMN
formalna weryfikacja
wnioskowanie dedukcyjne
logika temporalna
tablica semantyczna
wzorzec przepływu pracy
generowanie specyfikacji logicznej
model biznesowy; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-6 z 6

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ę "specification" wg kryterium: Temat