Main Page/Resources
From Atenea
Contents |
Technical Reports
- Formal Specification and Analysis of Domain Specific Languages using Maude
- A metamodel for Maude -- Technical Report
- e-Motions: A Graphical Approach for Modeling Time-Dependent Behavior of Domain Specific Languages
Shared files and folders
Presentations
- Presentations of Atenea at different events
- Presentation at the CALIPSO Network meeting (Oct'07)
- Presentation at the DMSD Network meeting (Nov'07)
Logos and Templates
Media Wiki Resources
De la versión instalada: