Pages that link to "Item:Q1124317"

The following pages link to How to make algebraic specifications more understandable: An experiment with the PLUSS specification language (Q1124317):

Displayed 7 items.

• Formalizing a hierarchical file system (Q432156) ‎ (← links)
• Algebraic specification of concurrent systems (Q914405) ‎ (← links)
• Polymorphic syntax definition (Q1129122) ‎ (← links)
• OBSCURE, a specification language for abstract data types (Q1323328) ‎ (← links)
• Essential concepts of algebraic specification and program development (Q1377322) ‎ (← links)
• Proof systems for structured specifications with observability operators (Q1391730) ‎ (← links)
• Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives (Q5096765) ‎ (← links)