The following pages link to (Q4492783):
Displaying 8 items.
- Operational ontological approach to formal programming language specification (Q840084) (← links)
- A formally grounded software specification method (Q2369031) (← links)
- (Q2701739) (← links)
- A case study using lightweight formalism to review an information system specification (Q2745263) (← links)
- Specification methodology: An integrated relational approach (Q3738546) (← links)
- (Q4233991) (← links)
- (Q4692787) (← links)
- Formal Specification - A Comparison of Two Techniques (Q4727420) (← links)