14169 search results - page 2381 / 2834 » Tabular application development |
256
click to vote
SOSYM
2010
15 years 6 months ago
2010
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
263
Voted
SOSYM
2010
15 years 6 months ago
2010
Model driven development (MDD) of software product lines (SPLs) merges two increasing important paradigms that synthesize programs by transformation. MDD creates programs by transf...
231
click to vote
SOSYM
2010
15 years 6 months ago
2010
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
211
click to vote
STTT
2010
15 years 6 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
205
click to vote
TIP
2010
15 years 6 months ago
2010
Abstract—We present the results of a recent large-scale subjective study of video quality on a collection of videos distorted by a variety of application-relevant processes. Meth...