KIT | KIT-Bibliothek | Impressum | Datenschutz

Entwurfsmustergesteuerte Erzeugung von OCL-Constraints

Baar, Thomas; Haehnle, Reiner; Sattler, T.; Schmitt, Peter H.



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 2000
Sprache Deutsch
Identifikator KITopen ID: 32402000
Erscheinungsvermerk In: Informatik 2000. Neue Horizonte im neuen Jahrhundert. Hrsg.: K. Mehlhorn. Berlin 2000. S. 389-404. (Jahrestagung der Gesellschaft für Informatik. 30.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page