86 search results - page 13 / 18 » Automated Domain-Specific Modeling Languages for Generating ... |
UML
2005
Springer
15 years 3 months 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...
103
click to vote
ASPLOS
2008
ACM
14 years 11 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
15 years 3 months 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...
81
Voted
ICLP
2009
Springer
15 years 4 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...
100
Voted
MODELS
2010
Springer
14 years 8 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...