Enhancing Simulation and Analysis of Aircraft Operational Scenarios via SysML Activity to BPMN
PragmaDev Software
Enhancing Simulation and Analysis of Aircraft Operational Scenarios via SysML Activity to BPMN
21:06
Experimenting low code with SDL and BPMN.
PragmaDev Software
Experimenting low code with SDL and BPMN.
20:42
PragmaDev Process BPMN Performance Analysis
PragmaDev Software
PragmaDev Process BPMN Performance Analysis
6:58
BPMN Digital Twin demo
PragmaDev Software
BPMN Digital Twin demo
4:04
Webinar on PragmaDev Process V3.1 newfeatures
PragmaDev Software
Webinar on PragmaDev Process V3.1 newfeatures
39:03
Language Agnostic Model Checking for SDL.
PragmaDev Software
Language Agnostic Model Checking for SDL.
19:34
Optimizing resources in a business process described with BPMN and BPSim.
PragmaDev Software
Optimizing resources in a business process described with BPMN and BPSim.
11:59
Webinar on resources optimization for your business process.
PragmaDev Software
Webinar on resources optimization for your business process.
25:40
Automatic Testing of Business Processes
PragmaDev Software
Automatic Testing of Business Processes
18:19
exoTICus
PragmaDev Software
exoTICus
3:27
PragmaDev Tester short introduction and demonstration
PragmaDev Software
PragmaDev Tester short introduction and demonstration
10:59
PragmaDev Tester presentation and demonstration
PragmaDev Software
PragmaDev Tester presentation and demonstration
9:23
PragmaDev Process BPMN Simulation with BPSim
PragmaDev Software
PragmaDev Process BPMN Simulation with BPSim
10:23
PragmaDev Process one minute introduction.
PragmaDev Software
PragmaDev Process one minute introduction.
1:00
Introduction à PragmaDev Process en une minute.
PragmaDev Software
Introduction à PragmaDev Process en une minute.
0:54
Meet Dan
PragmaDev Software
Meet Dan
0:15
Verify your BPMN with PragmaDev Process
PragmaDev Software
Verify your BPMN with PragmaDev Process
10:05
Automatic Verification of BPMN Models
PragmaDev Software
Automatic Verification of BPMN Models
22:53
Verification of BPMN models
PragmaDev Software
Verification of BPMN models
24:35
Ease testing of clock based systems
PragmaDev Software
Ease testing of clock based systems
16:57
Modeling for the Raspberry Pi
PragmaDev Software
Modeling for the Raspberry Pi
7:24
JuIcE System optimisation, a use case in the space domain
PragmaDev Software
JuIcE System optimisation, a use case in the space domain
23:44
PragmaDev Studio V5 3 new features
PragmaDev Software
PragmaDev Studio V5 3 new features
29:14
PragmaDev Studio V5 2 webinar
PragmaDev Software
PragmaDev Studio V5 2 webinar
22:17
1mn teaser of PragmaDev Studio benefits
PragmaDev Software
1mn teaser of PragmaDev Studio benefits
1:13
System optimization, a use case in the space domain
PragmaDev Software
System optimization, a use case in the space domain
24:24
Optimizing Performance of SDL systems
PragmaDev Software
Optimizing Performance of SDL systems
18:17
PragmaDev Tracer online demonstration
PragmaDev Software
PragmaDev Tracer online demonstration
12:56
PragmaDev Studio technologies introduction
PragmaDev Software
PragmaDev Studio technologies introduction
7:31
TASTE in action
PragmaDev Software
TASTE in action
25:09
Asynchronous modeling in railway systems (French)
PragmaDev Software
Asynchronous modeling in railway systems (French)
21:24
Automatic interleaving for testing distributed systems
PragmaDev Software
Automatic interleaving for testing distributed systems
20:23
PragmaDev Developer demonstration
PragmaDev Software
PragmaDev Developer demonstration
15:20
PragmaDev Specifier demonstration
PragmaDev Software
PragmaDev Specifier demonstration
13:57
Towards model driven simulation of the Internet of Things
PragmaDev Software
Towards model driven simulation of the Internet of Things
19:43
PragmaDev Studio introduction at Enova Paris 2015 (French)
PragmaDev Software
PragmaDev Studio introduction at Enova Paris 2015 (French)
9:21
An experiment to introduce interrupts in SDL
PragmaDev Software
An experiment to introduce interrupts in SDL
16:19
SDL, the IoT language
PragmaDev Software
SDL, the IoT language
25:52
Deployment Simulator of Connected Objects
PragmaDev Software
Deployment Simulator of Connected Objects
14:27
Model Based Testing with RTDS and Diversity
PragmaDev Software
Model Based Testing with RTDS and Diversity
21:01
Specification and conformance of M2M applications
PragmaDev Software
Specification and conformance of M2M applications
27:48
PragmaList presentation at UCAAT
PragmaDev Software
PragmaList presentation at UCAAT
18:59
Property verification on traces
PragmaDev Software
Property verification on traces
18:41
Model checking with SDL to Fiacre translation
PragmaDev Software
Model checking with SDL to Fiacre translation
18:08
UCAAT 2013
PragmaDev Software
UCAAT 2013
11:06
PragmaDev Tracer
PragmaDev Software
PragmaDev Tracer
13:11
NewLogic success story with PragmaDev RTDS tool
PragmaDev Software
NewLogic success story with PragmaDev RTDS tool
5:36
Entretien avec Emmanuel Gaudin, fondateur de PragmaDev
PragmaDev Software
Entretien avec Emmanuel Gaudin, fondateur de PragmaDev
4:30
PragmaDev quick introduction
PragmaDev Software
PragmaDev quick introduction
6:31