The following pages link to Model-based specification (Q1607085):
Displaying 6 items.
- On the lattice of specifications: Applications to a specification methodology (Q1205187) (← links)
- A formal approach to object-oriented software engineering (Q1608926) (← links)
- Formal specification is an experimental science (Q1817111) (← links)
- A specification formalism for interacting objects (Q2718776) (← links)
- A case study using lightweight formalism to review an information system specification (Q2745263) (← links)
- Formal Methods for Components and Objects (Q5311299) (← links)