Sciweavers

3185 search results - page 58 / 637
» Principles for modeling language design
Sort
View
OOPSLA
2009
Springer
14 years 2 months ago
Supporting model evolution through demonstration-based model transformation
Model evolution is often supported by writing model transformation rules in specialized languages. This presents challenges to those who are unfamiliar with model transformation l...
Yu Sun
AOSD
2007
ACM
13 years 11 months ago
A case for explicit join point models for aspect-oriented intermediate languages
Aspect-oriented languages mostly employ implicit languagedefined join point models, where well-defined points in the program are called join points and declarative predicates are ...
Hridesh Rajan
WSC
2000
13 years 9 months ago
Toward a standard process: the use of UML for designing simulation models
Designing complex simulation models is a task essentially associated with software engineering. In this paper, the Unified Modeling Language (UML) is used to specify simulation mo...
Hendrik Richter, Lothar März
TLCA
2005
Springer
14 years 1 months ago
Relational Reasoning in a Nominal Semantics for Storage
We give a monadic semantics in the category of FM-cpos to a higher-order CBV language with recursion and dynamically allocated mutable references that may store both ground data an...
Nick Benton, Benjamin Leperchey
CF
2004
ACM
14 years 1 months ago
BLOB computing
Current processor and multiprocessor architectures are almost all based on the Von Neumann paradigm. Based on this paradigm, one can build a general-purpose computer using very fe...
Frédéric Gruau, Yves Lhuillier, Phil...