1804 search results - page 306 / 361 » Use Cases in Model-Driven Software Engineering |
112
click to vote
ENTCS
2010
15 years 24 days ago
2010
Fundamental nano-patterns are simple, static, binary properties of Java methods, such as ObjectCreator and Recursive. We present a provisional catalogue of 17 such nano-patterns. ...
154
click to vote
ICSE
2001
IEEE-ACM
15 years 8 months ago
2001
IEEE-ACM
Dynamic analysis is based on collecting data as the program runs. However, raw traces tend to be too voluminous and too unstructured to be used directly for visualization and unde...
223
click to vote
TOPLAS
2008
15 years 3 months ago
2008
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...
109
Voted
POPL
2010
ACM
16 years 25 days ago
2010
ACM
Serializability is a commonly used correctness condition in concurrent programming. When a concurrent module is serializable, certain other properties of the module can be verifie...
160
Voted
TCBB
2010
14 years 10 months ago
2010
Automatic classification of proteins using machine learning is an important problem that has received significant attention in the literature. One feature of this problem is that e...