From 90cfb91199f1d1fec36ec5cc4ef0879cec71f900 Mon Sep 17 00:00:00 2001 From: Daniel <59575049+lumijiez@users.noreply.github.com> Date: Wed, 1 May 2024 22:48:50 +0300 Subject: [PATCH] Update README.md --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index dcc0339..bd9f4fb 100644 --- a/README.md +++ b/README.md @@ -3,6 +3,7 @@ ## Overview Winx is a domain-specific language designed to explicitly define interfaces and specifications for systems across various domains. It enables system architects and developers to declare critical and optional operations, specify constraints, and establish clear contracts within the system components. Winx supports the development of reliable systems by enforcing strict adherence to defined behaviors and performance metrics. +![photo_2024-05-01_22-48-04](https://github.com/lumijiez/dsl-winx/assets/59575049/c9bff223-5337-4c4d-a6d8-8ac4dc532e2d) ## Features of Winx