Sciweavers

1076 search results - page 142 / 216
» Supporting Design Patterns with Annotations
Sort
View
125
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
Granularity in software product lines
Building software product lines (SPLs) with features is a challenging task. Many SPL implementations support features with coarse granularity ? e.g., the ability to add and wrap e...
Christian Kästner, Martin Kuhlemann, Sven Ape...
118
Voted
WWW
2003
ACM
16 years 4 months ago
XQuery By Example
XQuery, the standard query language for XML, is gaining popularity among users with a SQL background; indeed, formulating XQuery and SQL queries requires comparable skills. Howeve...
Daniele Braga, Alessandro Campi, Stefano Ceri, Enr...
SIGMOD
2008
ACM
193views Database» more  SIGMOD 2008»
16 years 3 months ago
Efficient provenance storage
Scientific workflow systems are increasingly used to automate complex data analyses, largely due to their benefits over traditional approaches for workflow design, optimization, a...
Adriane Chapman, H. V. Jagadish, Prakash Ramanan
ICFP
2007
ACM
16 years 3 months ago
A type directed translation of MLF to system F
The MLF type system by Le Botlan and R?emy (2003) is a natural extension of Hindley-Milner type inference that supports full firstclass polymorphism, where types can be of higher-...
Daan Leijen
SEMCO
2009
IEEE
15 years 10 months ago
Using a Formal Language Constructs for Software Model Evolution
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
Samuel A. Ajila, Shahid Alam