ViewTube

ViewTube
Sign inSign up

Sort by

Newest

Oldest

Popular

Munin Protocol Verifier Phase 2 Stage 7 (release1.6.0)
00:03:10
Munin Protocol Verifier Phase 2 Stage 7 (release1.6.0)

21 views

4 months ago

Pretty Smart Chess Bot
00:10:52
Pretty Smart Chess Bot

38 views

1 year ago

Zero Duration Timer Idiom and CrossFit Cindy
00:18:29
Zero Duration Timer Idiom and CrossFit Cindy

76 views

1 year ago

xtUML Chess Data Model
00:09:06
xtUML Chess Data Model

78 views

1 year ago

2024 Chess Modeling Challenge Tournament Results
00:12:29
2024 Chess Modeling Challenge Tournament Results

33 views

1 year ago

Simple Max Advance and Chess Bots in C
00:09:38
Simple Max Advance and Chess Bots in C

54 views

1 year ago

2024 Chess Modeling Challenge Update 2024-9-18
00:23:54
2024 Chess Modeling Challenge Update 2024-9-18

20 views

1 year ago

2024 Chess Modeling Challenge Update 2024-8-28
00:27:56
2024 Chess Modeling Challenge Update 2024-8-28

7 views

1 year ago

2024 Chess Modeling Challenge Update 2024-8-7
00:21:42
2024 Chess Modeling Challenge Update 2024-8-7

36 views

1 year ago

2024 Chess Modeling Challenge Update 2024-7-24
00:45:47
2024 Chess Modeling Challenge Update 2024-7-24

23 views

1 year ago

Chess bot model (demo)
00:05:50
Chess bot model (demo)

92 views

1 year ago

Textual xtUML - demo December 2023
00:06:48
Textual xtUML - demo December 2023

157 views

1 year ago

Protocol Verifier communicating through Kafka.
00:03:17
Protocol Verifier communicating through Kafka.

18 views

2 years ago

Munin Protocol Verifier
00:27:09
Munin Protocol Verifier

151 views

2 years ago

SM 2023 - Action Semantics (Leon Starr)
00:35:37
SM 2023 - Action Semantics (Leon Starr)

111 views

2 years ago

Kiosk State Machine - Shlaer-Mellor Day 2023 - Keith Brown
00:05:00
Kiosk State Machine - Shlaer-Mellor Day 2023 - Keith Brown

43 views

2 years ago

Textual xtUML Update 2023 - Levi Starrett
00:06:46
Textual xtUML Update 2023 - Levi Starrett

48 views

2 years ago

Inter-domain Messaging with MASL and Kafka
00:16:23
Inter-domain Messaging with MASL and Kafka

44 views

2 years ago

Shlaer-Mellor Model-Based Testing
00:18:53
Shlaer-Mellor Model-Based Testing

62 views

2 years ago

Conceptual Modeling - Shlaer-Mellor Day 2023 - Hiroshi Ota
00:10:04
Conceptual Modeling - Shlaer-Mellor Day 2023 - Hiroshi Ota

32 views

2 years ago

Shlaer-Mellor Commons Update 2023 - Michael Lee
00:05:11
Shlaer-Mellor Commons Update 2023 - Michael Lee

13 views

2 years ago

SM 2023 - Action Semantics - Leon Starr
00:35:37
SM 2023 - Action Semantics - Leon Starr

21 views

2 years ago

Populating Roadway Models -John Wolfe and Alasdar Mullarney - Shlaer-Mellor Days 2022
00:11:41
Populating Roadway Models -John Wolfe and Alasdar Mullarney - Shlaer-Mellor Days 2022

49 views

2 years ago

Merge Conflict with Textual xtUML (demo)
00:05:09
Merge Conflict with Textual xtUML (demo)

31 views

2 years ago

Textual xtUML - Load, Build, Run (Microwave Oven)
00:03:24
Textual xtUML - Load, Build, Run (Microwave Oven)

137 views

2 years ago

WASL shared types
00:06:11
WASL shared types

40 views

2 years ago

Textual xtUML Persistence in BridgePoint (proof of concept)
00:03:27
Textual xtUML Persistence in BridgePoint (proof of concept)

96 views

2 years ago

Relationship Formalization and Referential Attributes - Cort Starrett - Shlaer-Mellor Days 2022
00:15:33
Relationship Formalization and Referential Attributes - Cort Starrett - Shlaer-Mellor Days 2022

120 views

3 years ago

Shlaer-Mellor in MBSE - Clive Boughton - Shlaer-Mellor Days 2022
00:10:52
Shlaer-Mellor in MBSE - Clive Boughton - Shlaer-Mellor Days 2022

71 views

3 years ago

State- and Data- centric Protocol Modelling - Paul Francis - Shlaer-Mellor Days 2022
00:13:13
State- and Data- centric Protocol Modelling - Paul Francis - Shlaer-Mellor Days 2022

97 views

3 years ago

Show more