logseq/journals/2025_06_11.md

progress:: {{renderer :todomaster}} icon:: 📅 boox-notes::

- ## Tasks
- ## Notes
	- Keynote at [[STAF]] 2025
		- #### **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}}
							- ```mermaid
							  graph LR
							      A[Learn] --> B[Plan]
							      B --> C[Build]
							      C --> A
							  ```
							- Agile manifesto, 2001
							- How to support cost-efficient modeling?
					- LLMs
						-
			-
		-