Pages that link to "Item:Q3971276"
From MaRDI portal
The following pages link to Overview of algebraic specification languages, environments and tools, and algebraic specifications of software systems (Q3971276):
Displaying 4 items.
- How to make algebraic specifications more understandable: An experiment with the PLUSS specification language (Q1124317) (← links)
- Manipulating algebraic specifications with term-based and graph-based representations (Q1885933) (← links)
- The specification system \(OBSCURE\): A short survey (Q3971275) (← links)
- (Q4499311) (← links)