Temat: process specification

Skocz do pozycji: 1.

Tytuł:: PSF - A Retrospective
Autorzy:: Veltin, G.J.
Data publikacji:: 2010
Słowa kluczowe:: process algebras
algebraic data types
concurrency
parallel systems
formal specifications
ACP
ASF
PSF
Algebra of Communicating Processes
Process Specification Formalism
Algebraic Specification Formalism; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Process algebras for network communication
Autorzy:: Gruska, D.P.
Maggiolo-Schettini, A.
Data publikacji:: 2001
Słowa kluczowe:: concurrency
specification
process algebras
protocols; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: What Should a Good Software Requirements Specification Include? Results of a Survey
Autorzy:: Rączkowska-Gzowska, Karolina
Walkowiak-Gall, Anita
Data publikacji:: 2023
Słowa kluczowe:: software development process
Software Requirements Specification
survey; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: On the relationships among four timed process algebras
Autorzy:: Corradini, F.
D'Ortenzio, D.
Inverardi, P.
Data publikacji:: 1999
Słowa kluczowe:: distributed systems
specification
verification
timed process algebras; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Zarządzanie procesami biznesowymi w łańcuchu dostaw wspomagane narzędziami elektronicznej gospodarki
Autorzy:: Śliwczyński, B.
Data publikacji:: 2005
Słowa kluczowe:: łańcuch dostaw
zarządzanie łańcuchem dostaw
proces biznesowy
analiza procesowa
parametry procesu
specyfikacja procesu
mapowanie procesów
baza danych procesów biznesowych
parametry sterujące
algorytmy sterowania
repozytorium procesów głównych i wspólnych (biznesowych i operacyjnych)
e-biznes
platforma elektroniczna
wartość dodana
bezpośrednia rentowność produktu
gospodarka elektroniczna
supply chain
supply chain management
business process
process analysis
process parameter
process specification
process mapping
business process data base
control parameters
control algorithm
repository of general and common process
e-business
electronic platform
added value
direct product profitability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: FSP and FLTL framework for specification and verification of middle-agents
Autorzy:: Bădică, A.
Bădică, C.
Data publikacji:: 2011
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: system wieloagentowy
algebra procesów
specyfikacja formalna
multi-agent system
interaction protocol
process algebra
formal specification; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

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ł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Wybrane aspekty technologiczne spawania stali dwufazowych odpornych na korozję
Selected technological aspects of uncorrodible two-phase steel welding
Autorzy:: Medaj, D.
Skibicki, A.
Data publikacji:: 2011
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: kwalifikowanie technologii spawania
energia liniowa
modelowanie procesów
specification and qualification of welding procedures for metallic materials
heat input energy
modeling process; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Wybrane aspekty technologiczne spawania stali dwufazowych odpornych na korozję
Autorzy:: Medaj, D.
Skibicki, A.
Data publikacji:: 2011
Słowa kluczowe:: kwalifikowanie technologii spawania
energia liniowa
modelowanie procesów
specification and qualification of welding procedures for metallic materials
heat input energy
modeling process; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Estimation of boundary heat flux between casting and mould using the global function specification method
Autorzy:: Majchrzak, E.
Mochnacki, B.
Suchy, J. S.
Data publikacji:: 2008
Słowa kluczowe:: application of information technology
foundry industry
solidification process
numerical technique
inverse problem
global function specification method
zastosowanie technologii informatycznych
przemysł odlewniczy
proces krzepnięcia
technika numeryczna
zagadnienie odwrotne; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "process specification" wg kryterium: Temat