239 search results - page 20 / 48 » Beyond Data Models for Automated User Interface Generation |
EDBT
2006
ACM
15 years 3 months ago
2006
ACM
Abstract. We describe MIDST, an implementation of the model management operator ModelGen, which translates schemas from one model to another, for example from OO to SQL or from SQL...
112
click to vote
DASFAA
2004
IEEE
15 years 3 months ago
2004
IEEE
Abstract. Although XML is the dominant standard for publishing and exchanging data for Internet-based business applications, data is typically stored in relational or object-relati...
171
click to vote
FROCOS
2011
Springer
13 years 11 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
114
click to vote
PTS
2008
15 years 1 months ago
2008
Abstract. Model-based testing (MBT) seems to be technically superior to conventional test automation. However, MBT features some difficulties that can hamper its deployment in indu...
119
click to vote
ATS
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--To achieve a high product quality for nano-scale systems both realistic defect mechanisms and process variations must be taken into account. While existing approaches for...