6167 search results - page 72 / 1234 » Can Refinement be Automated |
117
Voted
OOPSLA
2009
Springer
15 years 5 months ago
2009
Springer
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
100
Voted
CANDT
2009
15 years 4 months ago
2009
We present NodeXL, an extendible toolkit for network overview, discovery and exploration implemented as an add-in to the Microsoft Excel 2007 spreadsheet software. We demonstrate ...
108
click to vote
CODES
2001
IEEE
15 years 4 months ago
2001
IEEE
In this paper, we present a proposal for a UML profile called `Embedded UML'. Embedded UML represents a synthesis of various ideas in the real-time UML community, and concept...
103
click to vote
HIS
2003
15 years 2 months ago
2003
Multiple Classification Ripple Down Rules (MCRDR) is a simple and effective knowledge acquisition technique that produces representations, or knowledge maps, of a human expert’s ...
214
Voted
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...