Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
A graph-based formalism for RBAC
ACM Transactions on Information and System Security (TISSEC)
Administrative scope in the graph-based framework
Proceedings of the ninth ACM symposium on Access control models and technologies
Hi-index | 0.00 |
At present time a very big progress proceeds in all branches of the software engineering field. Anyhow, one particular area is not under the enhanced focus of software developers and researchers. It is the area of the GUI formalization and modelling. The aim of our article is to overcome this deficiency by the suggestion of lightweight formal method for the design of user interface by the GUI modelling based on the graph transformations of underlying conceptual data model. The proposed method gives us a very visual tool for our objective. In addition, our method is an innovative and original specification and modelling technique targeted primarily for a utilization of large and complex modern-day web based applications.