[logseq-plugin-git:commit] 2025-06-05T08:36:10.944Z

pages/@RE-driven Model Development with Deduction-based Verification.md

@@ -0,0 +1,14 @@
+tags:: [[#zotero]]
+date:: 2018
+title:: @RE-driven Model Development with Deduction-based Verification
+item-type:: [[journalArticle]]
+original-title:: RE-driven Model Development with Deduction-based Verification
+language:: en
+authors:: [[Radoslaw Klimek]]
+library-catalog:: Zotero
+links:: [Local library](zotero://select/library/items/25ZPF5JA), [Web library](https://www.zotero.org/users/1039502/items/25ZPF5JA)
+
+- [[Abstract]]
+	- The requirements engineering (RE) phase is critical for obtaining high-quality software. A visualisation and pervasive approach to modelling key development artefacts, along with formal verification, may be essential in this context. We proposed the conception of a framework aimed at specific Unified Modeling Language (UML) diagrams and preliminary system modelling. The tool provides visualisations of various modelling stages. The obtained behavioural models are automatically translated into logical specifications. Deduction-based formal verification addresses logical requirements and logical relations between software artefacts. It also enables the maintenance of both logical and visual traceability of key artefacts. Finally, program skeletons are automatically generated.
+- ### Attachments
+	- [PDF](zotero://select/library/items/B8VV4RTD) {{zotero-imported-file B8VV4RTD, "Klimek - 2018 - RE-driven Model Development with Deduction-based Verification.pdf"}}