996 search results - page 77 / 200 » A Compositional Model for Software Reuse |
115
click to vote
GPCE
2008
Springer
15 years 4 months ago
2008
Springer
Feature modules are the building blocks of programs in software product lines (SPLs). A foundational assumption of feature-based program synthesis is that features are composed in...
145
click to vote
CAV
2006
Springer
15 years 7 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
133
click to vote
RTAS
2005
IEEE
15 years 9 months ago
2005
IEEE
Component technology has become a central focus of software engineering in research and development. Reusability is a key factor that contributes to its success. The reuse of comp...
102
click to vote
JLP
2010
14 years 10 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
172
click to vote
HASKELL
2009
ACM
15 years 10 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...