Project Details
Projekt Print View

Formalising and Relating Different Notions of Consistency (A01)

Subject Area Software Engineering and Programming Languages
Term since 2023
Project identifier Deutsche Forschungsgemeinschaft (DFG) - Project number 501798263
 
This research project is about formalising and relating various notions of consistency, their properties, and their relations. Not only consistency based on normative specifications is of interest for V-SUM meta-model construction, but also descriptive consistency, consistency based on model-theoretic or denotational semantics, as well as gradual consistency. We formalize the properties of these consistency notions, their relations, their commonalities and differences by a comprehensive taxonomy and test it in an empirical case studies as well as in the KARaceing case. This will help to analyse, describe, preserve, re-establish and visualise consistency concepts in the CRC.
DFG Programme Collaborative Research Centres
Applicant Institution Karlsruher Institut für Technologie
 
 

Additional Information

Textvergrößerung und Kontrastanpassung