From a0207c53636580adb328d6fee86dda9db4ab7f34 Mon Sep 17 00:00:00 2001 From: davidediruscio Date: Wed, 11 Jun 2025 11:44:22 +0200 Subject: [PATCH] [logseq-plugin-git:commit] 2025-06-11T09:44:21.414Z --- journals/2025_06_11.md | 69 +----------------------- pages/Missione STAF 2025.md | 104 ++++++++++++++++++++++++++++++++---- pages/TODOIST-LOGSEQED.md | 7 ++- 3 files changed, 101 insertions(+), 79 deletions(-) diff --git a/journals/2025_06_11.md b/journals/2025_06_11.md index 35f2d186..123e0ffc 100644 --- a/journals/2025_06_11.md +++ b/journals/2025_06_11.md @@ -4,72 +4,7 @@ boox-notes:: ![BOOX Notes](../assets/../../onyx/TabUltraCPro/Notepad/JOURNALING. - ## Tasks - ## Notes - - Keynote at [[STAF]] 2025 - collapsed:: true - - #### **Modeling and LLMs in Continuous Software Engineering** - - [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. - - In this talk, I will outline a vision for the role of models in continuous software engineering, focusing particularly on their use in design activities. I will argue that models will remain central to software engineering, even in an era of AI-assisted development, and explore what future design assistants might look like. One key capability of such assistants will be the ability to establish and use trace links between artifacts. I will present recent results showing how LLMs, combined with heuristic techniques, can achieve high precision and recall in this task. - - Looking ahead, I will share our vision for how model-driven techniques can support more agile development of cyber-physical systems, and our ideas how LLMs can contribute to realizing the long-standing goal of model consistency. Finally, time permitting, I will also reflect on the use of LLMs in navigating software engineering literature and research data. - - Notes - - Cost-efficient modeling - - automated extrection of models from other artefacts - - Automated model consistency to enable cost-efficient evolution - - Natural language as one view of the system to be keto consistent - - NoRBERT for Requirements classification 2020 - - Models in Continuous Software ENgineering - - At the beginning the ideal process was the waterfall one. But it seems does not work proprely in most cases. Specifications and implementations are inevitably interwined. This because: - - hierarchical intertwinement: high-level design decisions inform lower-level requirements - - technical feasibility: non-feasible requirements are useless - - validation: what you see is what you require. - - Iterative planning then! - - {{renderer :mermaid_68493348-7f45-4787-95d3-54066d1c01fd, 3}} - collapsed:: true - - ```mermaid - graph LR - A[Learn] --> B[Plan] - B --> C[Build] - C --> A - ``` - - Agile manifesto, 2001 - - How to support cost-efficient modeling? - - [[LLMs]] - - some of the following slides can be exploited to prepare the slides for the [[Intervento PINKAMP]] - - ![Immagine WhatsApp 2025-06-11 ore 10.16.58_30187baa.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.58_30187baa_1749630102465_0.jpg) - - - - ![Immagine WhatsApp 2025-06-11 ore 10.16.58_ff16af13.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.58_ff16af13_1749630091232_0.jpg) - - ![Immagine WhatsApp 2025-06-11 ore 10.16.58_95973dde.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.58_95973dde_1749630083642_0.jpg) - - ![Immagine WhatsApp 2025-06-11 ore 10.16.58_027d3aca.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.58_027d3aca_1749630075116_0.jpg) - - ![Immagine WhatsApp 2025-06-11 ore 10.16.58_1d7791d6.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.58_1d7791d6_1749630067578_0.jpg) - - ![Immagine WhatsApp 2025-06-11 ore 10.16.58_967a7a16.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.58_967a7a16_1749630059144_0.jpg) - - ![Immagine WhatsApp 2025-06-11 ore 10.16.58_d9373913.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.58_d9373913_1749630048710_0.jpg){:height 398, :width 852} - - ![Immagine WhatsApp 2025-06-11 ore 10.16.58_ac391187.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.58_ac391187_1749630036356_0.jpg) - - ![Immagine WhatsApp 2025-06-11 ore 10.16.58_cec429ce.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.58_cec429ce_1749630024709_0.jpg) - - ![Immagine WhatsApp 2025-06-11 ore 10.16.58_cec429ce.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.58_cec429ce_1749630015862_0.jpg) - - ![Immagine WhatsApp 2025-06-11 ore 10.16.58_8e6aa93d.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.58_8e6aa93d_1749630000460_0.jpg) - - ![Immagine WhatsApp 2025-06-11 ore 10.16.58_b8d84c22.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.58_b8d84c22_1749629984208_0.jpg) - - - - ![Immagine WhatsApp 2025-06-11 ore 10.16.58_28008e59.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.58_28008e59_1749629958665_0.jpg) - - This is related to [[Model Context Protocol (MCP)]] #LLMs #PROJECTS/MOSAICO #reading - - ![Immagine WhatsApp 2025-06-11 ore 10.16.57_98d091d4.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.57_98d091d4_1749629948940_0.jpg) - - ![Immagine WhatsApp 2025-06-11 ore 10.16.57_65ad896b.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.57_65ad896b_1749629938063_0.jpg) - - ![Immagine WhatsApp 2025-06-11 ore 10.16.57_f5db2351.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.57_f5db2351_1749629927969_0.jpg) - - ![Immagine WhatsApp 2025-06-11 ore 10.16.57_ef51faac.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.57_ef51faac_1749629909005_0.jpg) - - ![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 - - 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 + - Notes from [[Missione STAF 2025]] #todoist-task #STAF #ADMIN/MISSIONI #[[Attended Event]] + - - - \ No newline at end of file diff --git a/pages/Missione STAF 2025.md b/pages/Missione STAF 2025.md index d9ac0fd6..dc4958e6 100644 --- a/pages/Missione STAF 2025.md +++ b/pages/Missione STAF 2025.md @@ -1,13 +1,97 @@ -tags:: #todoist-task [[STAF]] [[ADMIN/MISSIONI]] +tags:: #todoist-task, [[STAF]], [[ADMIN/MISSIONI]], [[Attended Event]], [[STAF]] date:: [[09-06-2025]] - 13:52 progress:: {{renderer :todomaster}} -- L'evento inizia il 10 di Giugno e termina il 13 - - ECMFA 10,11 - - SLE 12, 13 - - Il 13 fino alle 14:00 - - Potrei pensare di ripartire il 13 Giugno - - Il 12 ci potrebbe essere il meeting del SC di SLE - - Partieri il 10 e tornare il 13 - - -- ![image.png](../assets/image_1748872921830_0.png){:height 361, :width 252} \ No newline at end of file +- ## Admin + collapsed:: true + - L'evento inizia il 10 di Giugno e termina il 13 + collapsed:: true + - ECMFA 10,11 + - SLE 12, 13 + - Il 13 fino alle 14:00 + - Potrei pensare di ripartire il 13 Giugno + - Il 12 ci potrebbe essere il meeting del SC di SLE + - Partieri il 10 e tornare il 13 + - + - ![image.png](../assets/image_1748872921830_0.png){:height 361, :width 252} +- ## Notes + - ### Keynote at [[STAF]] 2025 + collapsed:: true + - #### **Modeling and LLMs in Continuous Software Engineering** + - [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. + - In this talk, I will outline a vision for the role of models in continuous software engineering, focusing particularly on their use in design activities. I will argue that models will remain central to software engineering, even in an era of AI-assisted development, and explore what future design assistants might look like. One key capability of such assistants will be the ability to establish and use trace links between artifacts. I will present recent results showing how LLMs, combined with heuristic techniques, can achieve high precision and recall in this task. + - Looking ahead, I will share our vision for how model-driven techniques can support more agile development of cyber-physical systems, and our ideas how LLMs can contribute to realizing the long-standing goal of model consistency. Finally, time permitting, I will also reflect on the use of LLMs in navigating software engineering literature and research data. + - Notes + - Cost-efficient modeling + - automated extrection of models from other artefacts + - Automated model consistency to enable cost-efficient evolution + - Natural language as one view of the system to be keto consistent + - NoRBERT for Requirements classification 2020 + - Models in Continuous Software ENgineering + - At the beginning the ideal process was the waterfall one. But it seems does not work proprely in most cases. Specifications and implementations are inevitably interwined. This because: + - hierarchical intertwinement: high-level design decisions inform lower-level requirements + - technical feasibility: non-feasible requirements are useless + - validation: what you see is what you require. + - Iterative planning then! + - {{renderer :mermaid_68493348-7f45-4787-95d3-54066d1c01fd, 3}} + collapsed:: true + - ```mermaid + graph LR + A[Learn] --> B[Plan] + B --> C[Build] + C --> A + ``` + - Agile manifesto, 2001 + - How to support cost-efficient modeling? + - [[LLMs]] + - some of the following slides can be exploited to prepare the slides for the [[Intervento PINKAMP]] + - ![Immagine WhatsApp 2025-06-11 ore 10.16.58_30187baa.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.58_30187baa_1749630102465_0.jpg) + - + - ![Immagine WhatsApp 2025-06-11 ore 10.16.58_ff16af13.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.58_ff16af13_1749630091232_0.jpg) + - ![Immagine WhatsApp 2025-06-11 ore 10.16.58_95973dde.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.58_95973dde_1749630083642_0.jpg) + - ![Immagine WhatsApp 2025-06-11 ore 10.16.58_027d3aca.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.58_027d3aca_1749630075116_0.jpg) + - ![Immagine WhatsApp 2025-06-11 ore 10.16.58_1d7791d6.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.58_1d7791d6_1749630067578_0.jpg) + - ![Immagine WhatsApp 2025-06-11 ore 10.16.58_967a7a16.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.58_967a7a16_1749630059144_0.jpg) + - ![Immagine WhatsApp 2025-06-11 ore 10.16.58_d9373913.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.58_d9373913_1749630048710_0.jpg){:height 398, :width 852} + - ![Immagine WhatsApp 2025-06-11 ore 10.16.58_ac391187.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.58_ac391187_1749630036356_0.jpg) + - ![Immagine WhatsApp 2025-06-11 ore 10.16.58_cec429ce.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.58_cec429ce_1749630024709_0.jpg) + - ![Immagine WhatsApp 2025-06-11 ore 10.16.58_cec429ce.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.58_cec429ce_1749630015862_0.jpg) + - ![Immagine WhatsApp 2025-06-11 ore 10.16.58_8e6aa93d.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.58_8e6aa93d_1749630000460_0.jpg) + - ![Immagine WhatsApp 2025-06-11 ore 10.16.58_b8d84c22.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.58_b8d84c22_1749629984208_0.jpg) + - + - ![Immagine WhatsApp 2025-06-11 ore 10.16.58_28008e59.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.58_28008e59_1749629958665_0.jpg) + - This is related to [[Model Context Protocol (MCP)]] #LLMs #PROJECTS/MOSAICO #reading + - ![Immagine WhatsApp 2025-06-11 ore 10.16.57_98d091d4.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.57_98d091d4_1749629948940_0.jpg) + - ![Immagine WhatsApp 2025-06-11 ore 10.16.57_65ad896b.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.57_65ad896b_1749629938063_0.jpg) + - ![Immagine WhatsApp 2025-06-11 ore 10.16.57_f5db2351.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.57_f5db2351_1749629927969_0.jpg) + - ![Immagine WhatsApp 2025-06-11 ore 10.16.57_ef51faac.jpg](../assets/Immagine_WhatsApp_2025-06-11_ore_10.16.57_ef51faac_1749629909005_0.jpg) + - ![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 + 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 + - 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** + - \ No newline at end of file diff --git a/pages/TODOIST-LOGSEQED.md b/pages/TODOIST-LOGSEQED.md index de130be8..912e6def 100644 --- a/pages/TODOIST-LOGSEQED.md +++ b/pages/TODOIST-LOGSEQED.md @@ -25,9 +25,12 @@ progress:: {{renderer :todomaster}} todoist-desc:: logseq://graph/Logseq?page=Progettazione%20Offerta%20Formativa todoist-id:: [9205819498](https://app.todoist.com/app/task/9205819498) SCHEDULED: <2025-06-14 Sat> -- TODO [#A] [[Missione STAF 2025]] - todoist-id:: [9135141990](https://app.todoist.com/app/task/9135141990) +- DOING [#A] [[Missione STAF 2025]] SCHEDULED: <2025-06-16 Mon> + todoist-id:: [9135141990](https://app.todoist.com/app/task/9135141990) + :LOGBOOK: + CLOCK: [2025-06-11 Wed 11:37:54] + :END: - DONE [#C] [[Proposta di corso avanzato su machine learning]] todoist-desc:: https://outlook.office365.com/owa/?ItemID=AAkALgAAAAAAHYQDEapmEc2byACqAC%2FEWg0AjoVpQvBez0Ss5ZY2WGWEJgAH1wAvQQAA&exvsurl=1&viewmodel=ReadMessageItem todoist-id:: [9057940282](https://app.todoist.com/app/task/9057940282)