Lib
ron
Gesamtbestand
Neuzugänge
Erweiterte Suche
Schriftgröße
A−
A
A+
Darstellung
Clean
Warm
Dark
Deep dark
„Language Interoperation“
Suchergebnisse
3 Treffer
Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language
Turcotte, Alexi ; Arteca, Ellen ; Richards, Gregor
2019
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language (Artifact)
Turcotte, Alexi ; Arteca, Ellen ; Richards, Gregor
Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships
Kuhlmann, Mirco ; Gogolla, Martin
2008
Technische Universität Berlin