Pages that link to "Item:Q1346622"

The following pages link to Functorial theory of parameterized specifications in a general specification framework (Q1346622):

Displaying 4 items.

• Institutions for SQL database schemas and datasets (Q2185885) (← links)
• A Diagrammatic Logic for Object-Oriented Visual Modeling (Q2864376) (← links)
• Pragmatic and semantic aspects of a module concept for graph transformation systems (Q4645272) (← links)
• A decade of TAPSOFT (Q5096723) (← links)