Hierarchical object-oriented design
Hierarchical object-oriented design
Object-oriented modeling and design
Object-oriented modeling and design
Designing object-oriented software
Designing object-oriented software
Object-oriented type systems
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Algebraic Specification Techniques in Object Oriented Programming Environments
Algebraic Specification Techniques in Object Oriented Programming Environments
Graph Grammar Engineering with PROGRES
Proceedings of the 5th European Software Engineering Conference
LOGIC BASED PROGRAMMED STRUCTURE REWRITING SYSTEMS
Fundamenta Informaticae
Hi-index | 0.00 |
UML is the first OO modeling language with a useful modularization and information hiding concept which supports nesting, import, and refinement. This paper translates UML's informal package definition into predicate logic formulas and solves some open problems concerning the visibility of exported and imported elements.