Domain Specific Languages and Language Based Software Engineering are important approaches and I would argue that Systems Engineering is a form of Language Engineering whether developers realise that they are doing it or not. Markus Völter has published a new book about DSL Engineering that should be essential reading for anyone who wants a thorough grounding in this subject and some of the supporting technologies.
More sizzle than steak? Using an LLM to produce verified bug fixes (new
preprint)
-
New article: “Do AI models help produce verified bug fixes?” (Huang Li,
Ilgiz Mustafin, Marco Piccioni, Alessandro Schena, Reto Weber and Bertrand
Meyer)...
15 hours ago