847 search results - page 149 / 170 » An Algebra for Features and Feature Composition |
146
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
139
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...
192
click to vote
SAC
2010
ACM
16 years 10 days ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
140
click to vote
LCTRTS
2010
Springer
16 years 10 days ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
176
click to vote
WOLLIC
2009
Springer
16 years 3 days ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...