896 search results - page 5 / 180 » Stepwise Refinement of Processes |
137
click to vote
GI
2009
Springer
14 years 11 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
115
Voted
ICSE
2003
IEEE-ACM
15 years 7 months ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
106
click to vote
FAC
2002
15 years 1 months ago
2002
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. More...
122
Voted
VAMOS
2010
Springer
15 years 3 months ago
2010
Springer
Deriving products from a software product line is difficult, particularly when there are many constraints in the variability of the product line. Understanding the impact of variab...
106
Voted
ICSE
2004
IEEE-ACM
16 years 1 months ago
2004
IEEE-ACM
1 Feature Oriented Programming (FOP) is an emerging paradigm for application synthesis, analysis, and optimization. A target application is specified declaratively as a set of feat...