321 search results - page 57 / 65 » Specifying Executable Platform-Independent Models using OCL |
CADUI
2004
13 years 10 months ago
2004
Abstract This paper shows a technique that allows adaptive user interfaces, spanning multiple devices, to be rendered from the task specification at runtime taking into account the...
APN
2001
Springer
14 years 1 months ago
2001
Springer
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
SAC
2010
ACM
14 years 1 months ago
2010
ACM
Developed using the principles of the Model-View-Controller architectural pattern, FolksEngine is a parametric search engine for folksonomies that allows us to test arbitrary sear...
DAGSTUHL
2004
13 years 10 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
TSE
2010
13 years 7 months ago
2010
—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...