The following pages link to (Q4412545):
Displaying 9 items.
- Object oriented concepts identification from formal \(B\) specifications (Q883142) (← links)
- A formal object approach to the design of ZML (Q1859519) (← links)
- Use of E-LOTOS in adding formality to UML (Q2709233) (← links)
- 37 things that don't work in object-oriented modelling with UML (Q2737501) (← links)
- Application of unified modeling language in developing of unconstrained optimization software (Q2773530) (← links)
- On the semantics of unified modeling language diagrams using Z notation (Q3156866) (← links)
- (Q4436977) (← links)
- Algorithmic support for model transformation in object-oriented software development (Q4790926) (← links)
- Formal Methods for Components and Objects (Q5311303) (← links)