996 search results - page 79 / 200 » A Compositional Model for Software Reuse |
146
click to vote
KBSE
1999
IEEE
15 years 8 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
126
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
Software product line modeling has received a great deal of attention for its potential in fostering reuse of software artifacts across development phases. Research on the testing...
118
click to vote
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
147
click to vote
EPEW
2005
Springer
15 years 9 months ago
2005
Springer
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
129
click to vote
JSS
2006
15 years 3 months ago
2006
The last decade marked the first real attempt to turn software development into engineering through the concepts of ComponentBased Software Development (CBSD) and Commercial Off-T...