diff --git a/assets/Immagine_WhatsApp_2025-06-12_ore_09.47.39_90e9dd50_1749714473208_0.jpg b/assets/Immagine_WhatsApp_2025-06-12_ore_09.47.39_90e9dd50_1749714473208_0.jpg new file mode 100644 index 00000000..3922317b Binary files /dev/null and b/assets/Immagine_WhatsApp_2025-06-12_ore_09.47.39_90e9dd50_1749714473208_0.jpg differ diff --git a/journals/2025_06_12.md b/journals/2025_06_12.md index 1b246490..5a13fe21 100644 --- a/journals/2025_06_12.md +++ b/journals/2025_06_12.md @@ -4,14 +4,4 @@ boox-notes:: ![BOOX Notes](../assets/../../onyx/TabUltraCPro/Notepad/JOURNALING. - ## Tasks - ## Notes - - **Notes dal primo giorno di [[SLE]] at [[STAF]] 2025 ** - - Keynote da Thorsten Berger (A new DSL textbook in town!) - - abstract: DSLs are the ultimate abstraction in software engineering. While programming languages have – since the advent of computers – continuously increased their level of abstraction, they are still limited to the domain of computing, with their instances containing many technicalities. Unlike programming languages, DSLs reflect a given application domain, ideally abstracting away anything beyond it. Recognizing their strengths, the programming-language and the software-engineering community introduced many technologies for engineering DSLs. While well-polished widely-used DSLs have existed for a long time (e.g., SQL, regular expressions, HTML), language engineering technologies have made great progress over the last two decades, allowing developers who are not language or compiler experts to create their own DSL – in order to increase the level of automation for their projects. - - - - http://dsl.design book - - DIfferent examples of DSLs have been shown by including in the discussion also teaching experiences, guidelines, and principles - - Da verificare la metaclasse ``InstanceSpecification`` in UML che permette di modellare istanze di metaclassi allo stesso livello - - Quality assurance of metamodels - - Definition of metamodel consistency, parsimonious metamodels, etc. - - - \ No newline at end of file diff --git a/pages/Missione STAF 2025.md b/pages/Missione STAF 2025.md index 31be2a0e..a0ced8a0 100644 --- a/pages/Missione STAF 2025.md +++ b/pages/Missione STAF 2025.md @@ -15,9 +15,10 @@ progress:: {{renderer :todomaster}} - - ![image.png](../assets/image_1748872921830_0.png){:height 361, :width 252} - ## Notes - - ### Keynote at [[STAF]] 2025 + - ## My first day at [[staf]] collapsed:: true - #### **Modeling and LLMs in Continuous Software Engineering** + collapsed:: true - [Anne Koziolek, Karlsruhe Institute of Technology Germany](https://conf.researchr.org/profile/STAF-2025/annekoziolek) - Abstract: - The notion of continuous software engineering extends practices like continuous integration to view the entire software development lifecycle as a continuous, interconnected flow of activities. At the same time, recent advances in large language models (LLMs) have revolutionized the way machines process natural language—language that plays a central role throughout software engineering, from requirements elicitation and design discussions to documentation. @@ -70,68 +71,87 @@ progress:: {{renderer :todomaster}} - ![Immagine WhatsApp 2025-06-11 ore 10.16.57_c6ed5ee1.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.57_c6ed5ee1_1749629897850_0.jpg) - ![Immagine WhatsApp 2025-06-11 ore 10.16.57_2e12f1a1.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.57_2e12f1a1_1749629881839_0.jpg) - ![Immagine WhatsApp 2025-06-11 ore 10.16.57_48fec7ed.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.57_48fec7ed_1749629843969_0.jpg) - - ### A metascience study of the low-code scientific field - Jordi Cabot at [[STAF]] 2025 - ECMFA - collapsed:: true - - Can the low-code popularity to help the community grow? - - Looking for win-win - - [lens.org](https://www.lens.org/) has been used to collect articles - - Nowadays there are more low-code papers than those using the MD* keywords - - How can you be sure that arxiv papers are duplicates of papers published somewhere else? #question - - Facts - - Decline in the size of the modeling community - - Low-code compensate that - - Rebrand MODELS with Lowcode? - - Becuase of the so different keywords like MDE/MDA/MBD/.,,, we look so fragmented - - Majority of low-code papers are applications - - ### An internal DSL for Graphical Modeling Tools Based on GLSP - Georg Hinkel - ECMFA - collapsed:: true - - Requirements of the language - - GLSP- specific - - Recurring concepts like layout information - - Support for 1:n correspondences - - Avoid separate graphical models #question This is similaro to Eugenia isn't it? - - Source of complexity in existing editors - - Metadata support - - Editor wants to know possible targets of and edge statically - - Integrated Protocols Support - - Used the same technology as **NMF Syncronizations** - - ### User-modeling in MDE - an SLR - ECMFA - collapsed:: true - - To facilitate the development of personalized applications - - - - ### Who will create the languages of the Future? - OOPSLE - collapsed:: true - - Jordi Cabot - - Abstract: Software is eating the world. Which means that we need good languages to write all this software. And, often, come up with “new” languages to be able to efficiently target new software domains and technologies. In this talk, we will explore the changing landscape of language engineering and discuss how Artificial Intelligence and low-code/no-code techniques can play a role in this future by helping in the definition, use, execution, and testing of new languages. Even empowering non-tech users to create their own language infrastructure. Maybe without them even realizing. [https://conf.researchr.org/profile/staf-2025/jordicabot](https://conf.researchr.org/profile/staf-2025/jordicabot) - - Questions + - ### Keynote at [[STAF]] 2025 + - ### A metascience study of the low-code scientific field - Jordi Cabot at [[STAF]] 2025 - ECMFA collapsed:: true - - Is there still the need for new DSLs? - - Implicit or Explicit DSLs? - - It depends on the ROI - - Do I need to create the DSL myself? - - Vibe coding !?!? - - VIBE DSLing - - vs VIDE Modeling - - Instead of going from NL to code, aske LLMs to create a DSL for me and then use the DSL to develop applications with the generated DSL - - Moody et al. "Phisics of notation" - - [[PRD - Product Requirement Document]] - - A Product Requirement Document (PRD) is a document that outlines the functional and non-functional requirements of a product that is being developed. It serves as a communication tool between the product team, stakeholders, and developers, guiding the development process and ensuring that all parties are aligned on the goals and specifications of the product. The PRD typically includes information such as user stories, features, technical specifications, constraints, and acceptance criteria. It is an essential document in the product development process, helping to ensure that the final product meets the needs and expectations of its users. - - Some slides + - Can the low-code popularity to help the community grow? + - Looking for win-win + - [lens.org](https://www.lens.org/) has been used to collect articles + - Nowadays there are more low-code papers than those using the MD* keywords + - How can you be sure that arxiv papers are duplicates of papers published somewhere else? #question + - Facts + - Decline in the size of the modeling community + - Low-code compensate that + - Rebrand MODELS with Lowcode? + - Becuase of the so different keywords like MDE/MDA/MBD/.,,, we look so fragmented + - Majority of low-code papers are applications + - ### An internal DSL for Graphical Modeling Tools Based on GLSP - Georg Hinkel - ECMFA + collapsed:: true + - Requirements of the language + - GLSP- specific + - Recurring concepts like layout information + - Support for 1:n correspondences + - Avoid separate graphical models #question This is similaro to Eugenia isn't it? + - Source of complexity in existing editors + - Metadata support + - Editor wants to know possible targets of and edge statically + - Integrated Protocols Support + - Used the same technology as **NMF Syncronizations** + - ### User-modeling in MDE - an SLR - ECMFA + collapsed:: true + - To facilitate the development of personalized applications - - - [[Resources]] - - [jcabot/funding-dsl: Simple DSL to facilitate the creation of FUNDING files to manage sponsorships in your repository](https://github.com/jcabot/funding-dsl) - - [(25) Post | Feed | LinkedIn](https://www.linkedin.com/feed/update/urn:li:activity:7337419007014166528/) - - [Augment Code - AI coding platform for real software.](https://www.augmentcode.com/?utm_campaign=gg_emea_dg_search_competitor_cursor&utm_source=google&utm_medium=cpc&utm_content=cursor_ai&utm_term=cursor%20ai&gad_source=1&gad_campaignid=22644987260&gclid=Cj0KCQjw0qTCBhCmARIsAAj8C4Z9b90Sn1dgn5oHyCdgVLn8bGMBKTLMJAXocET5cYs4nHFEgU64q3oaAtuzEALw_wcB) - Cursor AI + - ### Who will create the languages of the Future? - Jordi Cabot at OOPSLE + collapsed:: true + - Jordi Cabot + - Abstract: Software is eating the world. Which means that we need good languages to write all this software. And, often, come up with “new” languages to be able to efficiently target new software domains and technologies. In this talk, we will explore the changing landscape of language engineering and discuss how Artificial Intelligence and low-code/no-code techniques can play a role in this future by helping in the definition, use, execution, and testing of new languages. Even empowering non-tech users to create their own language infrastructure. Maybe without them even realizing. [https://conf.researchr.org/profile/staf-2025/jordicabot](https://conf.researchr.org/profile/staf-2025/jordicabot) + - Slides: [Could an LLM create a full Domain-Specific Language?](https://modeling-languages.com/vibe-dsling/) + - Questions + collapsed:: true + - Is there still the need for new DSLs? + - Implicit or Explicit DSLs? + - It depends on the ROI + - Do I need to create the DSL myself? + - Vibe coding !?!? + - VIBE DSLing + - vs VIDE Modeling + - Instead of going from NL to code, aske LLMs to create a DSL for me and then use the DSL to develop applications with the generated DSL + - Moody et al. "Phisics of notation" + - [[PRD - Product Requirement Document]] + - A Product Requirement Document (PRD) is a document that outlines the functional and non-functional requirements of a product that is being developed. It serves as a communication tool between the product team, stakeholders, and developers, guiding the development process and ensuring that all parties are aligned on the goals and specifications of the product. The PRD typically includes information such as user stories, features, technical specifications, constraints, and acceptance criteria. It is an essential document in the product development process, helping to ensure that the final product meets the needs and expectations of its users. + - Some slides + - + - [[Resources]] + - [jcabot/funding-dsl: Simple DSL to facilitate the creation of FUNDING files to manage sponsorships in your repository](https://github.com/jcabot/funding-dsl) + - [(25) Post | Feed | LinkedIn](https://www.linkedin.com/feed/update/urn:li:activity:7337419007014166528/) + - [Augment Code - AI coding platform for real software.](https://www.augmentcode.com/?utm_campaign=gg_emea_dg_search_competitor_cursor&utm_source=google&utm_medium=cpc&utm_content=cursor_ai&utm_term=cursor%20ai&gad_source=1&gad_campaignid=22644987260&gclid=Cj0KCQjw0qTCBhCmARIsAAj8C4Z9b90Sn1dgn5oHyCdgVLn8bGMBKTLMJAXocET5cYs4nHFEgU64q3oaAtuzEALw_wcB) - Cursor AI + - + - ### Let's make abstraction engineering fun again! - A. Cicchetti - OOPSLE + collapsed:: true + - Ha fatto una presentazione su JJODEL di fatto, ma non mi ha fatto impazzire. + - ### Wrap-up + collapsed:: true + - List of open problems + - Are they solved? + - Are you satisfied by existing solutions? + - There will be post-proceedings on the event + - We will get info via a call for papers + - Kind of workshop report in a Dagshtul like format - - - ### Let's make abstraction engineering fun again! - A. Cicchetti - OOPSLE - collapsed:: true - - Ha fatto una presentazione su JJODEL di fatto, ma non mi ha fatto impazzire. - - ### Wrap-up - - List of open problems - - Are they solved? - - Are you satisfied by existing solutions? - - There will be post-proceedings on the event - - We will get info via a call for papers - - Kind of workshop report in a Dagshtul like format - - - - \ No newline at end of file + - + - ## Second day at [[STAF]] / [[SLE]] + - ### Keynote at [[sle]] da Thorsten Berger (A new DSL textbook in town!) + - abstract: + - DSLs are the ultimate abstraction in software engineering. While programming languages have – since the advent of computers – continuously increased their level of abstraction, they are still limited to the domain of computing, with their instances containing many technicalities. Unlike programming languages, DSLs reflect a given application domain, ideally abstracting away anything beyond it. Recognizing their strengths, the programming-language and the software-engineering community introduced many technologies for engineering DSLs. While well-polished widely-used DSLs have existed for a long time (e.g., SQL, regular expressions, HTML), language engineering technologies have made great progress over the last two decades, allowing developers who are not language or compiler experts to create their own DSL – in order to increase the level of automation for their projects. + - Link: + - [Program - STAF 2025](https://conf.researchr.org/program/staf-2025/program-staf-2025/?date=Thu%2012%20Jun%202025&past=Show%20upcoming%20events%20only) + - Questions: + - I guess when you started writing the book chatgtp was not available yet. Do you think the book should be refine to incoroporate the adoption of LLMs for teaching purposes? During your talk you presentated guidelines, principles, exercises. How do you think LLMs can help students to improve their learning experience and then do you think a second edition of the book is mandatory at this point? #question + - Some notes: + - http://dsl.design book + - DIfferent examples of DSLs have been shown by including in the discussion also teaching experiences, guidelines, and principles + - Da verificare la metaclasse ``InstanceSpecification`` in UML che permette di modellare istanze di metaclassi allo stesso livello + - Quality assurance of metamodels + - Definition of metamodel consistency, parsimonious metamodels, etc. + - ![Immagine WhatsApp 2025-06-12 ore 09.47.39_90e9dd50.jpg](../assets/Immagine_WhatsApp_2025-06-12_ore_09.47.39_90e9dd50_1749714473208_0.jpg){:height 535, :width 524} + - \ No newline at end of file