Author:
Duarte Lucio Mauro,Ribeiro Leila
Publisher
Springer International Publishing
Reference22 articles.
1. Alshanqiti, A., Heckel, R.: Towards dynamic reverse engineering visual contracts from Java. Electron. Commun. EASST 67, 1–12 (2014)
2. Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
3. Cook, J.E., Wolf, A.L.: Discovering models of software processes from event-based data. ACM Trans. Softw. Eng. Methodol. 7(3), 215–249 (1998)
4. Cordy, J.R., Dean, T.R., Malton, A.J., Schneider, K.A.: Source transformation in software engineering using the TXL transformation system. Inf. Softw. Technol. 44(13), 827–837 (2002)
5. Lecture Notes in Computer Science;A Corradini,2004
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Enhancement to Graph Grammar for the Specification of Edge Semantics;2021 IEEE International Conference on Progress in Informatics and Computing (PIC);2021-12-17
2. A meta rule based Graph Grammar formalism for Spatial Graph;2021 2nd International Conference on Intelligent Computing and Human-Computer Interaction (ICHCI);2021-11
3. EGG+: A graph grammar formalism with uncertain structure processing mechanism;Journal of Logic and Computation;2021-09-03
4. Module Integration Using Graph Grammars (MIGRATE);Lecture Notes in Computer Science;2021
5. Extraction of probabilistic behaviour models based on contexts;Proceedings of the 10th International Workshop on Modelling in Software Engineering - MiSE '18;2018