1665 search results - page 247 / 333 » Design Patterns as Language Constructs |
ICALP
2009
Springer
14 years 9 months ago
2009
Springer
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
SIGMOD
2007
ACM
14 years 9 months ago
2007
ACM
Traditional client-server applications relegate query and persistence operations on their data to database systems. The database system operates on data in the form of rows and ta...
ICSE
2005
IEEE-ACM
14 years 8 months ago
2005
IEEE-ACM
Data structure repair is a promising technique for enabling programs to execute successfully in the presence of otherwise fatal data structure corruption errors. Previous research...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
To reduce the manual effort of assessing potential affected program parts during software evolution, we develop a tool, called Celadon, which automates the change impact analysis ...
FOAL
2009
ACM
14 years 3 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...