Computational category theory
Category theory for computing science
Category theory for computing science
Object-oriented modeling and design
Object-oriented modeling and design
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Using formalized temporal message-flow diagrams
Software—Practice & Experience
Towards a compositional interpretation of object diagrams
Proceedings of the IFIP TC 2 WG 2.1 international workshop on Algorithmic languages and calculi
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
Foundations of the unified modeling language
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Typechecking UML static models
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Object-oriented refinement and proof using behaviour functions
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
| Hi-index | 0.00 |