Main Page/Resources

From Atenea

Contents 1 Technical Reports 2 Shared files and folders 3 Presentations 4 Logos and Templates 5 Media Wiki Resources

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

• Atenea public files
• Atenea private files

Presentations

• Official Atenea Group Presentation

• 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

• Atenea logo in different formats

• Atenea powerpoint template (old)

• Atenea + Gisum powerpoint template

Media Wiki Resources

• User's Guide
• Configuration settings list
• MediaWiki FAQ
• MediaWiki release mailing list

De la versión instalada:

• Customizing the interface
• User's Guide