| A formal framework-based K-Maude for modelling scalable software architectures | 0 | 0.34 | 2019 |
| K-based definition of Real Time Distributed Systems: from a meta-model to maude modules | 0 | 0.34 | 2015 |
| K-Maude Definition of Dynamic Software Architecture. | 1 | 0.39 | 2014 |
| For more understandable UML diagrams | 0 | 0.34 | 2010 |
| A Tile Logic Based Approach for Software Architecture Description Analysis. | 1 | 0.37 | 2010 |
| A Life-cycle For Parallel And Distributed Systems Based On two Models Of Concurrency. | 0 | 0.34 | 1994 |
