www.informatik.uni-bremen.de
Related Domains
Wikipedia Pages Linking to www.informatik.uni-bremen.de
Wikipedia Links
Anchor text: The Complex Method IEM
Anchor text: CASL, The Common Algebraic Specification Language
Anchor text: The heterogeneous tool set Hets, the main analysis tool for CASL
Anchor text: ''Formalism, Logic, Institution - Relating, Translating and Structuring''
Anchor text: Dynamic Object Process Graphs
Anchor text: Dr. Winston W. Royce (1929–1995)
Anchor text: Sixth International Workshop on Modular Ontologies