3799 search results - page 484 / 760 » An Engineering Approach to Formal Methods |
183
click to vote
BIRTHDAY
2003
Springer
15 years 12 months ago
2003
Springer
Software components realising the graphical user interface (GUI) of a highly interactive system or the user interface of a Web application form an essential part of the entire impl...
183
click to vote
EUROMICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transform...
200
click to vote
LREC
2008
15 years 8 months ago
2008
We present an approach to the discovery of semantically similar terms that utilizes a web search engine as both a source for generating related terms and a tool for estimating the...
161
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
When building scalable systems that involve general-purpose computation and persistent data, object-oriented languages and relational databases are often essential components. Yet...
264
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
Recommendation systems have become very popular but most recommendation methods are `hard-wired' into the system making experimentation with and implementation of new recomme...