Consistency-by-Construction Techniques for Software Models and Model Transformations

A model is consistent with given specifications (specs) if and only if all the specifications are held on the model, i.e., all the specs are true (correct) for the model. Constructing consistent models (e.g., programs or artifacts) is vital during software development, especially in Model-Driven...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Nassar, Nebras
Beteiligte:	Taentzer, Gabriele (Prof. Dr.) (BetreuerIn (Doktorarbeit))
Format:	Dissertation
Sprache:	Englisch
Veröffentlicht:	Philipps-Universität Marburg 2020
Schlagworte:	Informatik Softwareentwicklung Software Engineering Model quality Modellierung Modellvalidität Model-Driven Software Engineering Modellgetriebene Softwareentwicklung Domain-Specific Modeling Languages (DSMLs), Model consistency Domänenspezifischen Modellierungssprachen (DSMLs), Modellkonsistenz regelbasierter Ansatz Sof Qualitätssicher Data processing Computer science
Online-Zugang:	PDF-Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!