Stage-oe-small.jpg

Inproceedings676

Aus Aifbportal
(Weitergeleitet von Inproceedings676/en)
Wechseln zu:Navigation, Suche


Giving Structured Analysis Techniques A Formal And Operational Semantics With KARL


Giving Structured Analysis Techniques A Formal And Operational Semantics With KARL



Published: 1993
Herausgeber: Heinz Züllighoven, Werner Altmann, Ernst-Erich Doberkat
Buchtitel: Requirements Engineering 93: Prototyping
Verlag: Teubner Verlag, Stuttgart

Referierte Veröffentlichung

BibTeX

ISBN: 3-519-02682-1}



Forschungsgruppe

Wissensmanagement


Forschungsgebiet