86 search results - page 13 / 18 » Automated Domain-Specific Modeling Languages for Generating ... |
UML
2005
Springer
14 years 5 days ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
ASPLOS
2008
ACM
13 years 8 months ago
2008
ACM
The recent shift in the industry towards chip multiprocessor (CMP) designs has brought the need for multi-threaded applications to mainstream computing. As observed in several lim...
IUI
2004
ACM
14 years 4 days ago
2004
ACM
A key to improving at any task is frequent feedback from people whose opinions we care about: our family, friends, mentors, and the experts. However, such input is not usually ava...
ICLP
2009
Springer
14 years 1 months ago
2009
Springer
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
MODELS
2010
Springer
13 years 5 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...