15779 search results - page 2330 / 3156 » Change-oriented software engineering |
234
click to vote
FASE
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
197
click to vote
FASE
2004
Springer
16 years 25 days ago
2004
Springer
Context-aware computing refers to a computing paradigm in which the behavior of individual components is determined by the circumstances in which they find themselves to an extent...
215
click to vote
ICSR
2004
Springer
16 years 24 days ago
2004
Springer
Analyzing commonalities and variabilities among products of a product line is an essential activity for product line asset development. A feature-oriented approach to commonality a...
204
click to vote
LSO
2004
Springer
16 years 24 days ago
2004
Springer
Experience-based Information Systems (EbIS) enable organizations to capture, store and reuse knowledge and experiences for continuous competence development. However, there are sev...
210
click to vote
PEPM
2004
ACM
16 years 23 days ago
2004
ACM
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...