The following pages link to (Q4692787):
Displaying 7 items.
- Specification of software systems. (Q625100) (← links)
- GSPEC: A graphical specification language for software (Q803772) (← links)
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations (Q1196302) (← links)
- Model-based specification (Q1607085) (← links)
- Systems specification by basic protocols (Q2508786) (← links)
- (Q2701739) (← links)
- On the construction of a domain language for a class of reactive systems (Q2751759) (← links)