239 search results - page 20 / 48 » Beyond Data Models for Automated User Interface Generation |
127
Voted
EDBT
2006
ACM
15 years 6 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...
139
click to vote
DASFAA
2004
IEEE
15 years 6 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...
214
Voted
FROCOS
2011
Springer
14 years 2 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...
139
click to vote
PTS
2008
15 years 3 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...
148
Voted
ATS
2010
IEEE
15 years 16 days 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...