Temat: specification - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: The Syntax of a Multi-Level Production Process Modeling Language
Autorzy:: Vještica, Marko
Dimitrieski, Vladimir
Kordić, Slavica
Ristić, Sonja
Luković, Ivan
Pisarić, Milan
Data publikacji:: 2020
Słowa kluczowe:: formal specification
manufacturing systems
object-oriented programming
production engineering
software architecture
specification languages
Unified Modeling Language
specyfikacja formalna
systemy produkcyjne
programowanie obiektowe
inżynieria produkcji
architektura oprogramowania
języki specyfikacji
Zunifikowany Język Modelowania; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Specyfikacja struktur serwomechanizmów wizyjnych
Autorzy:: Kornuta, T.
Zieliński, C.
Data publikacji:: 2012
Słowa kluczowe:: systemy robotyczne
systemy agentowe
serwomechanizmy wizyjne
specyfikacja
robot systems
agent systems
visual servoing
formal specification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: FSP and FLTL framework for specification and verification of middle-agents
Autorzy:: Bădică, A.
Bădică, C.
Data publikacji:: 2011
Słowa kluczowe:: system wieloagentowy
algebra procesów
specyfikacja formalna
multi-agent system
interaction protocol
process algebra
formal specification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Multigraph is: Part 1. A formal description of railway infrastructure for the digital twin of the ETCS application
Autorzy:: Kochan, Andrzej
Folęga, Piotr
Skirkus, Remigijus
Bureika, Gintautas
Data publikacji:: 2023
Słowa kluczowe:: rail transport
modeling
infrastructure representation
Multigraph IS
formal specification
transport kolejowy
modelowanie
reprezentacja infrastruktury
Multigraf IS
specyfikacja formalna; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 5.

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ł

Szczegóły

Skocz do pozycji: 6.

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ł

Szczegóły

Skocz do pozycji: 7.

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ł

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Synteza funkcji należnościowych stacyjnego systemu srk
Autorzy:: Zabłocki, W.
Data publikacji:: 2009
Słowa kluczowe:: transport
ruch kolejowy
system
sterowanie
modelowanie
opis formalny
droga przebiegu
przebieg
sprzeczność
relacje i funkcje zależnościowe
rail traffic
control
modelling
formal specification
rout
routing process
contradiction
interlocking relations and functions; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Formalization of software risk assessment results in legal metrology based on ISO/IEC 18045 vulnerability analysis
Autorzy:: Esche, Marko
Salwiczek, Felix
Grasso Toro, Federico
Data publikacji:: 2019
Słowa kluczowe:: software
formal specification
IEC standards
ISO standards
probability
program verification
risk management
security of data
software standards
oprogramowanie
formalna specyfikacja
normy IEC
normy ISO
prawdopodobieństwo
weryfikacja programu
zarządzanie ryzykiem
bezpieczeństwo danych
standardy oprogramowania; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Informacja