5477 search results - page 254 / 1096 » Contexts, Domains, and Software |
176
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
This article is about applications that can be customized or extended through their own user interface. This is achieved by the interface’s ability to interpret users’ non-lit...
165
click to vote
APSEC
2004
IEEE
15 years 11 months ago
2004
IEEE
In component-based development (CBD), component is the basic unit for reuse and it provides a relatively coarse-grained functionality. A component typically consists of several re...
193
click to vote
IWSAPF
2000
15 years 11 months ago
2000
A number of product family process frameworks has been published recently. These frameworks focus on different aspects of product family based development. We have investigated a v...
218
click to vote
SPLC
2008
15 years 8 months ago
2008
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...
217
click to vote
FMSD
2002
15 years 7 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...