Our collection of #formalmethods/#modelchecking/#verification/#softwaremodeling books

A technique to automatically generate hardware components for robotic systems. #Hardware #Components #Robotics #Systems #Development #Techniques #future #Innovation #SoftwareModeling #SoftwareDevelopment #technology

New Astah Professional Intro Video is Here!.This short video shows the UI and key features through real screen operations. Watch now, experience it yourself, and start your 20-day free trial!. #UML #Astah #Softwaremodeling

Software Modeling with Office (what’s wrong with me?). #SoftwareDevelopment #SoftwareModeling #Microsoft #MicrosoftOffice #technology #Drawing #Define #Write

Modela efectivamente con #EventStorming durante un taller de #BigPicture, #ProcessModeling o #SoftwareDesign gracias a mi Curso de Fundamentos de EventStorming!. #DomainDrivenDesign #DDDesign #DDD #Microservices #SoftwareModeling #DiseñoSoftware #BPMN

OMG - G. Booch's way of explaining the importance of modeling. Love the book as it explains the concepts in such a beautiful and interesting way😉( as in this example "or you get a less demanding dog") #LLD #HLD #softwareDesign #UML #SoftwareModeling #SDE #softwareDevelopment

Model effectively with #EventStorming during a #BigPicture, #ProcessModelling or #SoftwareDesign workshop thanks to my EventStorming Fundamentals Course!. #DomainDrivenDesign #DDDesign #DDD #Microservices #SoftwareModeling #ProcessModeling #BPMN #Software

You can win a @ddd_eu Foundations 2022 ticket (valued at 435€) taking part in this raffle! Exclusive for the #DDDBCN community. #DDD #DDDesign #DomainDrivenDesign #DDDEU #DDDEurope #SoftwareDesign #SoftwareModeling #SoftwareModelling

📚 If you are an engineer who wants to learn more about TLA+ head over to Leslie Lamport's blog and take a look at its' implementation in CosmosDB: 🖥️. #TLA+ #LinuxFoundation #SoftwareModeling #DistributedSystems #Engineering

Relationship paths can be drawn in multiple ways: Straight, Oblique, Rectangular, Rounded Rectangular and Curve. Read more about drawing paths:. #diagramming #tutorial #options #softwaremodeling

Our friends from @ddd_eu are offering a 10% #discount for their training exclusively to the @dddbcn community. Benefit from it!. #DDD #DDDesign #DomainDrivenDesign #DDDEU #DDDEurope #SoftwareDesign #SoftwareModeling #SoftwareModelling

#Managing #package #dependencies in #distributions of #Debian #Linux http://j.mp/2ZO2cZ #DSL #SoftwareModeling.

Software Ideas Modeler 12.05 was released. It brings several small #improvements and it enhances the overall stability of the application. Read more about the improvements here:. #uml #diagramming #newrelease #diagrams #softwaremodeling

✨ “m+” Plugin Updated!.Get Code Generation, Structure Diagrams, Directed Graphs, Diagram Maps, & Relationship Matrix Export — all FREE with #Astah Professional & #UML! 🚀.👉 Download: #SoftwareModeling #ModelDrivenDevelopment #CodeGeneration #Diagramming

📚Meet the Authors 📚. Pick up tips from Dmitry Kuznetsov, the SAP S/4HANA modelling expert himself, by signing up for our virtual event coming up on July 15th!. Snag your spot before it’s too late! #espressotutorials #sapauthor #softwaremodeling

Complex system models often need complex components in component diagrams. Software Ideas Modeler allows you to design composited hierarchical models easily. #component #diagramming #diagram #tutorial #softwareengineering #softwaremodeling

#UML #association is a kind of connector in the class #diagram which specifies how are the particular classes related to each other. Read more about association navigability and cardinality here:. #SoftwareEngineering #SoftwareDeveloper #softwaremodeling

10 Common Software Architectural Patterns in a nutshell. . #softwarearchitecture #architecturalpatterns #softwarepatterns #designpatterns #softwaredevelopment #codingpatterns #softwareengineering #softwarestructure #softwaremodeling #softwareabstractions

after a few hours of using @lucidchart to make some ERD, use case and architecture diagrams and coming to Twitter and tryna move my twitter feed with right-click lol. man, twitter needs this feature!!. #softwaredevelopment #SoftwareEngineering #softwaremodeling.

Going up the DSL way with intentional Programming : http://bit.ly/fp4M2 , http://bit.ly/2nVcff #SoftwareModeling http://ff.im/62vwi.