Sciweavers

36320 search results - page 187 / 7264
» From Code to Models
Sort
View
ATAL
2003
Springer
15 years 11 months ago
A formal compositional model of multiagent interaction
Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these pro...
Sea Ling, Seng Wai Loke
EUROPLOP
2006
15 years 7 months ago
Meta-Specification and Cataloging of Software Patterns with Domain Specific Languages and Adaptive Object Models
Writing patterns is a very important task for leveraging knowledge within an organization or in the software engineering community as a whole. Patterns are more than text, diagram...
León Welicki, Juan Manuel Cueva Lovelle, Lu...
ISCIS
2004
Springer
15 years 12 months ago
Modelling Mobility with PEPA Nets
We explain the use of PEPA nets in documenting high-level designs of mobile code and mobile computing systems. This modelling language (which allows the modeller to differentiate ...
Jane Hillston, Marina Ribaudo
IASSE
2004
15 years 7 months ago
The Bosco Project - A JMI-Compliant Template-based Code Generator
Bosco is a code generation tool, which goal is to accept any MOF model as parameter and follow the evolution of OMG standards. It generates the underlying model (also called repos...
Pascal André, Gilles Ardourel, Gerson Suny&...
PROCEDIA
2010
103views more  PROCEDIA 2010»
15 years 1 months ago
Towards generating optimised finite element solvers for GPUs from high-level specifications
We argue that producing maintainable high-performance implementations of finite element methods for multiple targets requires that they are written using a high-level domain-speci...
Graham R. Markall, David A. Ham, Paul H. J. Kelly