In this paper, we combine a powerful representation for graph colouring problems with different heuristic strategies for colour assignment. Our novel strategies employ heuristics ...
This work is devoted to lattice-based information representation of correlations among delivery criteria in transport logistics. The number of delivery criteria, their ranking acc...
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
Today’s software operate in a dynamic, organizational context and hence, it needs flexible architectures based in social and intentional concepts to enable software to evolve con...
Jaelson Castro, Carla T. L. L. Silva, John Mylopou...
The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows...