Upgrade to Pro — share decks privately, control downloads, hide ads and more …
Sign up for free

CosyVerif : Vers une Cohabitation des Formalism...

Jaime Arias Almeida
January 23, 2026
26
0

CosyVerif : Vers une Cohabitation des Formalismes: Séminaire des 20 ans de MeFoSyLoMa

Jaime Arias Almeida

January 23, 2026

Transcript

46 slides

  1. CosyVerif : Vers une Cohabitation des Formalismes Jaime Arias1 and

    Francis Hulin-Hubard2 1LIPN, CNRS UMR 7030, Université Sorbonne Paris Nord, Villetaneuse, France 2Sorbonne Université, CNRS, LIP6, Paris, France Séminaire des 20 ans de MeFoSyLoMa 23 janvier 2026

  2. AMI de 1987 à 1997 • Atelier de Modélisation Interactif

    • Prototype de plateforme d’intégration d’outils • 1 serveur (AMI) + 1 interface Macao • Communication en CAMI (XML avant l’heure) • Implémentation C, C++ et Bash J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 2/28

  3. CPN-AMI de 1993 à 2013 • Objectifs de simplification de

    : ◦ la maintenance et de l’installation ; ◦ l’intégration d’outils et de formalismes • 1995 à 2005 : Principalement intégration d’outils • 2010 : Alligator, XML, webservice • 2012 : Virtualisation du serveur (multiplateforme) • 2013 : Passage à la virtualisation, mais perte de TeamCity J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 3/28

  4. Contributeurs CPN-AMI et FrameKit J. Arias, F. Hulin-Hubard CosyVerif :

    Vers une Cohabitation des Formalismes 4/28

  5. CosyVerif de 2013 à … • Objectifs de simplification :

    ◦ plus d’installation ; ◦ dynamiquement multi-formalisme. • Amélioration du rendu des résultats • Un logo ! J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 5/28

  6. Motivation Formalismes basés sur les graphes Services de vérification Réseaux

    de Petri Automates ADTrees . . . CosyVerif Imitator Roméo Cosmos . . . J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 6/28

  7. Motivation Accessibilité • Multi-plateforme • Tablettes/Mobile • Sans installation J.

    Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 7/28

  8. Motivation Accessibilité • Multi-plateforme • Tablettes/Mobile • Sans installation Interopérabilité

    • Multi-formalismes • Décentralisé • Extensible J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 7/28

  9. Motivation Accessibilité • Multi-plateforme • Tablettes/Mobile • Sans installation Interopérabilité

    • Multi-formalismes • Décentralisé • Extensible Personnalisation • Sauvegarde • Espaces de travail • Palette adaptative J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 7/28

  10. Table of contents 1. Architecture Distribuée 2. Spécification d’un Nouveau

    Formalisme 3. Création d’un Modèle 4. Analyse d’un Modèle 5. Conclusions J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 8/28

  11. 1. Architecture Distribuée J. Arias, F. Hulin-Hubard CosyVerif : Vers

    une Cohabitation des Formalismes 9/28

  12. Architecture Distribuée z Backend Ð Services ΰ Architecture de l’application

    Web CosyDraw Ce que les utilisateurs voient et avec quoi ils interagissent HTML, CSS, Javascript ơ Frontend ǀ API REST Node.js Ɓ Base de données ́ Authentification Alligator Ì Système de fichiers t IMITATOR t COSMOS t Outil CLI … Requête Réponse í Utilisateurs Conception du modèle Affichage des résultats J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 10/28

  13. 2. Spécification d’un Nouveau Formalisme J. Arias, F. Hulin-Hubard CosyVerif

    : Vers une Cohabitation des Formalismes 11/28

  14. Formalism Markup Language (FML) * 1..* * * * *

    * * Formalism + name + abstract: [0..1] = false Include + href ComplexAttribute + name + refType: [0..1] + combineChild: [0..1] = interleave LeafAttribute + name + defaultValue: [0..1] + refType: [0..1] Child + refName + minOccurs: [0..1] = 1 + maxOccurs: [0..1] = ∞ NodeType + name ArcType + name Ref + href + minOccurs: [0..1] = 0 + maxOccurs: [0..1] = ∞ J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 12/28

  15. Formalism Markup Language (FML) p1 t 1 1 <formalism name="pt-net"

    xmlns="http://cosyverif.org/ns/formalism"> 2 3 <!-- Petri nets global attributes --> 4 <leafAttribute name="name" defaultValue="" refType="pt-net"/> 5 <leafAttribute name="author" defaultValue="" refType="pt-net"/> 6 7 <!-- Places --> 8 <nodeType name="place"/> 9 <leafAttribute name="name" defaultValue="" refType="place"/> 10 <leafAttribute name="marking" defaultValue="0" refType="place"/> 11 12 <!-- Transitions --> 13 <nodeType name="transition"/> 14 <leafAttribute name="name" defaultValue="" refType="transition"/> 15 16 <!-- Arcs --> 17 <arcType name="arc"/> 18 <leafAttribute name="valuation" defaultValue="1" refType="arc"/> 19 20 </formalism> J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 13/28

  16. Formalism Markup Language (FML) p1 t 1 1 <formalism name="pt-net"

    xmlns="http://cosyverif.org/ns/formalism"> 2 3 <!-- Petri nets global attributes --> 4 <leafAttribute name="name" defaultValue="" refType="pt-net"/> 5 <leafAttribute name="author" defaultValue="" refType="pt-net"/> 6 7 <!-- Places --> 8 <nodeType name="place"/> 9 <leafAttribute name="name" defaultValue="" refType="place"/> 10 <leafAttribute name="marking" defaultValue="0" refType="place"/> 11 12 <!-- Transitions --> 13 <nodeType name="transition"/> 14 <leafAttribute name="name" defaultValue="" refType="transition"/> 15 16 <!-- Arcs --> 17 <arcType name="arc"/> 18 <leafAttribute name="valuation" defaultValue="1" refType="arc"/> 19 20 </formalism> J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 13/28

  17. Formalism Markup Language (FML) p1 t 1 1 <formalism name="pt-net"

    xmlns="http://cosyverif.org/ns/formalism"> 2 3 <!-- Petri nets global attributes --> 4 <leafAttribute name="name" defaultValue="" refType="pt-net"/> 5 <leafAttribute name="author" defaultValue="" refType="pt-net"/> 6 7 <!-- Places --> 8 <nodeType name="place"/> 9 <leafAttribute name="name" defaultValue="" refType="place"/> 10 <leafAttribute name="marking" defaultValue="0" refType="place"/> 11 12 <!-- Transitions --> 13 <nodeType name="transition"/> 14 <leafAttribute name="name" defaultValue="" refType="transition"/> 15 16 <!-- Arcs --> 17 <arcType name="arc"/> 18 <leafAttribute name="valuation" defaultValue="1" refType="arc"/> 19 20 </formalism> J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 13/28

  18. Formalism Markup Language (FML) p1 t 1 1 <formalism name="pt-net"

    xmlns="http://cosyverif.org/ns/formalism"> 2 3 <!-- Petri nets global attributes --> 4 <leafAttribute name="name" defaultValue="" refType="pt-net"/> 5 <leafAttribute name="author" defaultValue="" refType="pt-net"/> 6 7 <!-- Places --> 8 <nodeType name="place"/> 9 <leafAttribute name="name" defaultValue="" refType="place"/> 10 <leafAttribute name="marking" defaultValue="0" refType="place"/> 11 12 <!-- Transitions --> 13 <nodeType name="transition"/> 14 <leafAttribute name="name" defaultValue="" refType="transition"/> 15 16 <!-- Arcs --> 17 <arcType name="arc"/> 18 <leafAttribute name="valuation" defaultValue="1" refType="arc"/> 19 20 </formalism> J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 13/28

  19. Formalism Markup Language (FML) p1 t 1 1 <formalism name="pt-net"

    xmlns="http://cosyverif.org/ns/formalism"> 2 3 <!-- Petri nets global attributes --> 4 <leafAttribute name="name" defaultValue="" refType="pt-net"/> 5 <leafAttribute name="author" defaultValue="" refType="pt-net"/> 6 7 <!-- Places --> 8 <nodeType name="place"/> 9 <leafAttribute name="name" defaultValue="" refType="place"/> 10 <leafAttribute name="marking" defaultValue="0" refType="place"/> 11 12 <!-- Transitions --> 13 <nodeType name="transition"/> 14 <leafAttribute name="name" defaultValue="" refType="transition"/> 15 16 <!-- Arcs --> 17 <arcType name="arc"/> 18 <leafAttribute name="valuation" defaultValue="1" refType="arc"/> 19 20 </formalism> J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 13/28

  20. Graph Markup Language (GrML) * * * * * *

    * * source target Model + formalismUrl Arc + id + arcType Node + id + nodeType Attribute + name + value Ref + href J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 14/28

  21. Graph Markup Language (GrML) p1 t p2 1 1 1

    <model formalismUrl="http://formalisms.cosyverif.org/pt-net.fml" 2 xmlns="http://cosyverif.org/ns/model"> 3 <!-- Global attributes --> 4 <attribute name="name">Example</attribute> 5 <attribute name="author">CosyTeam</attribute> 6 7 <!-- Places --> 8 <node id="1" nodeType="place" x="220" y="328"> 9 <attribute name="marking">1</attribute> 10 <attribute name="name">p1</attribute> 11 </node> 12 <node id="2" nodeType="place" x="408" y="324"> 13 <attribute name="marking">0</attribute> 14 <attribute name="name">p2</attribute> 15 </node> 16 17 <!-- Transitions --> 18 <node id="3" nodeType="transition" x="330" y="323"> 19 <attribute name="name">t</attribute> 20 </node> 21 22 <!-- Arcs --> 23 <arc id="4" arcType="arc" source="1" target="3" order="0"> 24 <attribute name="valuation">1</attribute> 25 </arc> 26 <arc id="5" arcType="arc" source="3" target="2" order="0"> 27 <attribute name="valuation">1</attribute> 28 </arc> 29 </model> J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 15/28

  22. Graph Markup Language (GrML) p1 t p2 1 1 1

    <model formalismUrl="http://formalisms.cosyverif.org/pt-net.fml" 2 xmlns="http://cosyverif.org/ns/model"> 3 <!-- Global attributes --> 4 <attribute name="name">Example</attribute> 5 <attribute name="author">CosyTeam</attribute> 6 7 <!-- Places --> 8 <node id="1" nodeType="place" x="220" y="328"> 9 <attribute name="marking">1</attribute> 10 <attribute name="name">p1</attribute> 11 </node> 12 <node id="2" nodeType="place" x="408" y="324"> 13 <attribute name="marking">0</attribute> 14 <attribute name="name">p2</attribute> 15 </node> 16 17 <!-- Transitions --> 18 <node id="3" nodeType="transition" x="330" y="323"> 19 <attribute name="name">t</attribute> 20 </node> 21 22 <!-- Arcs --> 23 <arc id="4" arcType="arc" source="1" target="3" order="0"> 24 <attribute name="valuation">1</attribute> 25 </arc> 26 <arc id="5" arcType="arc" source="3" target="2" order="0"> 27 <attribute name="valuation">1</attribute> 28 </arc> 29 </model> J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 15/28

  23. Graph Markup Language (GrML) p1 t p2 1 1 1

    <model formalismUrl="http://formalisms.cosyverif.org/pt-net.fml" 2 xmlns="http://cosyverif.org/ns/model"> 3 <!-- Global attributes --> 4 <attribute name="name">Example</attribute> 5 <attribute name="author">CosyTeam</attribute> 6 7 <!-- Places --> 8 <node id="1" nodeType="place" x="220" y="328"> 9 <attribute name="marking">1</attribute> 10 <attribute name="name">p1</attribute> 11 </node> 12 <node id="2" nodeType="place" x="408" y="324"> 13 <attribute name="marking">0</attribute> 14 <attribute name="name">p2</attribute> 15 </node> 16 17 <!-- Transitions --> 18 <node id="3" nodeType="transition" x="330" y="323"> 19 <attribute name="name">t</attribute> 20 </node> 21 22 <!-- Arcs --> 23 <arc id="4" arcType="arc" source="1" target="3" order="0"> 24 <attribute name="valuation">1</attribute> 25 </arc> 26 <arc id="5" arcType="arc" source="3" target="2" order="0"> 27 <attribute name="valuation">1</attribute> 28 </arc> 29 </model> J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 15/28

  24. Graph Markup Language (GrML) p1 t p2 1 1 1

    <model formalismUrl="http://formalisms.cosyverif.org/pt-net.fml" 2 xmlns="http://cosyverif.org/ns/model"> 3 <!-- Global attributes --> 4 <attribute name="name">Example</attribute> 5 <attribute name="author">CosyTeam</attribute> 6 7 <!-- Places --> 8 <node id="1" nodeType="place" x="220" y="328"> 9 <attribute name="marking">1</attribute> 10 <attribute name="name">p1</attribute> 11 </node> 12 <node id="2" nodeType="place" x="408" y="324"> 13 <attribute name="marking">0</attribute> 14 <attribute name="name">p2</attribute> 15 </node> 16 17 <!-- Transitions --> 18 <node id="3" nodeType="transition" x="330" y="323"> 19 <attribute name="name">t</attribute> 20 </node> 21 22 <!-- Arcs --> 23 <arc id="4" arcType="arc" source="1" target="3" order="0"> 24 <attribute name="valuation">1</attribute> 25 </arc> 26 <arc id="5" arcType="arc" source="3" target="2" order="0"> 27 <attribute name="valuation">1</attribute> 28 </arc> 29 </model> J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 15/28

  25. Graph Markup Language (GrML) p1 t p2 1 1 1

    <model formalismUrl="http://formalisms.cosyverif.org/pt-net.fml" 2 xmlns="http://cosyverif.org/ns/model"> 3 <!-- Global attributes --> 4 <attribute name="name">Example</attribute> 5 <attribute name="author">CosyTeam</attribute> 6 7 <!-- Places --> 8 <node id="1" nodeType="place" x="220" y="328"> 9 <attribute name="marking">1</attribute> 10 <attribute name="name">p1</attribute> 11 </node> 12 <node id="2" nodeType="place" x="408" y="324"> 13 <attribute name="marking">0</attribute> 14 <attribute name="name">p2</attribute> 15 </node> 16 17 <!-- Transitions --> 18 <node id="3" nodeType="transition" x="330" y="323"> 19 <attribute name="name">t</attribute> 20 </node> 21 22 <!-- Arcs --> 23 <arc id="4" arcType="arc" source="1" target="3" order="0"> 24 <attribute name="valuation">1</attribute> 25 </arc> 26 <arc id="5" arcType="arc" source="3" target="2" order="0"> 27 <attribute name="valuation">1</attribute> 28 </arc> 29 </model> J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 15/28

  26. Graph Markup Language (GrML) p1 t p2 1 1 1

    <model formalismUrl="http://formalisms.cosyverif.org/pt-net.fml" 2 xmlns="http://cosyverif.org/ns/model"> 3 <!-- Global attributes --> 4 <attribute name="name">Example</attribute> 5 <attribute name="author">CosyTeam</attribute> 6 7 <!-- Places --> 8 <node id="1" nodeType="place" x="220" y="328"> 9 <attribute name="marking">1</attribute> 10 <attribute name="name">p1</attribute> 11 </node> 12 <node id="2" nodeType="place" x="408" y="324"> 13 <attribute name="marking">0</attribute> 14 <attribute name="name">p2</attribute> 15 </node> 16 17 <!-- Transitions --> 18 <node id="3" nodeType="transition" x="330" y="323"> 19 <attribute name="name">t</attribute> 20 </node> 21 22 <!-- Arcs --> 23 <arc id="4" arcType="arc" source="1" target="3" order="0"> 24 <attribute name="valuation">1</attribute> 25 </arc> 26 <arc id="5" arcType="arc" source="3" target="2" order="0"> 27 <attribute name="valuation">1</attribute> 28 </arc> 29 </model> J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 15/28

  27. Graph Markup Language (GrML) p1 t p2 1 1 1

    <model formalismUrl="http://formalisms.cosyverif.org/pt-net.fml" 2 xmlns="http://cosyverif.org/ns/model"> 3 <!-- Global attributes --> 4 <attribute name="name">Example</attribute> 5 <attribute name="author">CosyTeam</attribute> 6 7 <!-- Places --> 8 <node id="1" nodeType="place" x="220" y="328"> 9 <attribute name="marking">1</attribute> 10 <attribute name="name">p1</attribute> 11 </node> 12 <node id="2" nodeType="place" x="408" y="324"> 13 <attribute name="marking">0</attribute> 14 <attribute name="name">p2</attribute> 15 </node> 16 17 <!-- Transitions --> 18 <node id="3" nodeType="transition" x="330" y="323"> 19 <attribute name="name">t</attribute> 20 </node> 21 22 <!-- Arcs --> 23 <arc id="4" arcType="arc" source="1" target="3" order="0"> 24 <attribute name="valuation">1</attribute> 25 </arc> 26 <arc id="5" arcType="arc" source="3" target="2" order="0"> 27 <attribute name="valuation">1</attribute> 28 </arc> 29 </model> J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 15/28

  28. 3. Création d’un Modèle J. Arias, F. Hulin-Hubard CosyVerif :

    Vers une Cohabitation des Formalismes 16/28

  29. Réseaux de Petri J. Arias, F. Hulin-Hubard CosyVerif : Vers

    une Cohabitation des Formalismes 17/28

  30. Automates Paramétriques Temporisés (PTA) J. Arias, F. Hulin-Hubard CosyVerif :

    Vers une Cohabitation des Formalismes 18/28

  31. Réseau de PTA J. Arias, F. Hulin-Hubard CosyVerif : Vers

    une Cohabitation des Formalismes 19/28

  32. Réseau de PTA J. Arias, F. Hulin-Hubard CosyVerif : Vers

    une Cohabitation des Formalismes 19/28

  33. Réseau de PTA J. Arias, F. Hulin-Hubard CosyVerif : Vers

    une Cohabitation des Formalismes 19/28

  34. Arbres d’Attaque-Défense (ADTree) J. Arias, F. Hulin-Hubard CosyVerif : Vers

    une Cohabitation des Formalismes 20/28

  35. 4. Analyse d’un Modèle J. Arias, F. Hulin-Hubard CosyVerif :

    Vers une Cohabitation des Formalismes 21/28

  36. Alligator : Éventail de Services J. Arias, F. Hulin-Hubard CosyVerif

    : Vers une Cohabitation des Formalismes 22/28

  37. Alligator : Éventail de Services Vérification des formules PTCTL avec

    Roméo J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 23/28

  38. Alligator : Éventail de Services Vérification des formules PTCTL avec

    Roméo J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 23/28

  39. Alligator : Éventail de Services Vérification des formules PTCTL avec

    Roméo Le PTPN est-il 1-bounded ? Oui, avec 0 ≤ a ≤ 4 J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 23/28

  40. 5. Conclusions J. Arias, F. Hulin-Hubard CosyVerif : Vers une

    Cohabitation des Formalismes 24/28

  41. Conclusions • CosyVerif permet la cohabitation entre différents types de

    formalismes 1 : réseaux de Petri, automates, ADTrees, etc. ◦ Définition de formalismes (FML) ◦ Outils de vérification (Alligator) 1. Une seule anneau interface pour les gouverner tous, … – J.R.R. Tolkien J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 25/28

  42. Conclusions • CosyVerif permet la cohabitation entre différents types de

    formalismes 1 : réseaux de Petri, automates, ADTrees, etc. ◦ Définition de formalismes (FML) ◦ Outils de vérification (Alligator) • CosyVerif réduit l’effort d’apprentissage et d’utilisation pour l’utilisateur. ◦ Multi-plateforme et sans installation (un navigateur web suffit) ◦ Une seule interface graphique à apprendre 1. Une seule anneau interface pour les gouverner tous, … – J.R.R. Tolkien J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 25/28

  43. Conclusions • CosyVerif permet la cohabitation entre différents types de

    formalismes 1 : réseaux de Petri, automates, ADTrees, etc. ◦ Définition de formalismes (FML) ◦ Outils de vérification (Alligator) • CosyVerif réduit l’effort d’apprentissage et d’utilisation pour l’utilisateur. ◦ Multi-plateforme et sans installation (un navigateur web suffit) ◦ Une seule interface graphique à apprendre • CosyVerif est utilisé par des chercheurs ainsi que par plusieurs universités françaises et vietnamiennes dans leurs enseignements. 1. Une seule anneau interface pour les gouverner tous, … – J.R.R. Tolkien J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 25/28

  44. Conclusions Perspectives / Travaux Futurs • Règles sémantiques, telles que

    les vérifications de cohérence. • Partage de résultats entre les outils. • Visualisation dynamique des résultats sur le modèle initial. Pour en savoir plus… André, É. et al. (2024). CosyVerif : The Path to Formalisms Cohabitation. In : Application and Theory of Petri Nets and Concurrency. Petri Nets 2024. LNCS, vol 14628. Springer J. Arias, F. Hulin-Hubard CosyVerif : Vers une Cohabitation des Formalismes 26/28

  45. Merci de votre attention https://draw.cosyverif.org J. Arias, F. Hulin-Hubard CosyVerif

    : Vers une Cohabitation des Formalismes 27/28

  46. CosyVerif : Vers une Cohabitation des Formalismes Jaime Arias1 and

    Francis Hulin-Hubard2 1LIPN, CNRS UMR 7030, Université Sorbonne Paris Nord, Villetaneuse, France 2Sorbonne Université, CNRS, LIP6, Paris, France Séminaire des 20 ans de MeFoSyLoMa 23 janvier 2026

More Decks by Jaime Arias Almeida

See All by Jaime Arias Almeida
Vue.js : Développer des interfaces utilisateur réactives et modulaires
himito
0
33
De zéro à votre première application web avec AdonisJS
himito
0
32
Creating Static Sites with Pelican at LIPN
himito
0
32
Heure ProDev : AdonisJS
himito
0
30
Journée Vue.js
himito
0
51
Preserving the World’s Software: A Hands-On Introduction to Software Heritage
himito
0
30
Deterministic Finite Automata
himito
0
54
Journée Respire - CI/CD at LIPN
himito
0
30
Software Heritage key infrastructure for Open Science and Software Science
himito
0
64

Featured

See All Featured
Technical Leadership for Architectural Decision Making
baasie
4
640
Redefining SEO in the New Era of Traffic Generation
szymonslowik
1
530
The Art of Programming - Codeland 2020
erikaheidi
57
14k
Organizational Design Perspectives: An Ontology of Organizational Design Elements
kimpetersen
PRO
1
880
HTML-Aware ERB: The Path to Reactive Rendering @ RubyCon 2026, Rimini, Italy
marcoroth
6
920
Heart Work Chapter 1 - Part 1
lfama
PRO
11
37k
Utilizing Notion as your number one productivity tool
mfonobong
4
640
Balancing Empowerment & Direction
lara
6
1.4k
ピンチをチャンスに：未来をつくるプロダクトロードマップ #pmconf2020
aki_iinuma
128
56k
Bridging the Design Gap: How Collaborative Modelling removes blockers to flow between stakeholders and teams @FastFlow conf
baasie
0
760
Build The Right Thing And Hit Your Dates
maggiecrowley
39
3.5k
YesSQL, Process and Tooling at Scale
rocio
174
15k